Simplicity of some automorphism groups. (Q661368): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jalgebra.2011.05.021 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JALGEBRA.2011.05.021 / rank
 
Normal rank

Latest revision as of 00:16, 10 December 2024

scientific article
Language Label Description Also known as
English
Simplicity of some automorphism groups.
scientific article

    Statements

    Simplicity of some automorphism groups. (English)
    0 references
    0 references
    0 references
    10 February 2012
    0 references
    This article deals with the automorphism groups of homogeneous (relational) structures \(M\). These were in various special cases known to be simple; this is no general truth but as the authors point out in the introduction ``if \(\Aut(M)\) is not simple, then it has some \textit{obvious} proper non-trivial normal subgroups, explicable in terms of its actions''. The article provides for the first time a general result explaining the tendency to simplicity such groups have. It is shown (Theorem 1.1) that given a \textit{free} homogeneous structure \(M\) (meaning \(M\) is the Fraïssé limit of a class with a stronger form of amalgamation property), then provided \(\Aut(M)\) is a transitive, proper subgroup of \(M\), it is simple. In particular this result encompasses the (previously known) cases of: the random graph [\textit{J. K. Truss}, Math. Proc. Camb. Philos. Soc. 105, No. 2, 223-236 (1989; Zbl 0687.20003)], the random \(K_n\)-free graph [\textit{M. Rubin}, unpublished], and the random tournament [\textit{E. Jaligot}, unpublished]. The methods are borrowed both from descriptive set theory (the automorphism group is a Polish group) and model theory, with an abstract analogue of stability-theoretic independence in the context of Fraïssé limits (though no stability theory is used in the article). The authors ``believe [their] method to have considerable potential for further generalization''.
    0 references
    0 references
    simple permutation groups
    0 references
    automorphism groups
    0 references
    Fraïssé limits
    0 references
    Polish groups
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references