Finitary alternating group: Difference between revisions

Revision as of 17:02, 12 January 2024

This article is about a basic definition in group theory. The article text may, however, contain advanced material.
VIEW: Definitions built on this | Facts about this: (facts closely related to Finitary alternating group, all facts related to Finitary alternating group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |[SHOW MORE]

View a complete list of basic definitions in group theory | Go through a guided tour for beginners to this wiki

Definition

For a finite set $S$ , the finitary alternating group on $S$ is equal to the alternating group on $S$ .

Let $S$ be an infinite set. The finitary alternating group on $S$ is defined in the following equivalent ways:

It is the group of all even permutations on $S$ under composition, that have finite support, viz permutations that fix all but finitely many elements.
It is the kernel of the sign homomorphism on the finitary symmetric group on $S$ .

The alternating group on $S$ is defined as:

The group of all even permutations on $S$ under composition, including those with infinite support.
It is the kernel of the sign homomorphism on the symmetric group on $S$ (i.e. the symmetric group including permutations with infinite support).

@@ Line 1: / Line 1: @@
-#redirect [[alternating group]]
+{{basicdef}}
+==Definition==
+For a finite set <math>S</math>, the finitary alternating group on <math>S</math> is equal to the [[alternating group]] on <math>S</math>.
+Let <math>S</math> be an infinite set. The '''finitary alternating group''' on <math>S</math> is defined in the following equivalent ways:
+# It is the group of all even permutations on <math>S</math> under composition, that have finite support, viz permutations that fix all but finitely many elements.
+# It is the kernel of the [[sign homomorphism]] on the [[finitary symmetric group]] on <math>S</math>.
+The '''alternating group''' on <math>S</math> is defined as:
+# The group of all even permutations on <math>S</math> under composition, including those with infinite support.
+# It is the kernel of the [[sign homomorphism]] on the [[symmetric group]] on <math>S</math> (i.e. the symmetric group including permutations with infinite support).