Alternating group:A9

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]

VIEW FACTS ABOUT THIS GROUP: All factsGroup property satisfactionsSubgroup property satisfactionsGroup property dissatisfactionsSubgroup property satisfactions
VIEW DEFINITIONS USING THIS AS EXAMPLE: All terms |Group properties |Subgroup properties|
VIEW FACTS USING THIS AS EXAMPLE: All facts |Group property non-implications |Subgroup property non-implications |Group metaproperty dissatisfactionsSubgroup metaproperty dissatisfactions

Definition

This group is defined as the alternating group of degree 9, i.e., the alternating group on a set of size 9. This can be taken as the group on $\{1,2,3,4,5,6,7,8,9\}$.

Arithmetic functions

Function	Value	Similar groups	Explanation
order (number of elements, equivalently, cardinality or size of underlying set)	181440	groups with same order	As $A_{n},n=9$: $n!/2=9!/2=(9\cdot 8\cdot 7\cdot 6\cdot \dots \cdot 2\cdot 1)/2=181440$
exponent of a group	1260	groups with same order and exponent of a group | groups with same exponent of a group

Linear representation theory

Further information: linear representation theory of alternating group:A9

Summary

Item	Value
degrees of irreducible representations over a splitting field (such as ${\overline {\mathbb {Q} }}$ or $\mathbb {C}$)	1, 8, 21, 21, 27, 28, 35, 35, 42, 48, 56, 84, 105, 120, 162, 168, 189, 216 grouped form (each occurs once by default): 1, 8, 21 (2 times), 27, 28, 35 (2 times), 42, 48, 56, 84, 105, 120, 162, 168, 189, 216 maximum: 216, number: 18, sum of squares: 181440
minimal splitting field, i.e., smallest field of realization of all irreducible representations (characteristic zero)	$\mathbb {Q} (\zeta +\zeta ^{2}+\zeta ^{4}+\zeta ^{8})$ where $\zeta$ is a primitive fifteenth root of unity Same as $\mathbb {Q} ({\sqrt {-15}})$ Same as field generated by character values
condition for a field of characteristic not 2,3,5,7 to be a splitting field	-15 should be a square in that field

GAP implementation

Description	Functions used	Explanation
AlternatingGroup(9)	AlternatingGroup