Skip to main content

Section 2.2 Discovery guide

Group axioms.

A pair \((G,\star)\) consisting of a collection \(G\) and a binary operation \(\star\) on \(G\) is a group if the following four conditions are met.

  1. Closure.

    The collection \(G\) is closed under the operation \(\star\text{.}\) This means that when \(g_1,g_2\) is a pair of objects from \(G\text{,}\) then the operation result \(g_1 \star g_2\) is always some object from \(G\text{.}\)

  2. Associativity.

    The operation is associative. This means that when \(g_1,g_2,g_3\) is a triple of objects from \(G\text{,}\) then the results of computing \((g_1 \star g_2) \star g_3\) and \(g_1 \star (g_2 \star g_3)\) are always the same.

  3. Identity.

    The collection \(G\) contains an identity/unity/neutral element, denoted \(e\text{,}\) so that

    \begin{align*} e \star g \amp = g, \amp g \star e = g \end{align*}
    are both true for all objects \(g\) in \(G\text{.}\)

  4. Opposites.

    Each object \(g\) in the collection \(G\) has an corresponding opposite object \(\tilde{g}\) so that both

    \begin{align*} g \star \tilde{g} \amp = e, \amp \tilde{g} \star g = e \end{align*}
    are true.

You may wish to refer back to Section 2.1 for the multiplicative and additive rewrites of these axioms.

Discovery 2.1.

Which of the following collections are groups under the operation of addition? For those that are, make sure you know what the identity object is and what is meant by “an object's opposite.”

(a)

The collection

\begin{equation*} \Z = \{ \dotsc, -3, -2, -1, 0, 1, 2, 3, \dotsc \} \end{equation*}

of integers.

(b)

The collection \(\R\) of real numbers.

(c)

The collection of all \(m \times n \) matrices (for fixed choice of \(m\) and \(n\)).

(d)

The vector space \(\R^2\text{.}\)

Discovery 2.2.

Which of the following collections are groups under the operation of multiplication? For those that are, make sure you know what the identity object is and what is meant by “an object's opposite.”

(a)

The collection

\begin{equation*} \Z = \{ \dotsc, -3, -2, -1, 0, 1, 2, 3, \dotsc \} \end{equation*}

of integers.

(b)

The collection \(\R\) of real numbers.

(c)

The collection of all square \(n \times n \) matrices (for fixed choice of \(n\)).

(d)

The collection of all \(m \times n \) matrices (for fixed choice of \(m\) and \(n\)).

Discovery 2.3.

Some of the collections that failed in Discovery 2.2 can be “fixed” by restricting to a smaller collection. Determine which of those collections can be fixed this way, and the specific smaller collection that makes things work.

Discovery 2.4.

(a)

A vector space comes equipped with two operations, addition and scalar multiplication, while a group only has one operation. If we “forget” about the operation of scalar multiplication, verify for yourself that four of the five addition axioms for a vector space are precisely the additive group axioms.

(b)

There are five addition axioms for vector spaces but only four axioms for groups. What special property does that “extra” addition axiom confer upon vector spaces?

Discovery 2.5.

The abstraction of the group axioms treats addition and multiplication as two examples of the same phenomenon: a binary operation that exhibits certain algebraic patterns.

But sometimes multiplication and addition really are the same thing in one example! Consider the collection \(G\) of \(2 \times 2\) matrices that have the form

\begin{equation*} \begin{bmatrix} 1 \amp a \\ 0 \amp 1 \end{bmatrix} \text{,} \end{equation*}

for all possible different values of the parameter \(a\text{.}\) This collection forms a group under the binary operation of matrix multiplication.

(a)

Compute the product

\begin{equation*} \begin{bmatrix} 1 \amp a \\ 0 \amp 1 \end{bmatrix} \begin{bmatrix} 1 \amp b \\ 0 \amp 1 \end{bmatrix} \text{.} \end{equation*}

What is the pattern of multiplication in this group?

(b)

What matrix acts as the identity in this group, and what is the corresponding value of the parameter \(a\) for that identity object?

(c)

Given matrix

\begin{equation*} \begin{bmatrix} 1 \amp b \\ 0 \amp 1 \end{bmatrix} \end{equation*}

in this collection, where we have replaced parameter \(a\) by the arbitrary value \(b\text{,}\) what is its inverse? What value has replaced parameter \(a\) in this inverse?

We have seen another process in our past mathematical experience that

  • turns multiplication into addition,

  • turns the additive identity \(0\) into the multiplicative identity \(1\text{,}\) and

  • turns multiplicative inversion into additive negation.

