Related papers: Powers of commutators in infinite groups

An element w of a Coxeter group W is said to be fully commutative, if any reduced expression of w can be obtained from any other by transposing adjacent pairs of generators. These elements were described in 1996 by Stembridge in the case of…

Fully commutative elements in types $B$ and $D$ are completely characterized and counted by Stembridge. Recently, Feinberg-Kim-Lee-Oh have extended the study of fully commutative elements from Coxeter groups to the complex setting, giving…

Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of…

Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and…

In this paper, we will seek appropriate generators to define the characteristic polynomials of $G(r,1,n)$, and prove that for every finite dimensional representation of $G(r,1,n)$, the characteristic polynomial of $G(r,1,n)$ determines the…

Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In our previous joint works with Roozbeh Hazrat [17,15] we have found a generating set for the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$.…

An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. These elements were extensively studied by Stembridge, in particular…

A longstanding problem attributed to I. Schur says 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 finite nilpotent groups…

We prove the following results. Let w be a multilinear commutator word. If G is a profinite group in which all w-values are contained in a union of countably many periodic subgroups, then the verbal subgroup w(G) is locally finite. If G is…

We consider formal power series $f(z) = \omega z + a_2z^2 + \ldots \ (\omega \neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

Let w be a multilinear commutator word. We prove that if e is a positive integer and G is a finite group in which any nilpotent subgroup generated by w-values has exponent dividing e then the exponent of the corresponding verbal subgroup…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

A subgroup Q is commensurated in a group G if each G conjugate of Q intersects Q in a group that has finite index in both Q and the conjugate. So commensurated subgroups are similar to normal subgroups. Semistability and simple connectivity…

Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…

For a metabelian p-group G = <x,y> with two generators x and y, the annihilator A < Z[X,Y] of the main commutator [y,x] of G, as an ideal of bivariate polynomials with integer coefficients, is determined by means of a presentation for G.…

We introduce the notion of commuting probability, $p(G)$, for an algebraic group $G$. This notion is inspired by the corresponding notions in finite groups and compact groups. The computation of $p(G)$ for reductive groups is readily done…

For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…

Let $G$ be a transitive permutation group on a finite set of size at least $2$. By a well known theorem of Fein, Kantor and Schacher, $G$ contains a derangement of prime power order. In this paper, we study the finite primitive permutation…

A group $G$ is said to have restricted centralizers if for each $g \in G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. We take…