Skip to main content

Section 10.1 Pre-read

Subsection Isomorphic groups

In many of the activities in the corresponding Discovery guide, you will be asked to verify that one group is isomorphic to another. This involves several steps:

  • explicitly describe a correspondence between the elements of the two groups;

  • convince yourself that your correspondence is bijective; and

  • verify that your correspondence is operation-preserving (that is, if you multiply a pair of elements in one group, and you multiply the corresponding pair of elements in the other group, the two calculation results also correspond).

The last step might be tedious in some of the activities, so in some cases it might be appropriate to just perform some example calculations and convince yourself that all other example calculations will work similarly.

In some activities you will be asked to verify that two groups are not isomorphic to one another. This is more subtle, as technically it would require showing that there cannot exist a bijective, operation-preserving correspondence between the two. However, isomorphic groups are essentially the “same” group in different guises, and share all the same properties. So an efficient way to demonstrate that two groups are not isomorphic is to demonstrate a property that is different between the two groups. For example,

  • the groups have different numbers of elements;

  • one group is Abelian and the other is not;

  • one group is cyclic and the other is not;

  • one group has an element of a particular order and the other group has no elements with that order;

  • one group has a subgroup of a particular order and the other group has no subgroups with that order;

  • etc..

(Note that it is only necessary to demonstrate one property that is not shared by the two groups.)

Subsection External products

Definition 10.1.1. Product group.

Suppose \(G\) and \(H\) are groups. We can combine them into a new group \(G \times H\) as the collection of all ordered pairs

\begin{equation*} (g,h) \text{,} \end{equation*}

where \(g\) is a group element from \(G\) and \(h\) is a group element from \(H\text{.}\) The group operation (in multiplicative notation) in this product group is defined by

\begin{equation*} (g_1,h_1) \cdot (g_2,h_2) = (g_1 g_2, h_1 h2) \text{,} \end{equation*}

where in the first component of the ordered pair the group operation of \(G\) is used, and in the second component the group operation of \(H\) is used.

Example 10.1.2. The plane as a product group.

Recall that if we “forget” about the operation of scalar multiplication, a vector space is always an additive group. The vector space \(\R^2\) is defined to be the collection of all ordered pairs of real numbers,

\begin{equation*} (x,y) \text{,} \end{equation*}

and addition of ordered pairs is performed component-wise:

\begin{equation*} (x_1,y_1) + (x_2,y_2) = (x_1 + x_2, y_1 + y_2) \text{.} \end{equation*}

In other words, as an additive group, \(\R^2\) is precisely the product group

\begin{equation*} \R \times \R \end{equation*}

(hence the notation \(\R^2\)).

Though, since this is an additive group we are talking about, it might be more appropriate to call it a sum group instead of a product group. In linear algebra, this type of “product” is also often given additive notation:

\begin{equation*} \R^2 = \R \oplus \R \text{.} \end{equation*}

But in this course we will stick to multiplicative terminology and notation even when dealing with an additive group.

Subsection Internal products

Definition 10.1.3. Product set.

If \(H\) and \(K\) are two subgroups of a group \(G\text{,}\) write \(H K\) to mean the collection of all results of computing products

\begin{equation*} h k \text{,} \end{equation*}

where \(h\) is an element from \(H\) and \(k\) is an element from \(K\text{.}\)

Remark 10.1.4.

  • In the definition of the notation \(H K\) it is not really necessary that \(H\) and \(K\) are subgroups, just that they are both subcollections of the same group \(G\text{.}\) But the subgroup case is the only one in which we will be interested.

  • If \(G\) is an additive group, then \(H K\) actually consists of all results of computing sums

    \begin{equation*} h + k \end{equation*}
    where \(h\) is from \(H\) and \(k\) is from \(K\text{.}\) So in this context it might be more appropriate to write \(H + K\) for this collection of sums instead of \(H K\text{.}\)

Warning 10.1.5.

Even when \(H\) and \(K\) are subgroups of \(G\text{,}\) the internal product set \(H K\) is not necessarily a subgroup of \(G\text{!}\)