Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\)
type: Item
instance of: scholarly article
title: Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\)
zbMATH Open document ID: 1339.03029
author: Andreas Baudisch
published in: Archive for Mathematical Logic
publication date: 2016-05-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/1406.2964
review text: For a natural number \(p>2\), an infinite group \(G\) is called an \textit{extra-special \(p\)-group} if \(g^p=1\) for every \(g\in G\), if the centre of \(G\) is cyclic of order \(p\) and equals \(G'\) (the first derived subgroup of \(G\)). Infinite extra-special \(p\)-groups are a special case of groups of the same name introduced by \textit{P. Hall} and \textit{G. Higman} [Proc. Lond. Math. Soc. (3) 6, 1--42 (1956; Zbl 0073.25503)]. Their first-order theory has been investigated by \textit{U. Felgner} [Log. Anal., Nouv. Sér. 18, 407--428 (1975; Zbl 0355.02038)] who showed it is complete, \(\aleph_0\)-categorical, but not \(\aleph_1\)-categorical. The only countable such group (up to isomorphism) is thus commonly referred to as \textit{the infinite extra-special \(p\)-group}. Following the author, we write it \(D_1\). In the paper under review, the author introduces for every natural numbers \(p>2\) and \(n>0\) a group called \(D_n\) constructed as the \textit{Fraïssé} limit of the class \(\mathcal K_n\) of those finite groups of exponent \(p\) whose derived subgroups are central and generated by no more than \(n\) elements. The \textit{Fraïssé} limit of \(\mathcal K_1\) is Felgner's countable extra special \(p\)-group. The author shows: {\parindent=0.7cm \begin{itemize}\item[(1)] that the class \(\mathcal K_n\) indeed has a Fraïssé limit, \(D_n\); \item[(2)] that the first-order theory of \(D_n\) is \(\aleph_0\)-categorical and has full elimination of quantifiers (Theorem 1); \item[(3)] that \(D_n\) has Shelah's independance property (Theorem 2); \item[(4)] that \(D_n\) is supersimple of SU-rank 1 (Theorem 3). \end{itemize}} See also \textit{S. Shelah} and \textit{J. Steprāns}' [Ann. Pure Appl. Logic 34, 87--97 (1987; Zbl 0667.04002)] for a further studies of the categoricity of the theory of \(D_1\) in higher powers, as well as \textit{D. Macpherson} and \textit{C. Steinhorn} [Trans. Am. Math. Soc. 360, No. 1, 411--448 (2008; Zbl 1127.03026)], from which follows…
reviewed by: Cédric Milliet
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20A15
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 6580186
zbMATH Keywords: model theory
zbMATH Keywords: groups
zbMATH Keywords: simplicity
zbMATH Keywords: independence property
MaRDI profile type: Publication
OpenAlex ID: W2256896798
arXiv ID: 1406.2964
cites work: Simple theories
cites work: A FRAÏSSÉ LIMIT OF NILPOTENT GROUPS OF FINITE EXPONENT
cites work: Mekler's construction preserves \(CM\)-triviality
cites work: Q4126335
cites work: Q4003410
cites work: One-dimensional asymptotic classes of finite structures
cites work: Simple unstable theories
DOI: 10.1007/S00153-015-0456-5
Recommended article: Finite rank and pseudofinite groups
Recommended article: Extraspecial p-groups
Recommended article: MORE FRAÏSSÉ LIMITS OF NILPOTENT GROUPS OF FINITE EXPONENT
Recommended article: Q3642288
Recommended article: Groups with trivial virtual automorphism group
Recommended article: Some commutativity criteria
Recommended article: Characteristically simple ℵ0-categorical groups
Recommended article: On \(p\)-deficiency in groups.
Recommended article: Q2702126
Recommended article: On infinite groups
description: scientific article; zbMATH DE number 6580186