951: n-Alternating Group
<The previous article in this series | The table of contents of this series | The next article in this series>
definition of n-alternating group
Topics
About:
group
The table of contents of this article
Starting Context
Target Context
-
The reader will have a definition of n-alternating group.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: with the maps composition as the group operator,
//
Conditions:
//
2: Note
is indeed a subgroup of : 0) for each elements, , , because as and can be realized as some sequences of even transpositions, can be realized as the concatenation of the sequences, which is a sequence of even transpositions; 1) the associativity holds, because it holds on the ambient ; 2) the identity map, , is in , because it can be realized as the sequence of 0 transposition; 3) for each element, the inverse element, which is the inverse map, is in , because it can be realized by the reverse sequence of the transpositions, which is a sequence of even transpositions.
References
<The previous article in this series | The table of contents of this series | The next article in this series>