Normal subgroups of nonstandard symmetric and alternating groups

DOI10.1007/S00153-006-0030-2MaRDI QIDQ868663zbMATH OpenOpenAlexFDO

Authors John Allsup, Richard Kaye

Publication date 6 March 2007

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-006-0030-2

zbMATH Keywords

alternating groupexternal normal subgroupsnonstandard model of Peano arithmeticpermutation groupsymmetric group

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Nonstandard models of arithmetic (03H15) Symmetric groups (20B30)

Review text

Let \({\mathcal M}\) be a nonstandard model of Peano arithmetic, with domain \(M\), and \(n\in M\) be a nonstandard natural number. Denote by \(S_n\) and \(A_n\) the symmetric and the alternating group of permutations of the internal set \(\{0,1,\dots,n-1\}\), respectively. By the transfer principle, \(S_n\) and \(A_n\) have all the usual properties of the symmetric and the alternating group, respectively. In particular, as \(n\) is nonstandard, \(n\) is greater than 5. Therefore, \(A_n\) is simple so it contains no normal subgroups, definable in the model \({\mathcal M}\). However, in the external universe, \(A_n\) is an infinite group and has external subgroups. Some of these subgroups turn out to be normal. So an interesting task emerges to study the normal subgroup structure of \(A_n\). The main result of the paper under review is a classification of the external normal subgroups of \(S_n\). The classification has some resemblance to the results of Baer, Schreier and Ulam on the normal subgroup structure for infinite symmetric groups [\textit{R. Baer}, ``Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich, Stud. Math. 5, 15--17 (1935; Zbl 0010.15402)], [\textit{J. Schreier} and \textit{S. Ulam}, ``Über die Permutationsgruppe der natürlichen Zahlenfolge, Stud. Math. 4, 134--141 (1933; Zbl 0008.20003)]. Finally, it is shown how the model of arithmetic may be used to define pseudo-metric structures on \(S_n\) and \(A_n\) with values in \(M\).

Recommendations

• Normal subgroups of infinite symmetric groups, with an application to stratified set theory
• About the structure of infinite groups, all whose non-Abelian subgroups are subnormal.
• scientific article; zbMATH DE number 810382
• On distinguishing quotients of symmetric groups
• The homomorphic images of infinite symmetric groups
• scientific article; zbMATH DE number 4006270
• Groups with many pronormal and transitively normal subgroups.
• On some uses of nonstandard models
• Closed normal subgroups
• Automorphism groups of models of Peano arithmetic

Cites work

• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 3223737 (Why is no real title available?)
• Notes on infinite permutation groups
• Subgroups of Infinite Symmetric Groups
• Supplements of bounded permutation groups
• Über die Permutationsgruppe der natürlichen Zahlenfolge

Cited in

(4)

• The arithmetic of cuts in models of arithmetic
• On the number of universal sofic groups
• Metric ultraproducts of finite simple groups
• scientific article; zbMATH DE number 810382 (Why is no real title available?)

This page was built for publication: Normal subgroups of nonstandard symmetric and alternating groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868663)