I (I is the set of all integers). The element a is called a generator
of the group. GROUPS, SUBGROUPS, COMPLEXES, COSETS, TRANSFORMS, NORMAL SUBGROUPS, QUOTIENT GROUPS, COMMUTATORS, COMPOSITION SERIES, ISOMORPHISMS, HOMOMORPHISMS, AUTOMORPHISMS
Def. Group. A set G of elements on which a binary operation (usually called multiplication) is defined which satisfies the following conditions:
1) Closure.
ab is in G for every a,b in G
2) Associative law holds.
a(bc) = (ab)c for all a,b,c in G
3) Existence of an identity element.
G contains an element e such that ea = ae = a for every a in G.
4) Existence of inverse elements.
For every element a in G there exists an inverse element in G such that a a-1 = a-1a = e
Definitions of an, a0, and a-n
an = aaa ... a to n factors; n is a positive integer
a0 = e (the identity element)
a-n = (a-1)n = a-1 a-1 a-1 ... a-1
for any element a in G
Theorems.
1] Cancellation law. If ac = ad or ca = da then c = d.
2] Both of the equations ax = b and xa = b have a unique solution for all a,b in G.
3] For every a in G, the inverse of the inverse of a is a i.e. (a-1)-1 = a
4] (ab)-1 = b-1a-1 for every a,b in G
5] (abc...pq)–1 = q-1p-1....c-1b-1a-1 for every a,b,c, ... ,p,q in G
6] aman = am+n
(am)n = amn
where m and n are integers
Some definitions:
Abelian (or Commutative) Group. A group in which the commutative law holds i.e. ab = ba for all members a,b of the group.
Cyclic group. A group for which all members are powers of one member. A cyclic group may have a finite number of members or an infinite number.
In a cyclic group there exists some member “a” such that all other members of the group are
some power am of a where m
I (I is the set of all integers). The element a is called a generator
of the group.
A cyclic group is necessarily Abelian.
Examples:
1) The five fifth roots of one form a finite group with 5 members.
2) The set
{ .... -12, -9, -6, -3, 0, 3, 6, 9, 12, ....}
with addition as the group operation. It is generated by the element 3. It is a cyclic group with an infinite number of members.
Finite group. A group having only a finite number of members.
Examples: cyclic groups, dihedral groups, permutation groups.
Infinite group. A group having an infinite number of members.
Examples: 1) the set of all integers with addition as the group operation; 2) the set of all mxn matrices over some field F with respect to the operation of matrix addition. 3) the set of all nonsingular nxn matrices over some field F with respect to the operation of matrix multiplication.
Order of a group. The number of members in a group. If it is a finite group the order is some positive integer. Otherwise the order is infinite.
Example: The five fifth roots of one form a cyclic group of order 5.
Order (or period) of a member of a group. The order of a member “a” of a group is the least positive integer n, if one exists, for which an = e (where e is the identity element). Also called the period.
Example. In the group whose members are the roots of x6 = 1 with multiplication as the group
operation,
is of order (or period) 3, since
and
.
Complex Any non-empty subset of a group G.
Equality of complexes. The equality of complexes is the equality of sets; that is, two complexes are equal if and only if they contain the same elements.
Product of two complexes. The product HK of two complexes H and K of a group G
is the set of all elements hk
G where h
H and k
K.
Example. Let H = {h1,h2}, K = {k1,k2,k3}. Then HK = {h1k1, h1k2, h1k3, h2k1, h2k2, h2k3}
The “multiplication” operation for the product hk is whatever the binary operation is in group G.
Subgroup. A nonempty subset of a group G is a subgroup of G if it is itself a group with respect to the binary operation defined on G.
Proper and improper subgroups. Every group G has at least two subgroups: 1) The whole group G (since a group G is regarded as a subgroup of itself), and 2) The group consisting of the identity element alone (the identity element meets the axiomatic requirements for being a one-element group). These two subgroups are called improper subgroups. All other subgroups are called proper subgroups.
Subgroup generated by a set of elements. Let S = { a, b, c, ... ,g } be an arbitrarily chosen set of elements a,b,c, ... ,g of a group G. Let S* consist of all finite products of the elements of S, their inverses and powers i.e. S* = {abc ...ga-1b-1c-1 ... am bncp .... gq} where m,n,p, ... q are any integers. Then S* represents the smallest subgroup of G which contains the elements of S. Subgroup S* is said to be generated by the elements a,b,c, ... ,g of G.
Coset. coset of a subgroup H of a group G. Let H = {h1, h2, ... ,hm} be a subgroup of a group G. Then for any a in G the complex product aH = {ah1,ah2, ... ,ahm} is called a left coset of H in G and the complex product Ha = {h1a, h2a, ... ,hma} is called a right coset of H in G. In other words, a left coset of H in G consists of the set of all products ah for all h in H and any fixed element a in G. A right coset of H in G consists of the set of all products ha for all h in H and any fixed element a in G.
Theorem. Any two left (or right) cosets of a subgroup H of a group G are either identical or have no elements in common. The j distinct left (or right) cosets of H partition G into j mutually disjoint sets.
Transform. transform of an element of a group. The transform of an element a in a group G by an element x is the element b = x -1ax. The set of all transforms of a by elements of the group is the set of conjugates of a and is a conjugate set (or class) of elements of the group. The set of different subgroups obtained by transforming a given subgroup by all the elements of the group is a conjugate set of subgroups; any two of these subgroups are conjugate to each other.
Normal subgroup. A subgroup H of a group G for which the transform of any element of H by any element of G is in H. A subgroup is normal if and only if all its right cosets are also left cosets.
Syn. invariant subgroup, normal divisor.
The cosets of normal groups form groups called quotient groups under the operation of complex multiplication.
Quotient group G/H. The quotient group of a group G by an invariant subgroup H is the group (denoted by G/H) whose elements are the cosets of H (these cosets are also equivalence classes if one defines x and y to be equivalent if xy -1 belongs to H). Multiplication on the group is complex multiplication (i.e. multiplication as defined for complexes). The unit element of G/H is H and the inverse of a coset aH is the coset a -1H.
Syn. factor group
Central of a group. The set of all elements of the group which commute with every element of the group. Stated differently, the central of a group G is the set of all x in G such that xg = gx for every element g of G. The central is an invariant subgroup, but may be contained properly in an invariant subgroup.
Syn. Center of a group
Simple group. A group that has no invariant subgroups other than the identity alone and the whole group. A group which is not simple is called composite.
Commutator. commutator of elements of a group. The commutator of two elements a and b of a group is the element a--1 b-1ab, or the element c such that bac = ab. The group of all elements of the form c1,c2, ... ,cn, where each ci is the commutator of some pair of elements, is called the commutator subgroup. The commutator subgroup of an Abelian group contains only the identity element. A group is said to be perfect if it is identical with its commutator subgroup. A commutator subgroup is an invariant subgroup and the factor group formed with it is Abelian.
Def. Maximal invariant subgroup. An invariant subgroup H of a group G is called maximal provided there exists no proper invariant subgroup K of G having H as a proper subgroup.
Def. Composition series. For any group G a sequence of its subgroups
G, H, J, K, ... ,U = {e}
is called a composition series for G if each element except the first is a maximal invariant subgroup of its predecessor. The groups G/H, H/J, J/K, ... are called the quotient groups of the composition series..
Every finite group has at least one composition series.
Groupoid. A set S of elements on which a binary operation is defined which is closed under the operation.
Semigroup. A groupoid on which the associative law holds.
Monoid. A semigroup with an identity element.
Isomorphism. Two axiomatically-defined abstract mathematical systems as, for example, two groups, rings, linear spaces , etc. are said to be isomorphic to each other if they are equivalent structurally, algebraically; in their internal workings, with like elements corresponding in a one-to-one fashion; the differences between them being only superficial ones as in the names we give the elements and the way we denote the law of combination. The mathematical condition that must be met for two groups to be isomorphic to each other is given in the following definition:
Def. An isomorphism between two groups G and G* is a one-to-one correspondence between their elements that preserves group multiplication. Specifically it is a correspondence where if elements x and y of G correspond to x* and y* of G* then xy corresponds to x*y*.
Note. An alternative, but equivalent definition is: An isomorphism between two groups G and
G* is a one-to-one mapping f :G
G* where f(xy) = f(x)f(y) for all x,y in G.
If the condition given by the definition is met we then say that the operation of multiplication is preserved between the two groups. Identity elements will correspond and inverse elements will correspond. The condition insures that the two groups are equivalent structurally and algebraically.
Homomorphism. As with an isomorphism, a homomorphism is also a correspondence between two mathematical structures that are structurally, algebraically identical. However, there is an important difference between a homomorphism and an isomorphism. An isomorphism is a one-to-one mapping of one mathematical structure onto another. A homomorphism is a many-to-one mapping of one structure onto another. Where an isomorphism maps one element into another element, a homomorphism maps a set of elements into a single element. Its definition sounds much the same as that for an isomorphism but allows for the possibility of a many-to-one mapping. An isomorphism is actually a special case of a homomorphism.
For the case of homomorphisms between groups the definition is as follows:
Def. A homomorphism from a group G to a group G* is a mapping from G onto G* where if elements x and y of G correspond to x* and y* of G*, then xy must correspond to x*y*.
Note. An alternative, but equivalent definition is: An homomorphism between two groups G and
G* is a mapping f :G
G* where f(xy) = f(x)f(y) for all x,y in G .
The idea of a homomorphism is closely connected with the idea of quotient groups and is best illustrated by them. Quotient groups are groups whose elements are sets -- namely cosets of the normal group of some group. The cosets of any normal subgroup H of a group G form a group under complex multiplication and this group is called the quotient group (or factor group) of G by H and is denoted by G/H. The normal subgroup H plays the role of the identity in the quotient group. The following theorem is fundamental in the theory of homomorphic mappings:
Theorem. Under homomorphic mapping of an arbitrary group G onto a group G', the set N of elements of G that are mapped into the identity element e' of G' is a normal subgroup of G; the set of elements of G that are mapped into an arbitrary fixed element of G' is a coset of G with respect to N, and the one-to-one correspondence thus established between the cosets of G with respect to N and the elements of G' is an isomorphism between G' and the quotient group G/N.
Mathematics, Its Content, Method and Meaning, III. p. 304
From this theorem we see that under this homomorphism all the elements in a particular coset are imaged into a single element in G'. Elements from separate cosets are imaged into separate elements in G'. Thus we see that under a homomorphic mapping, on transition from G to G', distinct elements of G coalese into a single element of G'. Classes or sets of elements map into single elements.
Automorphism. An automorphism is an isomorphism of a set with itself. In the case
of groups it is an isomorphism between subgroups of a group
Def. An automorphism of a group G is a one-to-one mapping f :G
G (i.e. a one-to-one
correspondence between elements of G) where f(xy) = f(x)f(y) for all x,y in G.
.
***************************************************
Theorems.
1] If H is a subgroup of G, then the identity in H is the identity e in G, and the inverse of an element a in H is its inverse a-1 in G.
2] A nonempty subset H of a group G is a subgroup of G if and only if : 1) it is closed with respect to the group operation, and 2) it contains the inverse of each of its elements.
3] A nonempty subset H of a group G is a subgroup of G if and only if a-1b is in H for all a,b in H.
4] Let a be an element of a group G. The set H = {an: n is an integer} of all integral powers of a is a subgroup of G
5] If S is any set of subgroups of a group G, the intersection of these subgroups is also a subgroup of G.
6] Every subgroup of a cyclic group is itself a cyclic group.
7] An element at of a finite cyclic group G of order n is a generator of G if and only if the greatest common denominator of n and t is 1.
8] Lagrange’s theorem If G is a subgroup of a group H of finite order, then the order of G divides the order of H.
9] Jordan-Holder Theorem. For any finite group with distinct composition series, all series are of the same length, i.e. have the same number of elements. Moreover, the quotient groups for any pair of composition series may be put into one-to-one correspondence so that corresponding quotient groups are isomorphic.
References.
James and James. Mathematics Dictionary.
Ayres. Modern Algebra. Chap. 9
Birkhoff, MacLane, A Survey of Modern Algebra. Chap. VI
Beaumont, Ball. Intro. to Modern Algebra and Matrix Theory., Chap. IV
Van der Waerden. Modern Algebra. Chap. 2
Mathematics, Its Content, Methods and Meaning. Chap. XX
Fang. Abstract Algebra.