Related papers: On the class-breadth conjecture

In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$.…

Let ${\cal N}_c$ be the variety of nilpotent groups of class at most $c\ \ (c\geq 2)$ and $G=Z_r\oplus Z_s $ be the direct sum of two finite cyclic groups. It is shown that if the greatest common divisor of $r$ and $s$ is not one, then $G$…

Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…

We prove the $P=W$ conjecture for $\mathrm{GL}_n$ for all ranks $n$ and curves of arbitrary genus $g\geq 2$. The proof combines a strong perversity result on tautological classes with the curious Hard Lefschetz theorem of Mellit. For the…

Let $P(G)$ denotes the set of sizes of fibers of non-trivial commutators of the commutator word map. Here, we prove that $|P(G)|=1$, for any finite group $G$ of nilpotency class $3$ with exactlly two conjugacy class sizes. We also show that…

It is a longstanding conjecture that for a finite group $G$, the exponent of the second homology group $H_2(G, \mathbb{Z})$ divides the exponent of $G$. In this paper, we prove this conjecture for $p$-groups of class at most $p$, finite…

We discuss some new results concerning Gap Conjecture on group growth and present a reduction of it (and its *-version) to several special classes of groups. Namely we show that its validity for the classes of simple groups and residually…

We study bounds on nilpotence in H*(BG), the mod p cohomology of the classifying space of a compact Lie group G. Part of this is a report of our previous work on this problem, updated to reflect the consequences of Peter Symonds recent…

A Lie algebra $L$ is said to be of breadth $k$ if the maximal dimension of the images of left multiplication by elements of the algebra is $k$. In this paper we give characterization of finite dimensional nilpotent Lie algebras of breadth…

Let G be a finite group of nilpotency class 2 and w a group word. In this short paper we show that the probability that a random n-tuple of elements from G satisfies w is at least one over the order of G. This answers a special case of a…

It is proved that, for a prime $p>2$ and integer $n\geq 1$, finite $p$-groups of nilpotency class $3$ and having only two conjugacy class sizes $1$ and $p^n$ exist if and only if $n$ is even; moreover, for a given even positive integer,…

Let $G$ be a $p$-group of nilpotency class $k$ with finite exponent $\exp(G)$ and let $m=\lfloor\log_pk\rfloor$. We show that $\exp(M^{(c)}(G))$ divides $\exp(G)p^{m(k-1)}$, for all $c\geq1$, where $M^{(c)}(G)$ denotes the c-nilpotent…

In this short note we confirm an analog of a conjecture of James Wiegold for finite dimensional nilpotent Lie algebras.

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…

Assume G is a nilpotent group of class > 3 in which every proper subgroup has class at most 3. In this note, we give the exact upper bound of class of G.

A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups…

Let $p$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite nonabelian group $G$. Let $bcl(G)$ be the size of the largest conjugacy class of the group $G$. We show that $|P/O_p(G)| < bcl(G)$ if $G$ is not abelian.

The notion of breadth of a nilpotent Lie algebra was introduced by B. Khuhirun, K.C. Misra and E. Stitzinger and used to approach problems of classification up to isomorphism. In the present paper, we study this invariant in terms of…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.