Unused Cycles

June 4, 2008

What is a mathematical group? (Part 2)

Filed under: Mathematics — Tags: , , , , , — Kevin @ 9:41 pm

In my previous post, I gave the definition of a group. In this post, I will identify some examples of groups. My objective for this post is to show that many different objects (not just numbers) fit the bill for a group, and so it may be easier to prove things for a group abstractly (that is, without any particular group in mind) using just the properties of the definition of a group.

Example 1: As in the previous post, the integers form a group under addition.
Proof: A general property of addition of integers is that the sum of two gives another. The operation can also be taken for granted to be associative. Previously, I identified 0 as the identity element, and the negative of an element to be its inverse.

(Non) Example: The integers under multiplication do not form a group.
Proof: The operation of multiplication is indeed a binary operation, and it is associative. The identity element is 1 because 1x=x1=x for every x\in\mathbb{Z}. However, no element other than 1 itself has an inverse. Indeed, when multiplication is the operation, the inverse of x is 1/x, but the only x for which this is an integer is x=1. Furthermore, 0 does not even have an inverse in any set of numbers since 0x=x0=0\ne 1. Hence (\mathbb{Z},\times) is not a group.

Example 2: To fix the previous problem, consider the set \mathbb{Q}\setminus\left\{0\right\}, that is, the set of all rational numbers (fractions) minus the number 0, with the operation of multiplication. I will leave it to the reader to verify that this does indeed form a group.

Example 3: Consider the set of all n\times n non-singular (that is, invertible) matrices, together with matrix multiplication. The reader familiar with matrix algebra will be able to easily show that these form a group.

Example 4: One can also form groups out of objects that aren’t necessarily numbers. For example, consider the symmetries of an equilateral triangle, as shown below in the picture.

The symmetries of an equilateral triangle

The picture on the left involves flipping the triangle around the axis indicated. The picture on the right involves rotating the triangle, by either 120°, 240°, or 360°. Any of these operations will return an equilateral triangle in the same orientation as the original.

Call rotation by 120° the element \rho, rotation by 240° \rho^2. Clearly, rotation by 360° leaves the triangle unchanged, so let’s call that e, the identity operation. Call the flip furthest left f_1, the middle flip f_2, and the right flip f_3. By labeling the vertices, we can then combine the operations to get a new orientation. For example, a rotation by 120° followed by a rotation by 240° gives a total rotation by 360°. That is, \rho^2\rho=e. Notice that the operations in this notation are applied right to left – that is, first we applied \rho followed by \rho. The set with these operations has the “multiplication table” shown below:

\begin{array}{c||c|c|c|c|c|c} \cdot & e & \rho & \rho^2 & f_1 & f_2 & f_3\\\hline\hline e & e & \rho & \rho^2 & f_1 & f_2 & f_3\\\hline \rho & \rho & \rho^2 & e & f_2 & f_3 & f_1\\\hline \rho^2 & \rho^2 & e & \rho & f_3 & f_1 & f_2 \\\hline f_1 & f_1 & f_3 & f_2 & e & \rho^2 & \rho \\\hline f_2 & f_2 & f_1 & f_3 & \rho & e & \rho^2 \\\hline f_3 & f_3 & f_2 & f_1 & \rho^2 & \rho & e \end{array}

The table is read by taking the row times the column. So for the row marked f_2 and the column marked \rho, the result is f_2\rho=f_1. That is, rotating first by 120° and then flipping along the centerline of the result is the same as flipping the triangle about the f_1 line.

One can check using this table that these operations form a group. Clearly, rotations and flips give another rotation or flip, so the operation is indeed a binary operation. The indentity is rotation by 360°, and each element does indeed have an inverse (for example, \rho^{-1}=\rho^2 since \rho\rho^2=\rho^2\rho=e; this can be checked for each and every element). And the operations are associative, though to show this is left as an exercise to the reader.

One beautiful thing about groups is that a very broad spectrum of objects can be shown to exhibit the properties of a group. It is much more attractive, then, to show things about a group abstractly than it is to show it for a certain set of objects.

For example, notice that in each of the groups in the above examples only had one identity element. This is actually true of any structure that is a group. Hence, the following theorem.

Theorem: In a group, the identity element is unique.
Proof: Suppose that there are two identity elements, e and f. Then by applying properties of the identity element, we have

e=ef=f.

Because there was no reference to integers with addition, rationals with multiplication, invertible matrices, or symmetries of a triangle, I have simultaneously proven that the identity element of each of these structures is unique! Indeed, I have shown it for the countless numbers of groups that one can construct. That is the power of working abstractly!

Next time I’ll start proving a few other useful properties of groups.

(Part 1)(Part 3)

Advertisements

2 Comments »

  1. […] What is a mathematical group? (Part 3) June 11, 2008 Posted by Kevin in Mathematics. Tags: abstract algebra, complex numbers, field, group theory, real numbers, rings, vector space trackback This will be my last post in this little series I’ve started on group theory. Here are parts one and two. […]

    Pingback by What is a mathematical group? (Part 3) « Unused Cycles — June 11, 2008 @ 6:22 pm

  2. […] 1)(Part 2) (Part 3) Possibly related posts: (automatically generated)What is a mathematical group? (Part […]

    Pingback by What is a mathematical group? (Part 1) « Unused Cycles — June 11, 2008 @ 6:25 pm


RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Create a free website or blog at WordPress.com.

%d bloggers like this: