Definition
Given groups G and H, the direct product G × H is defined as follows:
- The elements of G × H are ordered pairs (g, h), where g ∈ G and h ∈ H. That is, the set of elements of G × H is the Cartesian product of the sets G and H.
- The binary operation on G × H is defined componentwise:
(g1, h1) · (g2, h2) = (g1 · g2, h1 · h2)
The resulting algebraic object satisfies the axioms for a group. Specifically:
- Associativity
- The binary operation on G × H is indeed associative.
- Identity
- The direct product has an identity element, namely (1G, 1H), where 1G is the identity element of G and 1H is the identity element of H.
- Inverses
- The inverse of an element (g, h) of G × H is the pair (g−1, h−1), where g−1 is the inverse of g in G, and h−1 is the inverse of h in H.
Read more about this topic: Direct Product Of Groups
Famous quotes containing the word definition:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)