That process is exponentiation!

\begin{align*} e^a e^b \amp = e^{a + b} \amp e^0 \amp = 1 \amp \inv{(e^a)} = e^{-a} \end{align*}

Could the mapping

\begin{equation*} a \mapsto \begin{bmatrix} 1 \amp a \\ 0 \amp 1 \end{bmatrix} \text{,} \end{equation*}

sending parameter values to \(2 \times 2\) matrices of this particular form, also be some sort of “higher-dimensional exponentiation?”

Discovery 2.6.

For the collections examined in Discovery 2.1 and Discovery 2.2 you probably just said “Yes, of course” when considering the associativity axiom. But it's important to know exactly what associativity means and how to actually check it.

Consider the twelve rotational symmetries of a regular tetrahedron, as explored in Topic 1. (Consider these as geometric transformations, not as rotation matrices. So the group operation is composition of transformations.)

Specifically, referring to the reference tetrahedron in Figure 1.0.2, consider

  • Rotation \(R_1\).

    Rotation about the axis passing through the white vertex and the centroid of the opposite face, counter-clockwise (when looking through the white vertex toward the opposite face), by angle \(2 \pi / 3\text{.}\)

  • Rotation \(R_2\).

    Rotation about the axis that passes through the blue vertex and the centroid of the opposite face, counter-clockwise (when looking through the blue vertex toward the opposite face), by angle \(2 \pi / 3\text{.}\)

  • Rotation \(R_3\).

    Rotation about the axis that passes through the midpoints of the white-red and blue-green edges by angle \(\pi\text{.}\)

(a)

The composite transformation \(R_2 R_3\) is the result of first performing \(R_3\) and then \(R_2\text{.}\) (Careful: Since this is really composition of functions, it is the right-most transformation that is applied first!) This composite is also a rotation — just as you did in the activities of Topic 1, determine the axis and angle of rotation by examining where the colour-coded vertices end up.

Hint.

Recall from your experience creating a table of rotations in Task b of Discovery 1.5 that a rotation around a vertex-face axis always fixes the vertex the axis pass through, while a a rotation around an edge-edge vertex never fixes a vertex but instead interchanges the vertices at either end of the edges that the axis passes through.

(b)

Now take your understanding of the composite transformation \(R_2 R_3\) as a single rotation and perform the same sort of analysis to determine the axis and angle of rotation of the composite transformation \((R_2 R_3) R_1\text{.}\) (Remember: In this composition, \(R_1\) is applied first.)

(c)

Finally, repeat the two-step analysis of Task a and Task b but with the other choice of grouping: first describe the composite \(R_3 R_1\) as a single rotation, then use that description to determine the composite \(R_2 (R_3 R_1)\) as a single rotation.

(d)

Did the results of your geometric analyses in Task b and Task c match?

Discovery 2.7.

Can a group contain two different objects that satisfy the identity axiom? The identity axiom just says that \(G\) must contain an identity element, but doesn't restrict how many such objects there might be.

Suppose \(G\) is a group with objects \(e_1\) and \(e_2\) that each satisfy the identity axiom. That is, both

\begin{align*} e_1 \star g \amp = g, \amp g \star e_1 = g \end{align*}

are true for all objects \(g\) in \(G\text{,}\) and so are both of

\begin{align*} e_2 \star g \amp = g, \amp g \star e_2 = g \text{.} \end{align*}

Using two of the four equalities above, “simplify” the expression

\begin{equation*} e_1 \star e_2 \end{equation*}

in two different ways to discover the answer to the question posed at the beginning of this activity.

Discovery 2.8.

Can an object in a group have two different corresponding opposite objects? The opposites axiom just says that each object must have a corresponding opposite, but doesn't restrict how many such objects there might be.

Suppose \(g\) is an object in a group \(G\) so that there exist objects \(\tilde{g}_1\) and \(\tilde{g}_2\) that each satisfy the opposite axiom for \(g\text{.}\) That is, both

\begin{align*} g \star \tilde{g}_1 \amp = e, \amp \tilde{g}_1 \star g = e \end{align*}

are true, and so are both of

\begin{align*} g \star \tilde{g}_2 \amp = e, \amp \tilde{g}_2 \star g = e \text{.} \end{align*}

Using two of the four equalities above, along with the associativity and identity axioms, “simplify” the expression

\begin{equation*} \tilde{g}_1 g \tilde{g}_2 \end{equation*}

