At this point you may be asking yourself, why do we care? We've covered a lot of definitions and proved some theorems, but what is the goal of all this? Well, there are actually many goals that we can achieve using such material. Consider the following as an example. Suppose we want to solve the equation \(5+x=2\text{.}\) We can probably solve this quite easily almost just by looking at it (\(x=-3\)), but what facts are we actually using there? If we break down the reasoning leading to this answer, we may obtain something like the following, where each line is equivalent to the one preceding it.

\begin{align*}
5+x\amp =2 \\
-5+(5+x)\amp =-5+2\\
(-5+5)+x \amp =-3\\
0+x\amp =-3\\
x\amp =-3.
\end{align*}
In the second line we add the inverse of \(5\) in \(\langle \Z, +\rangle\) to each side of the equation; in the third line we use associativity of \(+\) in \(\Z\) (along with computation); and in the fourth line we use the fact that \(-5\) is the additive inverse of \(5\) (that is, the inverse of \(5\) in \(\Z\) under \(+\)). Finally, we use the fact that 0 is an additive identity element in \(\Z\) (that is, the identity element in \(\Z\) under \(+\)).

In summary, we used *associativity, identity elements, and inverses* in \(\Z\) to solve the given equation. This perhaps suggests that these would be useful traits for a binary structure and/or its operation to have. They are in fact so useful that a binary structure displaying these characteristics is given a special name. We note that these axioms are rather strong; “most” binary structures aren't groups.

#####
Definition2.3.1

A *group* is a set \(G\text{,}\) equipped with a binary operation \(*\text{,}\) that satisfies the following three *group axioms*:

\(*\) is associative on \(G\text{.}\) (Axiom \(\G_1\))

There exists an identity element for \(*\) in \(G\text{.}\) (Axiom \(\G_2\))

Every element \(a\in G\) has an inverse in \(G\text{.}\) (Axiom \(\G_3\))

We denote group \(G\) under \(*\) by the binary structure notation \(\langle G,*\rangle\text{,}\) or simply by \(G\) if the operation \(*\) is known from context (or need not be known in the current situation).