Related papers: On a problem from the Kourovka Notebook

Let $k$ be any field, $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g : g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…

The main goal of the paper is to present a general model theoretic framework to understand a result of Shalev on probabilistically finite nilpotent groups. We prove that a suitable group where the equation $[x_1,\ldots,x_k]=1$ holds on a…

Let $H$ be a subgroup of a group $G$. $H$ is said satisfying $\Pi$-property in $G$, if $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi(HK/K\cap L/K))$-number for any chief factor $L/K$ of $G$, and, if there is a subnormal supplement $T$ of $H$ in…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies $ \mathscr L $-$ \Pi $-property in $ G $ if $ | G / K : N _{G / K} (HK/K)| $ is a $ \pi (HK/K) $-number for all maximal $ G $-invariant subgroup $ K $ of $ H^{G}…

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…

In this note we show that for any powerful $p$-group $G$, the subgroup $\Omega_{i}(G^{p^{j}})$ is powerfully nilpotent for all $i,j\geq1$ when $p$ is an odd prime, and $i\geq1$, $j\geq2$ when $p=2$. We provide an example to show why this…

In this article we deduce an analogue of Quillen's Local-Global Principle for the elementary subgroup of the general quadratic group and the hermitian group. We show that the unstable K_1-groups of the hermitian groups are nilpotent by…

We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group…

Let ${\frak F}$ be a class of group and $G$ a finite group. Then a set $\Sigma $ of subgroups of $G$ is called a \emph{$G$-covering subgroup system} for the class ${\frak F}$ if $G\in {\frak F}$ whenever $\Sigma \subseteq {\frak F}$. We…

Let G be a finite group and let p be a prime. A module for G over a field of characteristic p is called algebraic if it satisfies a polynomial, with addition and multiplication given by direct sum and tensor product. In some sense, having…

In this paper we determine the precise extent to which the classical sl_2-theory of complex semisimple finite-dimensional Lie algebras due to Jacobson--Morozov and Kostant can be extended to positive characteristic. This builds on work of…

Given a fixed integer n, we consider closed subgroups G of H = GL(n,Z_p) where Z_p denotes the ring of p-adic integers and p is sufficiently large in terms of n. Assuming that the Zariski closure of G has no toric part, we give a condition…

In this paper, we proved that a group $G$ is supersoluble if and only if for any prime $p\in \pi (G)$ there exists a supersoluble subgroup of index $p$.

Let $G$ be an odd order nilpotent group with class 2 and $e$ denotes the exponent of its commutator subgroup. Let $e=p_1^{r_1}p_2^{r_2}... p_s^{r_s}$, where $p_i$'s are odd primes and $r_i$'s are non-negative integers. Then there are at…

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

We give a short proof of the fact that if all characteristic p simple modules of the finite group G have dimension less than p, then G has a normal Sylow p-subgroup.

Suppose $p$ is a prime and $S$ is a Sylow $p$-subgroup of a finite group $G$. If $S$ is normal in $G$, then $Z(S)$ is the direct product of $S \cap Z(G)$ with $[Z(S), G]$. We prove an analogous result for all groups except in some cases…

It is well known that if $G$ is a group and $H$ is a normal subgroup of $G$ of finite index $k$, then $x^k \in H$ for every $x \in G$. We examine finite groups $G$ with the property that $x^k \in H$ for every subgroup $H$ of $G$, where $k$…