A covering of a group is a finite set of proper subgroups whose union is the whole group. A covering is minimal if there is no covering of smaller cardinality, and it is nilpotent if all its members are nilpotent subgroups. We complete a proof that every group that has a nilpotent minimal covering is solvable, starting from the previously known result that a minimal counterexample is an almost simple finite group.
In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.
Every finite non-nilpotent group can be extended by a term operation such that solving equations in the resulting algebra is NP-complete and checking identities is co-NP-complete. This result was firstly proven by Horváth and Szabó; the term constructed in their proof depends on the underlying group. In this paper we provide a uniform term extension that induces hardness. In doing so we also characterize a big class of solvable, non-nilpotent groups for which extending by the commutator operation suffices.
The complexity of the equation solvability problem is known for nilpotent groups, for not solvable groups and for some semidirect products of Abelian groups. We provide a new polynomial time algorithm for deciding the equation solvability problem over certain semidirect products, where the first factor is not necessarily Abelian. Our main idea is to represent such groups as matrix groups, and reduce the original problem to equation solvability over the underlying field. Further, we apply this new method to give a much more efficient algorithm for equation solvability over nilpotent rings than …
The first author, in 2001, presented a structure for the Baer-invariant of a nilpotent product of cyclic groups with respect to the variety of nilpotent groups. In this paper, using the above structure, we prove the existence of an ${\cal N}_c$-covering group for a nilpotent product of a family of cyclic groups. We also present a structure for the ${\cal N}_c$-covering group.
For a finite group $G$, we study the probability $sp(G)$ that, given two elements $x,y \in G$, the cyclic subgroup $\langle x \rangle$ is subnormal in the subgroup $\langle x, y \rangle$. This can be seen as an intermediate invariant between the probability that two elements generate a nilpotent subgroup and the probability that two elements generate a solvable subgroup. We prove that $sp(G) \leq 1/6$ for every nonsolvable group $G$.
A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper is a study of properties of the image G^t when G is nilpotent. In particular, it is shown that if G is finitely generated, torsion-free and nilpotent then G^t has solvability degree bounded above by the number of prime divisors of m.
It is well known that when $G$ is the fundamental group of a closed surface of negative Euler characteristic, it has the $R_{\infty}$ property. In this work we compute the least integer $c$, {\it called the $R_{\infty}$-nilpotency degree of $G$}, such that the group $G/ γ_{c+1}(G)$ has the $R_{\infty}$ property, where $γ_r(G)$ is the $r$-th term of the lower central series of $G$. We show that $c=4$ for $G$ the fundamental group of any orientable closed surface $S_g$ of genus $g>1$. For the fundamental group of the non-orientable surface $N_g$ (the connected sum of $g$ projective planes) this …
We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence between divisible torsion-free nilpotent groups and rational nilpotent Lie algebras. We study the related questions of the commensurators of nilpotent groups, filiform Lie algebras of maximal solvability length and partially ordered algebras.
Infinite systems of equations in abelian and nilpotent groups
Faculty of Mechanics and Mathematics of Lomonosov Moscow State University（莫斯科国立大学力学与数学系）；Moscow Center for Fundamental and Applied Mathematics（莫斯科基础与应用数学中心）
The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call {\em minimal non-${\mathcal N}$}. To facilitate this we investigate solvable Lie algebras of nilpotent length $k$, and of nilpotent length $\leq k$, and {\em extreme} Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-${\mathcal N}$ Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index $\leq 3$.
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$ does not have any ${\cal N}_c$-covering group for every $c\geq 2$. This result gives an idea that Lemma 2 of J.Wiegold [6] and Haebich's Theorem [1], a vast generalization of the Wiegold's Theorem, can {\it not} be generalized to the variety of nilpotent groups of class at most $c\geq 2$.
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 ε> 0$, $G$ has a class-4 nilpotent normal subgroup $H$ such that $[G : H] $ and $|γ_4(H)|$ are both bounded in terms of $ε$. We also show that if $G$ is an infinite group whose commutators have boundedly many conjugates, or indeed if $G$ satisfies a certain more general commutator covering condition, then $G$ is finite-by-class-3-nilpotent-by-finite.
We associate a 2-complex to the following data: a presentation of a semigroup $S$ and a transitive action of $S$ on a set $V$ by partial transformations. The automorphism group of the action acts properly discontinuously on this 2-complex. A sufficient condition is given for the 2-complex to be simply connected. As a consequence we obtain simple topological proofs of results on presentations of Schützenberger groups. We also give a geometric proof that a finitely generated regular semigroup with finitely many idempotents has polynomial growth if and only if all its maximal subgroups are virtua…
Let $w$ be a group-word. Suppose that the set of all $w$-values in a profinite group $G$ is contained in a union of countably many subgroups. It is natural to ask in what way the structure of the verbal subgroup $w(G)$ depends on the properties of the covering subgroups. The present article is a survey of recent results related to that question. In particular we survey results on finite and countable coverings of word-values (mostly commutators) by procyclic, abelian, nilpotent, and soluble subgroups, as well as subgroups with finiteness conditions. The last section of the paper is devoted to …
Let ${\frak F}$ be a class of group and $G$ a finite group. Then a set $Σ$ of subgroups of $G$ is called a \emph{$G$-covering subgroup system} for the class ${\frak F}$ if $G\in {\frak F}$ whenever $Σ\subseteq {\frak F}$. We prove that: {\sl If a set of subgroups $Σ$ of $G$ contains at least one supplement to each maximal subgroup of every Sylow subgroup of $G$, then $Σ$ is a $G$-covering subgroup system for the classes of all $σ$-soluble and all $σ$-nilpotent groups, and for the class of all $σ$-soluble $PσT$-groups.} This result gives positive answers to questions 19.87 and 19.88 from the Ko…
Let ${\cal N}_{c_1,...,c_t}$ be the variety of polynilpotent groups of class row $(c_1,...,c_t)$. In this paper, first, we show that a polynilpotent group $G$ of class row $(c_1,...,c_t)$ has no any ${\cal N}_{c_1,...,c_t,c_{t+1}}$-covering group if its Baer-invariant with respect to the variety ${\cal N}_{c_1,...,c_t,c_{t+1}}$ is nontrivial. As an immediate consequence, we can conclude that a solvable group $G$ of length $c$ with nontrivial solvable multiplier, ${\cal S}_nM(G)$, has no ${\cal S}_n$-covering group for all $n>c$, where ${\cal S}_n$ is the variety of solvable groups of length at…
A hypermap is an embedding of a connected hypergraph into an orientable closed surface. A covering between hypermaps is a homomorphism between the embedded hypergraphs which extends to an orientation-preserving covering of the supporting surfaces. A covering of a hypermap onto itself is an automorphism, and a hypermap is regular if its automorphism group acts transitively on the brins. Depending on the algebraic theory of regular hypermaps and hypermap operations, the abelian regular coverings over the quaternion hypermap are investigated. We define normalized multicyclic coverings between reg…
The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $ι(G)$ when $G$ is a nontrivi…
On Nilpotent and Hypocentral Quandle Homomorphisms
Osaka Central Advanced Mathematical Institute, Osaka Metropolitan University（大阪中央高等数学研究所，大阪公立大学）；Department of Mathematics, School of Science and Engineering, Waseda University（早稻田大学理工学术院数学系）
