Normal subgroups of nonstandard symmetric and alternating groups (Q868663): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00153-006-0030-2 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00153-006-0030-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2093981179 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on infinite permutation groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Supplements of bounded permutation groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995219 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4138726 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subgroups of Infinite Symmetric Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über die Permutationsgruppe der natürlichen Zahlenfolge / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5512231 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00153-006-0030-2 / rank
 
Normal rank

Latest revision as of 06:10, 10 December 2024

scientific article
Language Label Description Also known as
English
Normal subgroups of nonstandard symmetric and alternating groups
scientific article

    Statements

    Normal subgroups of nonstandard symmetric and alternating groups (English)
    0 references
    0 references
    0 references
    6 March 2007
    0 references
    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\).
    0 references
    symmetric group
    0 references
    alternating group
    0 references
    permutation group
    0 references
    nonstandard model of Peano arithmetic
    0 references
    external normal subgroups
    0 references

    Identifiers