Related papers: Word automatic groups of nilpotency class 2

We study group-graded Lie algebras L with finite support X. We show that L is nilpotent of |X|-bounded class if X is arithmetically-free. Conversely: we show that Y supports the grading of a non-nilpotent Lie algebra if Y is not…

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…

Let $G$ be a finite $p$-group of nilpotency class 2. We find necessary and sufficient conditions on $G$ such that each central automorphism of $G$ fixes the center of $G$ element-wise.

Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.

We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fra\"iss\'e limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class…

We introduce the abstract concept of supernilpotence in loop theory, and relate it to existing concepts, namely, central nilpotence and nilpotence of the multiplication group. We prove that the class of supernilpotence is greater or equal…

Let $p$ be an odd regular prime, and let $G_p$ denote the extraspecial $p$--group of order $p^{3}$ and exponent $p$. We show that $G_p$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. For $p=3$ we explicitly construct a free smooth…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We develop a method to show that some (abstract) groups can be embedded into a free pro-$p$ group. In particular, we show that a finitely generated subgroup of a free $\mathbb Q$-group can be embedded into a free pro-$p$ group for almost…

Let $p$ be a prime number, $G$ be a finite $p$-group and $K$ be a field of characteristic $p$. The Modular Isomorphism Problem (MIP) asks whether the group algebra $KG$ determines the group $G$. Dealing with MIP, we investigated a question…

Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that the conjecture is true when a finite non-abelian $p$-group $G$ has…

We show that if $G$ is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous ergodic invariant random…

We show that the torsion-free rank of $H_i(M, \mathbb{Z}_p)$ has finite upper bound for $i \leq m$, where $M$ runs through the pro-$p$ subgroups of finite index in a pro-$p$ group $G$ that is (nilpotent of class $c$)-by-abelian such that $…

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. Let $\mathrm{Aut}_c(G)$ and $\mathrm{Aut}_z(G)$ respectively denote the group of all class preserving and central automorphisms of $G$. We give a necessary condition for $G$…

Let $A$ be a non-metacyclic finite group. Suppose that $A$ acts coprimely on a finite group $G$ in such a manner that $C_G(a)$ is nilpotent for any $a\in A^{\#}$. In the present paper we investigate some conditions on $A$ which imply that…

We prove, for various important classes of Mealy automata, that almost all generated groups have an element of infinite order. In certain cases, it also implies other results such as exponential growth.

We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.

We classify finite-dimensional nilpotent Lie algebras with $2$-dimensional central commutator ideals admitting a Lie group of automorphisms isomorphic to $SO_2(\mathbb R)$. This enables one to enlarge the class of nilpotent Lie algebras of…

Many sequences of $p$-adic integers project modulo $p^\alpha$ to $p$-automatic sequences for every $\alpha \geq 0$. Examples include algebraic sequences of integers, which satisfy this property for every prime $p$, and some cocycle…

A group is called capable if it is a central factor group. We consider the capability of certain nilpotent products of cyclic groups, and obtain a generalisation of a theorem of Baer for the small class case. The approach may also be used…