Order of a group
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 Order of a group, all facts related to Order of a 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]
This article defines an arithmetic function on groups
View other such arithmetic functions
Definition
QUICK PHRASES: size of a group, cardinality of a group, size of the underlying set, number of elements
Symbol-free definition
The order of a group is the cardinality of its underlying set.
Definition with symbols
The order of a group is the cardinality of as a set. it is denoted as .
Examples
- The trivial group, which is the group with only the identity element, has order
Operations on groups and effects on the order
Operations involving two or more groups
Operation | Input groups and their orders | Output group and its order | Proof and comment |
---|---|---|---|
external direct product of two groups | has order , has order | has order | order of direct product is product of orders; the same formula works for internal direct product, which is equivalent to external direct product. |
external direct product of finitely many groups | with orders respectively | has order | order of direct product is product of orders; same formula works for internal direct product |
external semidirect product of two groups | , order , , order , acting on it | has order | order of semidirect product is product of orders; same formula works for internal semidirect product |
group extension | normal subgroup , order , quotient group , order | follows from Lagrange's theorem | |
product of two subgroups | , order , order , has order | see product formula, also second isomorphism theorem | |
external wreath product | order , with wreathing action, order , acting on a set of size | has order | Note that when we take the regular action, and we get . When is the symmetric group of degree acting naturally on a set of size , we get . |
Divisibility relations
Divisibility relations for constructed objects
Construct | Divisibility statement related to order | Proof | Comments |
---|---|---|---|
subgroup | order of subgroup divides order of group | Lagrange's theorem | Not every order dividing the order of the group is realized as the order of a subgroup, see group having subgroups of all orders dividing the group order |
quotient group | order of quotient group divides order of group | order of quotient group divides order of group -- corollary to Lagrange's theorem | |
order of element in the group | order of element divides order of group | order of element divides order of group | Follows from Lagrange's theorem because the order of an element is the order of the cyclic subgroup it generates. |
set on which the group acts transitively | size of such a set divides the order of the group | fundamental theorem of group actions identifies any set with a transitive group action with the left coset space of a stabilizer, then we use Lagrange's theorem | |
conjugacy class | size of conjugacy class divides order of group | size of conjugacy class divides order of group | in fact, it divides order of inner automorphism group and is strictly smaller for a non-abelian group |
degree of irreducible representation | degree of irreducible representation over a splitting field divides order of group | degree of irreducible representation divides order of group | in fact, degree of irreducible representation divides index of abelian normal subgroup |
Divisibility relations for other arithmetic functions
Any arithmetic function that arises as the maximum or lcm of a bunch of numbers each of which divides the order of the group, must again divide the order of the group. Some examples are given below:
Arithmetic function | Description | Proof that it divides order |
---|---|---|
exponent | lcm of orders of all elements | exponent divides order |
Analogues
An order is a size measure that works for finite groups. For infinite groups, the order, viewed as an infinite cardinal, is a very crude size measure since it is unable to differentiate between the group and subgroups of finite index. Some analogues that work are described below.
- Measure is an analogue that is used for amenable groups, and works particularly well for compact groups with a Haar measure.
- Dimension plays a role analogous to the logarithm of the order. In those situations where the orders multiply, dimensions tend to add. There are many different notions of dimension, including algebraic, analytic, and topological ones.
- For profinite groups, we can view the orders as supernatural numbers, i.e., the orders take values that are products of powers of possibly infinitely many primes. Analogues of Lagrange's and Sylow's theorems hold in these contexts.
Order from subgroup and quotient perspectives
An infinite cyclic group (i.e., a group isomorphic to the group of integers) has no proper nontrivial finite subgroups, so from the perspective of Lagrange's theorem for subgroups, its order can be thought of as having no prime divisors. However, it has finite quotients of every order, so from the perspective of the fact that order of quotient group divides order of group, every prime divides its order.
More generally, for periodic groups and locally finite groups, the order notion must capture the possible finite subgroups that arise, whereas for residually finite groups, the order notion must capture the possible finite quotients that arise.
Computation
Template:GAP command for function
The GAP command to compute the order of a group is:
Order (group);where
groupmay either be an on-the-spot definition of a group or a name for something defined earlier.
References
Textbook references
- Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, ^{More info}, Page 47, Point (2.10)