Group Direct Product
In group theory one can define the direct product of two groups (G, *) and (H, ●), denoted by G × H. For abelian groups which are written additively, it may also be called the direct sum of two groups, denoted by .
It is defined as follows:
- the set of the elements of the new group is the cartesian product of the sets of elements of G and H, that is {(g, h): g in G, h in H};
- on these elements put an operation, defined elementwise:
(g, h) × (g', h' ) = (g * g', h ● h' )
(Note the operation * may be the same as ●.)
This construction gives a new group. It has a normal subgroup isomorphic to G (given by the elements of the form (g, 1)), and one isomorphic to H (comprising the elements (1, h)).
The reverse also holds, there is the following recognition theorem: If a group K contains two normal subgroups G and H, such that K= GH and the intersection of G and H contains only the identity, then K is isomorphic to G x H. A relaxation of these conditions, requiring only one subgroup to be normal, gives the semidirect product.
As an example, take as G and H two copies of the unique (up to isomorphisms) group of order 2, C2: say {1, a} and {1, b}. Then C2×C2 = {(1,1), (1,b), (a,1), (a,b)}, with the operation element by element. For instance, (1,b)*(a,1) = (1*a, b*1) = (a,b), and (1,b)*(1,b) = (1,b2) = (1,1).
With a direct product, we get some natural group homomorphisms for free: the projection maps
- ,
called the coordinate functions.
Also, every homomorphism f on the direct product is totally determined by its component functions .
For any group (G, *), and any integer n ≥ 0, multiple application of the direct product gives the group of all n-tuples Gn (for n=0 the trivial group). Examples:
- Zn
- Rn (with additional vector space structure this is called Euclidean space, see below)
Read more about this topic: Direct Product
Famous quotes containing the words group, direct and/or product:
“He hung out of the window a long while looking up and down the street. The world’s second metropolis. In the brick houses and the dingy lamplight and the voices of a group of boys kidding and quarreling on the steps of a house opposite, in the regular firm tread of a policeman, he felt a marching like soldiers, like a sidewheeler going up the Hudson under the Palisades, like an election parade, through long streets towards something tall white full of colonnades and stately. Metropolis.”
—John Dos Passos (1896–1970)
“I make this direct statement to the American people that there is far less chance of the United States getting into war, if we do all we can now to support the nations defending themselves against attack by the Axis than if we acquiesce in their defeat, submit tamely to an Axis victory, and wait our turn to be the object of attack in another war later on.”
—Franklin D. Roosevelt (1882–1945)
“These facts have always suggested to man the sublime creed that the world is not the product of manifold power, but of one will, of one mind; and that one mind is everywhere active, in each ray of the star, in each wavelet of the pool; and whatever opposes that will is everywhere balked and baffled, because things are made so, and not otherwise.”
—Ralph Waldo Emerson (1803–1882)