Simplicity of some automorphism groups. (Q661368): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q61848359, #quickstatements; #temporary_batch_1710702420720 |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2011.05.021 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2024767348 / rank | |||
Normal rank |
Revision as of 01:04, 20 March 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
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
simple permutation groups
0 references
automorphism groups
0 references
Fraïssé limits
0 references
Polish groups
0 references