Direct Product of Groups - Definition

Definition

Given groups G and H, the direct product G × H is defined as follows:

  1. 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.
  2. 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:

    “... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
    —Adrienne Rich (b. 1929)

    “The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
    —Jean Baudrillard (b. 1929)

    “It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
    —Jane Adams (20th century)