 Order (group theory)

This article is about order in group theory. For order in other branches of mathematics, see Order (mathematics). For order in other disciplines, see Order.
In group theory, a branch of mathematics, the term order is used in two closely related senses:
 The order of a group is its cardinality, i.e., the number of its elements.
 The order, sometimes period, of an element a of a group is the smallest positive integer m such that a^{m} = e (where e denotes the identity element of the group, and a^{m} denotes the product of m copies of a). If no such m exists, a is said to have infinite order. All elements of finite groups have finite order.
The order of a group G is denoted by ord(G) or G and the order of an element a is denoted by ord(a) or a.
Contents
Example
Example. The symmetric group S_{3} has the following multiplication table.

• e s t u v w e e s t u v w s s e v w t u t t u e s w v u u t w v e s v v w s e u t w w v u t s e
This group has six elements, so ord(S_{3}) = 6. By definition, the order of the identity, e, is 1. Each of s, t, and w squares to e, so these group elements have order 2. Completing the enumeration, both u and v have order 3, for u^{2} = v and u^{3} = vu = e, and v^{2} = u and v^{3} = uv = e.
Order and structure
The order of a group and that of an element tend to speak about the structure of the group. Roughly speaking, the more complicated the factorization of the order the more complicated the group.
If the order of group G is 1, then the group is called a trivial group. Given an element a, ord(a) = 1 if and only if a is the identity. If every (nonidentity) element in G is the same as its inverse (so that a^{2} = e), then ord(a) = 2 and consequently G is abelian since ab = (ab) ^{− 1} = b ^{− 1}a ^{− 1} = ba by Elementary group theory. The converse of this statement is not true; for example, the (additive) cyclic group Z_{6} of integers modulo 6 is abelian, but the number 2 has order 3:
 .
The relationship between the two concepts of order is the following: if we write
for the subgroup generated by a, then
For any integer k, we have
 a^{k} = e if and only if ord(a) divides k.
In general, the order of any subgroup of G divides the order of G. More precisely: if H is a subgroup of G, then
 ord(G) / ord(H) = [G : H], where [G : H] is the index of H in G, an integer. This is Lagrange's theorem.
As an immediate consequence of the above, we see that the order of every element of a group divides the order of the group. For example, in the symmetric group shown above, where ord(S_{3}) = 6, the orders of the elements are 1, 2, or 3.
The following partial converse is true for finite groups: if d divides the order of a group G and d is a prime number, then there exists an element of order d in G (this is sometimes called Cauchy's theorem). The statement does not hold for composite orders, e.g. the Klein fourgroup does not have an element of order four). This can be shown by inductive proof.^{[1]} The consequences of the theorem include: the order of a group G is a power of a prime p if and only if ord(a) is some power of p for every a in G.^{[2]}
If a has infinite order, then all powers of a have infinite order as well. If a has finite order, we have the following formula for the order of the powers of a:
 ord(a^{k}) = ord(a) / gcd(ord(a), k)
for every integer k. In particular, a and its inverse a^{−1} have the same order.
There is no general formula relating the order of a product ab to the orders of a and b. In fact, it is possible that both a and b have finite order while ab has infinite order, or that both a and b have infinite order while ab has finite order. If ab = ba, we can at least say that ord(ab) divides lcm(ord(a), ord(b)). As a consequence, one can prove that in a finite abelian group, if m denotes the maximum of all the orders of the group's elements, then every element's order divides m.
Counting by order of elements
Suppose G is a finite group of order n, and d is a divisor of n. The number of elements in G of order d is a multiple of φ(d), where φ is Euler's totient function, giving the number of positive integers no larger than d and coprime to it. For example in the case of S_{3}, φ(3) = 2, and we have exactly two elements of order 3. The theorem provides no useful information about elements of order 2, because φ(2) = 1, and is only of limited utility for composite d such as d=6, since φ(6)=2, and there are zero elements of order 6 in S_{3}.
In relation to homomorphisms
Group homomorphisms tend to reduce the orders of elements: if f: G → H is a homomorphism, and a is an element of G of finite order, then ord(f(a)) divides ord(a). If f is injective, then ord(f(a)) = ord(a). This can often be used to prove that there are no (injective) homomorphisms between two concretely given groups. (For example, there can be no nontrivial homomorphism h: S_{3} → Z_{5}, because every number except zero in Z_{5} has order 5, which does not divide the orders 1, 2, and 3 of elements in S_{3}.) A further consequence is that conjugate elements have the same order.
Class equation
An important result about orders is the class equation; it relates the order of a finite group G to the order of its center Z(G) and the sizes of its nontrivial conjugacy classes:
where the d_{i} are the sizes of the nontrivial conjugacy classes; these are proper divisors of G bigger than one, and they are also equal to the indices of the centralizers in G of the representatives of the nontrivial conjugacy classes. For example, the center of S_{3} is just the trivial group with the single element e, and the equation reads S_{3} = 1+2+3.
Open questions
Several deep questions about the orders of groups and their elements are contained in the various Burnside problems; some of these questions are still open.
References
 ^ Conrad, Keith (PDF). Proof of Cauchy's Theorem. http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/cauchypf.pdf. Retrieved May 14, 2011.
 ^ Conrad, Keith (PDF). Consequences of Cauchy's Theorem. http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/cauchyapp.pdf. Retrieved May 14, 2011.
Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
Order (number theory) — In number theory, the order of an element a pmod{n} is the smallest integer k such that a^k equiv 1pmod{n}. Note that the order is only defined when gcd(a,n) = 1, i.e. a and n are coprimes.By Euler s theorem, the order (mod n) must divide phi(n) … Wikipedia
Order (ring theory) — In mathematics, an order in the sense of ring theory is a subring of a ring R that satisfies the conditions R is a ring which is a finite dimensional algebra over the rational number field spans R over , so that … Wikipedia
Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… … Wikipedia
Elementary group theory — In mathematics, a group is defined as a set G and a binary operation on G , called product and denoted by infix * . Product obeys the following rules (also called axioms). Let a , b , and c be arbitrary elements of G . Then: *A1, Closure. a * b… … Wikipedia
Word (group theory) — In group theory, a word is any written product of group elements and their inverses. For example, if x , y , and z are elements of a group G , then xy , z 1 xzz , and y 1 zxx 1 yz 1 are words in the set { x , y , z }. Words play an important role … Wikipedia
Geometric group theory — is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act (that is, when the… … Wikipedia
Muted group theory — developed out of the cultural anthropology field, but more recently has been developed in communication mostly as a feminist and cross cultural theory. Muted group theory helps explain communication patterns and social representation of non… … Wikipedia
Computational group theory — In mathematics, computational group theory is the study of groups by means of computers. It is concerned with designing and analysing algorithms and data structures to compute information about groups. The subject has attracted interest because… … Wikipedia
Component (group theory) — In mathematics, in the field of group theory, a component of a finite group is a quasisimple subnormal subgroup. Any two distinct components commute. The product of all the components is the layer of the group. For finite abelian (or nilpotent)… … Wikipedia
New World Order (conspiracy theory) — This article is about the use of the term New World Order in conspiracy theory. For other uses, see New World Order. The reverse side of the Grea … Wikipedia