Related papers: Strong conciseness of coprime and anti-coprime com…

By a coprime commutator in a profinite group $G$ we mean any element of the form $[x, y]$, where $x,y\in G$ and $(|x|,|y|)=1$. It is well-known that the subgroup generated by the coprime commutators of $G$ is precisely the pronilpotent…

Let $G$ be a profinite group. The coprime commutators $\gamma_j^*$ and $\delta_j^*$ are defined as follows. Every element of $G$ is both a $\gamma_1^*$-value and a $\delta_0^*$-value. For $j\geq 2$, let $X$ be the set of all elements of $G$…

Let $G$ be a finite group. A coprime commutator in $G$ is any element that can be written as a commutator $[x,y]$ for suitable $x,y\in G$ such that $\pi(x)\cap\pi(y)=\emptyset$. Here $\pi(g)$ denotes the set of prime divisors of the order…

Let $G$ be a profinite group. We prove that the commutator subgroup $G'$ is finite-by-procyclic if and only if the set of all commutators of $G$ is contained in a union of countably many procyclic subgroups.

Let G be a profinite group. The following results are proved. The commutator subgroup G' is finite if and only if G is covered by countably many abelian subgroups. The group G is finite-by-nilpotent if and only if G is covered by countably…

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…

Let G be a profinite group in which all pronilpotent subgroups generated by commutators are periodic. We prove that G' is locally finite.

We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses…

Let $G$ be a finite group with the property that if $a,b$ are commutators of coprime orders, then $|ab|=|a||b|$. We show that $G'$ is nilpotent.

Let $G$ be a finite group and let $k \geq 2$. We prove that the coprime subgroup $\gamma_k^*(G)$ is nilpotent if and only if $|xy|=|x||y|$ for any $\gamma_k^*$-commutators $x,y \in G$ of coprime orders (Theorem A). Moreover, we show that…

For a family of group words $w$ we show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely many subgroups with a prescribed property, then $w(G)$ has the same property as well. In particular, we…

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 $w$ be a multilinear commutator word, that is, a commutator of weight $n$ in $n$ different group variables. It is proved that if $G$ is a profinite group in which all pronilpotent subgroups generated by $w$-values are periodic, then the…

This paper is an attempt to find out which properties of a finite group G can be expressed in terms of commutators of elements of coprime orders. A criterion of solubility of G in terms of such commutators is obtained. We also conjecture…

A group is said to have the Magnus Property (MP) if whenever two elements have the same normal closure then they are conjugate or inverse-conjugate. We show that a profinite MP group $G$ is prosolvable and any quotient of it is again MP. As…

It is proved that the derived subgroup of a finite group is nilpotent if and only if $|ab|\ge |a||b|$ for all primary commutators $a$ and $b$ of coprime orders.

A group word $w$ is said to be strongly concise in a class $\mathcal{C}$ of profinite groups if, for every group $G$ in $\mathcal{C}$ such that $w$ takes less than $2^{\aleph_0}$ values in $G$, the verbal subgroup $w(G)$ is finite. Detomi,…

A group $G$ is said to be a $C$-group if every subgroup $H$ has a permutable complement, i.e. if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H \cap K=1$. In this paper, we study the profinite counterpart of this concept. We say…

For a group G and an element a in G let |a|_k denote the cardinality of the set of commutators [a,x_1,...,x_k], where x_1,...,x_k range over G. The main result of the paper states that a group G is finite-by-nilpotent if and only if there…

Let $\mathfrak C$ be a class of finite groups which is closed for subgroups, quotients and direct products. Given a profinite group $G$ and an element $x\in G$, we denote by $P_{\mathfrak{C}}(x,G)$ the probability that $x$ and a randomly…