Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb:group_of_people |
| gptkbp:actsOn |
countably infinite set
|
| gptkbp:alsoKnownAs |
S-infinity
|
| gptkbp:contains |
all finite symmetric groups as subgroups
|
| gptkbp:containsElement |
finite permutation
|
| gptkbp:definedIn |
group of all finite permutations of a countably infinite set
|
| gptkbp:field |
gptkb:mathematics
group theory |
| gptkbp:hasNormalSubgroup |
alternating group on infinite set
|
| gptkbp:hasProperty |
not simple
not locally finite every element has finite support not finitely generated |
| gptkbp:hasSubgroup |
finite symmetric group
|
| https://www.w3.org/2000/01/rdf-schema#label |
infinite symmetric group
|
| gptkbp:isCountable |
true
|
| gptkbp:isSimple |
false
|
| gptkbp:notation |
S_∞
|
| gptkbp:relatedTo |
permutation group
infinite alternating group |
| gptkbp:studiedBy |
group theorists
|
| gptkbp:bfsParent |
gptkb:Haagerup_property
gptkb:Kerov–Vershik_theory |
| gptkbp:bfsLayer |
6
|