It is proved that, in certain subgroups of direct products of countable groups, the property of being an unconditionally closed set coincides with that of being an algebraic set. In particular, these properties coincide in all Abelian groups.
Families of unconditionally $tau$-closed and $tau$-algebraic sets in a group are defined, which are natural generalizations of unconditionally closed and algebraic sets defined by Markov. A sufficient condition for the coincidence of these families is found. In particular, it is proved that these families coincide in any group of cardinality at most $tau$. This result generalizes both Markovs theorem on the coincidence of unconditionally closed and algebraic sets in a countable group (as is known, they may be different in an uncountable group) and Podewskis theorem on the topologizablity of any ungebunden group.
We investigate the class $mathcal{MN}$ of groups with the property that all maximal subgroups are normal. The class $mathcal{MN}$ appeared in the framework of the study of potential counter-examples to the Andrews-Curtis conjecture. In this note we give various structural properties of groups in $mathcal{MN}$ and present examples of groups in $mathcal{MN}$ and not in $mathcal{MN}$.
The article deals with profinite groups in which the centralizers are abelian (CA-groups), that is, with profinite commutativity-transitive groups. It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CA-group. It is shown that G has a normal open subgroup N which is either abelian or pro-p. Further, a rather detailed information about the finite quotient G/N is obtained.
The article deals with profinite groups in which centralizers are virtually procyclic. Suppose that G is a profinite group such that the centralizer of every nontrivial element is virtually torsion-free while the centralizer of every element of infinite order is virtually procyclic. We show that G is either virtually pro-p for some prime p or virtually torsion-free procyclic. The same conclusion holds for profinite groups in which the centralizer of every nontrivial element is virtually procyclic; moreover, if G is not pro-p, then G has finite rank.
For an element $g$ of a group $G$, an Engel sink is a subset $mathcal{E}(g)$ such that for every $ xin G $ all sufficiently long commutators $ [x,g,g,ldots,g] $ belong to $mathcal{E}(g)$. We conjecture that if $G$ is a profinite group in which every element admits a sink that is a procyclic subgroup, then $G$ is procyclic-by-(locally nilpotent). We prove the conjecture in two cases -- when $G$ is a finite group, or a soluble pro-$p$ group.