Related papers: On Odd Order Nilpotent Groups With Class 2

Let m,n be positive integers, v a multilinear commutator word and w=v^m. We prove that if G is an orderable group in which all w-values are n-Engel, then the verbal subgroup v(G) is locally nilpotent. We also show that in the particular…

Let G be a simple algebraic group over an algebraically closed field with Lie algebra g. Then the orbits of nilpotent elements of g under the adjoint action of G have been classified. We describe a simple algorithm for finding a…

For a fixed rational number g different from -1,0,1 and integers a and d the set N_g(a,d) of primes p for which the order of g(mod p) is congruent to a(mod d) is considered. It is shown, assuming the Generalized Riemann Hypothesis (GRH),…

For an odd prime $p$ and a positive integer $n$, it is well known that there are two types of extra-special $p$-groups of order $p^{2n+1}$, first one is the Heisenberg group which has exponent $p$ and the second one is of exponent $p^2$. In…

We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to…

Let K be a field of positive characteristic p and KG the group algebra of a group G. It is known that if KG is Lie nilpotent then its upper (or lower) Lie nilpotency index is at most |G'|+1, where |G'| is the order of the commutator…

Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor…

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

We present a characterisation of groups $G$ of order $p^7$, $p$ prime, in which not all elements of the commutator subgroup $\gamma_2(G)$ of $G$ are commutators in $G$. On the way we obtain several structural results on groups of order…

Let S be a p-group for an odd prime p. Bob Oliver conjectures that a certain characteristic subgroup X(S) always contains the Thompson subgroup J(S). We obtain a reformulation of the conjecture as a statement about modular representations…

In this note, we prove that for every integer $d\geq 2$ which is not a prime power, there exists a finite solvable group $G$ such that $d\mid |G|$, $\pi(G)=\pi(d)$ and $G$ has no subgroup of order $d$. We also introduce the CLT-degree of a…

The parameter coclass has been used successfully in the study of nilpotent algebraic objects of different kinds. In this paper a definition of coclass for nilpotent semigroups is introduced and semigroups of coclass 0, 1, and 2 are…

The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$…

In this paper we compute the number of n degree representations of a group of order p^3 for p an odd prime and the dimensions of corresponding spaces of invariant bilinear forms over an algebraically closed field F. We explicitly discuss…

Let K be a field of positive characteristic p and KG the group algebra of a group G. It is known that, if KG is Lie nilpotent, then its upper (or lower) Lie nilpotency index is at most |G'|+1, where |G'| is the order of the commutator…

Let $N$ be a nilpotent group normal in a group $G$. Suppose that $G$ acts transitively upon the points of a finite non-Desarguesian projective plane $\mathcal{P}$. We prove that, if $\mathcal{P}$ has square order, then $N$ must act…

Given two positive integers n and c, we determine an upper bound, as a function of n and c, for the maximum order of a finite nilpotent transitive group of degree n and nilpotency class at most c.

Let $G$ be a group and write $\mbox{Perm}(G)$ for its symmetric group. Define $\mbox{Hol}(G)$ to be the holomorph of $G$, regarded as a subgroup of $\mbox{Perm}(G)$, and let $\mbox{NHol}(G)$ denote its normalizer. The quotient $T(G) =…

The word $w=[x_{i_1},x_{i_2},\dots,x_{i_k}]$ is a simple commutator word if $k\geq 2, i_1\neq i_2$ and $i_j\in \{1,\dots,m\}$, for some $m>1$. For a finite group $G$, we prove that if $i_{1} \neq i_j$ for every $j\neq 1$, then the verbal…

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in…