Systems of equivalence relations on countable sets (Q1065047)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Systems of equivalence relations on countable sets |
scientific article |
Statements
Systems of equivalence relations on countable sets (English)
0 references
1986
0 references
An equivalence system (X,E) is a pair consisting of a set X and a set E of equivalence relations on X. The automorphism group Aut(X,E) is the group of all permutations of X that leave each relation in E invariant. We consider systems (X,E) with X countable and E totally ordered. We show that in this case Aut(X,E) is transitive on X if and only if the following condition is fulfilled. Whenever e and f with \(e<f\) are a covering pair in the completion of E, each equivalence class of f contains the same number of classes of e. We also give a description of the automorphism groups which arise in this way.
0 references
equivalence relations
0 references
permutations
0 references
covering pair
0 references
automorphism groups
0 references