Related papers: Groups in NTP2
For every prime $p$ it is shown that a wide class of HNN extensions of free abelian groups admit faithful representation by finite $p$-automata.
In this paper we consider the palindromic width of free nilpotent groups. In particular, we prove that the palindromic width of a finitely generated free nilpotent group is finite. We also prove that the palindromic width of a free…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
It is shown that finite groups in which the order of the product of every pair of elements of co-prime order is the product of the orders, is nilpotent.
In this paper, we establish the theory of nilpotent hypergroups and study some properties of nilpotent hypergroups and provided some structural characterizations of nilpotent hypergroups.
We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.
The structure of a group which is not nilpotent but all of whose proper subgroups are nilpotent has interested the researches of several authors both in the finite case and in the infinite case. The present paper generalizes some classic…
The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$…
We provide non-isomorphic finite 2-groups which have isomorphic group algebras over any field of characteristic 2, thus settling the Modular Isomorphism Problem.
We prove that each $3$-dimensional connected topological loop $L$ having a solvable Lie group of dimension $\le 5$ as the multiplication group of $L$ is centrally nilpotent of class $2$. Moreover, we classify the solvable non-nilpotent Lie…
We define a notion of roundness for finite groups. Roughly speaking, a group is round if one can order its elements in a cycle in such a way that some natural summation operators map this cycle into new cycles containing all the elements of…
This is a survey on the state-of-the-art of the classification of finite-dimensional complex Hopf algebras. This general question is addressed through the consideration of different classes of such Hopf algebras. Pointed Hopf algebras…
We study groups having the property that every non-abelian subgroup is equal to its normalizer. This class of groups is closely related to an open problem posed by Berkovich. We give a full classification of finite groups having the above…
In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion, regardless if it is…
We study groups endowed with Alexandroff topologies and show that no non-discrete Alexandroff topology can turn a group into a topological group. This settles negatively the basic existence problem for Alexandroff topological groups.…
We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…
A variety of groups does not contain all metabelian groups if and only if there is an absolute bound for the nilpotency classes of powerful $p$-groups in the given variety. Similarly, a variety contains only finitely many finite $p$-groups…
Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…
It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian…
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and…