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:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“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)