Related papers: Groups in NTP2

It is known that every nilpotent group contains solution of every finite unimodular system of equatiuons over itself. This statement, however, is not true for infinite systems. Moreover, there are abelian groups which disprove the infinite…

We prove that the theory of abelian groups and R-modules even in infinitary logic is stable and understood to some extent.

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the…

We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

It is shown that the relatively free centre-by-metabelian and (class-2 nilpotent)-by-abelian pro-p groups on 2 generators are each finitely axiomatizable in the class of all profinite groups.

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…

We classify Nichols algebras of irreducible Yetter-Drinfeld modules over nonabelian groups satisfying an inequality for the dimension of the homogeneous subspace of degree two. All such Nichols algebras are finite-dimensional, and all known…

We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect,…

We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group…

We introduce the notion of a powerfully solvable group. These are powerful groups possessing an abelian series of a special kind. These groups include in particular the class of powerfully nilpotent groups. We will also see that for a…

We show that $\omega$-categorical rings with NIP are nilpotent-by-finite. We prove that an $\omega$-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an $\omega$-categorical group with at least one strongly…

In this paper we study the capacity/entropy region of finite, directed, acyclic, multiple-sources, multiple-sinks network by means of group theory and entropy vectors coming from groups. There is a one-to-one correspondence between the…

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

We prove that the outer automorphism group $\mathrm{Out}(N)$ of an infinitely generated free nilpotent group $N$ of class two is complete.

We obtain explicit formulas for the number of non-isomorphic elliptic curves with a given group structure (considered as an abstract abelian group). Moreover, we give explicit formulas for the number of distinct group structures of all…