in two different ways to discover the answer to the question posed at the beginning of this activity.

For the next two activities, make sure you understand how the opposites axiom specifies exactly how to answer the question “What is the opposite/inverse/negative of object \(g\text{?}\)” — the opposite of \(g\) is the precise object that fills in the blanks of both of the equalities

\begin{align*} g \star \fillinmath{XXX} \amp = e, \amp \fillinmath{XXX} \star g = e \text{.} \end{align*}

Discovery 2.9.

What is the opposite of the identity? As above, your formula should successfully fill in both blanks below.

\begin{align*} e \star \fillinmath{XXX} \amp = e \amp \fillinmath{XXX} \star e = e \end{align*}

Discovery 2.10.

(a)

Determine the formula for the opposite of a product \(x y\) in terms of the opposites \(\tilde{x}, \tilde{y}\) of the individual factors. As above, your formula should successfully fill in both blanks below.

\begin{align*} (x y) \star (\fillinmath{XXXXX}) \amp = e \amp (\fillinmath{XXXXX}) \star (x y) = e \end{align*}
Hint.

It's not \(\tilde{x} \tilde{y}\text{!}\)

(b)

Interpret your formula from Task a in the multiplicative context:

\begin{equation*} \inv{(x y)} = \fillinmath{XXXXXXX} \text{.} \end{equation*}
Hint.

Once again, the answer is not \(\inv{(x y)} = \inv{x} \inv{y} \) !

(c)

Interpret your formula from Task a in the additive context:

\begin{equation*} - (x + y) = \fillinmath{XXXXXXX} \text{.} \end{equation*}
Hint.

Unfortunately, the answer is neither

\begin{equation*} - (x + y) = - x - y \end{equation*}

nor

\begin{equation*} - (x + y) = (- x) + (- y) \text{.} \end{equation*}

As usual, for positive integer \(n\) and element \(g\) in a multiplicative group \(G\text{,}\) we write \(g^n \) to mean

\begin{equation*} g g \dotsm g \text{,} \end{equation*}

the product of \(n\) factors of element \(g\text{.}\) If \(n\) is negative, then we take \(g^n\) to mean the product of \(\abs{n}\) factors of the inverse of \(g\text{.}\) By convention, we also take \(g^0 \) to always mean \(e\text{,}\) the multiplicative identity in \(G\text{.}\)

In an additive group, we use similar additive notation: for positive \(n\) write \(n \cdot g \) to mean

\begin{equation*} g + g + \dotsb + g, \end{equation*}

the sum of \(n\) terms of element \(g\text{.}\) If \(n\) is negative, take \(n \cdot g\) to mean the sum of \(\abs{n}\) terms of the negative (i.e. additive inverse) of \(g\text{.}\) And we take \(0 \cdot g \) to always mean \(0\text{.}\) (Careful: there are two different zeros here — one is the integer \(0\) and one is the additive identity in the group \(G\text{,}\) and they are not the same!)

Discovery 2.11.

(a)

Suppose \(g\) is an element of a multiplicative group \(G\text{.}\) What does the pattern from Task b of Discovery 2.10 say about the inverse of \(g^2\text{?}\) Extrapolate to a statement about the inverse of \(g^n\text{.}\)

(b)

Suppose \(g\) is an element of an additive group \(G\text{.}\) What does the pattern from Task c of Discovery 2.10 say about the negative of \(2 \cdot g\text{?}\) Extrapolate to a statement about the negative of \(n \cdot g\text{.}\)

One method of analyzing and keeping track of the rotational symmetries of the tetrahedron from Topic 1 is to determine how the rotation moves around the colour-coded vertices. If we focus only on the change in positions of the colour-coded vertices and ignore the geometric process of rotation that brought about this change in positions, then essentially we are considering each rotational symmetry to be a process of “mixing up” or permuting the vertices. The next activity establishes a basic property of groups that will eventually let us conclude that all groups are somehow collections of permutations.

Discovery 2.12.

Suppose \(x, y\) are objects in a group \(G\text{.}\) Demonstrate that there exist objects \(w, z\) in \(G\) (by obtaining formulas for \(w\) and \(z\) in terms of \(x\) and \(y\)) so that both

\begin{align*} w x \amp = y, \amp x z \amp = y \end{align*}

are true.

sites.ualberta.ca/~jsylvest/books/DLA1/section-abstract-vec-spaces-concepts.html#definition-abstract-vec-spaces-concepts-abstract-vec-space