We solve the following algorithmic problems using TC0 circuits, or in logspace and quasilinear time, uniformly in the class of nilpotent groups with bounded nilpotency class and rank: subgroup conjugacy, computing the normalizer and isolator of a subgroup, coset intersection, and computing the torsion subgroup. Additionally, if any input words are provided in compressed form as straight-line programs or in Mal'cev coordinates the algorithms run in quartic time.
Following J.S. Rose, a subgroup H of a group G is said contranormal in G if G = H^G . In a certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. We prove that a nilpotent-by-finite group with no proper contranormal subgroup is nilpotent. There are locally nilpotent groups with a proper contranormal subgroup. We study the structure of hypercentral groups with a finite proper contranormal subgroup.
A subgroup of a finite group is wide if each prime divisor of the group order divides the subgroup order. We obtain the description of finite soluble groups with no wide subgroups. We also prove that a finite soluble group with nilpotent wide subgroups has the quotient group by its hypercenter with no wide subgroups.
This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results e…
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.
A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free nilpotent group of class 2 such a group is always a cyclic extension of the center. However this need not be true in an arbitrary finitely generated class two nilpotent group. We show that three generator nilpotent groups violating this condition can be easily found. However in the case when there are four or more generators certain conditions must hold.
We observe that automorphism groups of right-angled Artin groups contain nilpotent non-abelian subgroups, namely $H_3(\mathbb{Z})$ the three-dimensional integer Heisenberg group, provided they admit a certain type of element, called an adjacent transvection. This represents a (minor) extension of a result of Charney-Vogtmann.
We study the class of groups having the property that every non-nilpotent subgroup is equal to its normalizer. These groups are either soluble or perfect. We completely describe the structure of soluble groups and finite perfect groups with the above property. Furthermore, we give some structural information in the infinite perfect case.
Let $G$ be a finite group and $p$ a fixed prime divisor of $|G|$. Combining the nilpotence, the normality and the order of groups together, we prove that if every maximal subgroup of $G$ is nilpotent or normal or has $p'$-order, then (1) $G$ is solvable; (2) $G$ has a Sylow tower; (3) There exists at most one prime divisor $q$ of $|G|$ such that $G$ is neither $q$-nilpotent nor $q$-closed, where $q\neq p$.
We first give complete characterizations of the structure of finite group $G$ in which every subgroup (or non-nilpotent subgroup, or non-abelian subgroup) is a TI-subgroup or subnormal or has $p'$-order for a fixed prime divisor $p$ of $|G|$. Furthermore, we prove that every self-centralizing subgroup (or non-nilpotent subgroup, or non-abelian subgroup) of $G$ is a TI-subgroup or subnormal or has $p'$-order for a fixed prime divisor $p$ of $|G|$ if and only if every subgroup (or non-nilpotent subgroup, or non-abelian subgroup) of $G$ is a TI-subgroup or subnormal or has $p'$-order. Based on th…
Let $N$ be a finitely generated nilpotent group. The subgroup zeta function $ζ_N^{\leq}(s)$ and the normal zeta function $ζ_N^\lhd(s)$ of $N$ are Dirichlet series enumerating the finite index subgroups or the finite index normal subgroups of $N$. We present results about their abscissae of convergence $α_N^\leq$ and $α_N^\lhd$, also known as the degrees of polynomial subgroup growth and polynomial normal subgroup growth of $N$, respectively. We first prove some upper bounds for the functions $N\mapsto α_N^\leq$ and $N\mapstoα_N^\lhd$ when restricted to the class of torsion-free nilpotent group…
We prove that the subgroup zeta function and the normal zeta function of a finitely generated virtually nilpotent group are finite sums of Euler products of cone integrals over $\mathbb{Q}$ and we deduce from this that they have rational abscissa of convergence and some meromorphic continuation. We also define Mal'cev completions of a finitely generated virtually nilpotent group and we prove that the subgroup growth and the normal subgroup growth of the latter are invariants of its $\mathbb{Q}$-Mal'cev completion.
Let $G$ be a finite group and $σ=\{σ_{i}|i\in I\}$ be a partition of the set of all primes $\mathbb{P}$, that is, $\mathbb{P}=\bigcup_{i\in I}σ_{i}$ and $σ_{i}\cap σ_{j}=\emptyset$ for all $i\neq j$. A chief factor $H/K$ of $G$ is said to be $σ$-central in $G$, if the semidirect product $(H/K)\rtimes(G/C_G(H/K))$ is a $σ_i$-group for some $i\in I$. The group $G$ is said to be $σ$-nilpotent if either $G=1$ or every chief factor of $G$ is $σ$-central. In this paper, we study the properties of a finite group $G=AB$, factorized by two $σ$-nilpotent subgroups $A$ and $B$, and also generalize some k…
Let $q$ be a prime and $A$ a finite $q$-group of exponent $q$ acting by automorphisms on a finite $q'$-group $G$. Assume that $A$ has order at least $q^3$. We show that if $γ_{\infty} (C_{G}(a))$ has order at most $m$ for any $a \in A^{\#}$, then the order of $γ_{\infty} (G)$ is bounded solely in terms of $m$. If the Fitting subgroup of $C_{G}(a)$ has index at most $m$ for any $a \in A^{\#}$, then the second Fitting subgroup of $G$ has index bounded solely in terms of $m$.
Let $H$ be an abelian subgroup of a finite group $G$ and $π$ the set of prime divisors of $|H|$. We prove that $|H O_π(G)/ O_π(G)|$ is bounded above by the largest character degree of $G$. A similar result is obtained when $H$ is nilpotent.
We prove that the symmetric group $S_n$ has a unique minimal cover $\mathcal{M}$ by maximal nilpotent subgroups, and we obtain an explicit and easily computed formula for the order of $\mathcal{M}$. In addition, we prove that the order of $\mathcal{M}$ is equal to the order of a maximal non-nilpotent subset of $S_n$. This cover $\mathcal{M}$ has attractive properties; for instance, it is a normal cover, and the number of conjugacy classes of subgroups in the cover is equal to the number of partitions of $n$ into distinct positive integers. We show that these results contrast with those for the…
Let $π$ be a set of primes. We show that $π$-separable groups have a conjugacy class of subgroups which specialize to Carter subgroups, i.e. self-normalizing nilpotent subgroups, or equivalently, nilpotent projectors, when specializing to soluble groups.
Let $q$ be a prime and $A$ an elementary abelian group of order at least $q^3$ acting by automorphisms on a finite $q'$-group $G$. It is proved that if $|γ_{\infty}(C_{G}(a))|\leq m$ for any $a\in A^{\#}$, then the order of $γ_{\infty}(G)$ is $m$-bounded. If $F(C_{G}(a))$ has index at most $m$ in $C_G(a)$ for any $a \in A^{\#}$, then the index of $F_2(G)$ is $m$-bounded.
In this paper, we discuss about finite groups in which, CGH = NGH, for every abelian subgroup H of non prime power order. Also, we classify all such nilpotent and minimal non nilpotent groups.
We prove that Knapsack problem (KP) is undecidable for any group of nilpotency class two if the number of generators (without torsion) of the derived subgroup is at least 322. This result together with the fact that if KP is undecidable for a subgroup then it undecidable for the whole group allows us extend our result to certain classes of polycyclic groups, linear groups and nilpotent groups of higher nilpotency class.
In this paper we study the groups all whose maximal or all Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product the with generalizations of the Fitting subgroup $\mathrm{F}^*(G)$ and $\mathrm{\tilde F}(G)$. We prove that a hereditary formation $\mathfrak{F}$ contains every group all whose Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product with $\mathrm{F}^*(G)$ if and only if $\mathfrak{F}$ is the class of all $σ$-nilpotent groups for some partition $σ$ of the set of all primes. We obtain a new characterization of the $σ$-nilpotent hypercenter, i.e. the $\mathfrak{F…
The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In the case $G=Aut(Γ)$ we denote $C\left(Γ\right)=C\left(Aut(Γ),Γ\right)$. Let $Γ$ be a finitely generated group, $\barΓ=Γ/[Γ,Γ]$, and $Γ^{*}=\barΓ/tor(\barΓ)\cong\mathbb{Z}^{(d)}$. Denote $Aut^{*}(Γ)=\textrm{Im}(Aut(Γ)\to Aut(Γ^{*}))\leq GL_{d}(\mathbb{Z})$. In this paper we show that when $Γ$ is nilpotent, there is a canonical isomorphi…
We extend the characterization of abelian groups with ramification structures given by Garion and Penegini to finite nilpotent groups whose Sylow $p$-subgroups have a `nice power structure', including regular $p$-groups, powerful $p$-groups and (generalized) $p$-central $p$-groups. We also correct two errors in the result of Garion and Penegini regarding abelian $2$-groups with ramification structures and the relation between the sizes of ramification structures for an abelian group and those for its Sylow $2$-subgroup.
