This is a version of an elementary lecture I gave recently. At the end some questions raised or implied but not answered in the lecture are posed as exercises; these are cited along the way as Q1, Q2, etc. Some of them are less gentle than the lecture.

If symbols are not legible, refreshing the page usually restores them.

**Part 1. Groups of real numbers**

**1.0 Real numbers**

Consider the collection, or **set**, of all the numbers—what we usually mean by “numbers,” the so-called **real numbers**, positive, negative, and zero, comprising the whole numbers (integers), the fractions, and other numbers such as and These are the numbers which we often think of as associated to all the points of the **number line**. Let us call this collection Instead of calling its members numbers, we may call them elements; in general, the term **element** may be used of any member of a set of things.

**1.1 Groups of real numbers**

comes equipped with two principal **operations**, or **laws of composition**, namely addition and multiplication. These have certain properties in common.

1. They are **associative**, which means that how elements are grouped does not affect the result of performing the operations. That is, in the case of addition, for any elements hence the parentheses are unnecessary, and we write simply for the sum of three numbers. Likewise, for multiplication, so we write

1a. They are **commutative**, which means that the order of elements does not affect the result of performing the operations. Thus for any and and

2. Each operation has a two-sided **identity** element, namely for addition and for multiplication, with the property that combining it by the operation with any element leaves that element unchanged (identical to what it was). That is, for any and **Two-sided** means that combining with the identity gives the same result regardless of order: and Of course, this follows from no. 1a above; it is included here because later we will consider operations that may not be commutative.

3. For each operation, every element has a two-sided **inverse**, an element whose combination with by the operation, in either order, is the identity; with one exception, to be dealt with in a moment. For addition, the inverse of is For multiplication, the inverse of is The latter inverse is also written and that is the notation we will be using:

In the case of multiplication, there is one element which has no inverse, namely In comparison to addition, therefore, multiplication can be regarded as defective: it fails to possess property 3 completely. We may undertake to remove the defect by confining multiplication to a part of which does not contain the offending element. Since from our present (limited) point of view and the negative numbers serve merely to provide an identity and inverses for addition, if our concern is with multiplication alone we can cast them out, leaving only the **positive real numbers**, In this set every element has a multiplicative inverse, and the other properties, 1, 1a, and 2, still hold as well. Alternatively, we can be thriftier, removing from only the element that caused the problem. By so doing we obtain the **non-zero real numbers** In this set too multiplication has all of the properties 1, 1a, 2, and 3.

Because they have properties 1, 2, and 3, each of the following three sets-with-operations is called a **group** (**Q1**). And because they also have property 1a, each is an **abelian** group. (The adjective “abelian” means only that the operation is commutative.)

I. with the operation of addition

II. with the operation of multiplication

III. with the operation of multiplication

Group I can be called an **additive** group (that is, a group whose operation is written as addition), groups II and III **multiplicative** groups. We speak of and as the sets **underlying** the groups. Often a group is referred to by its underlying set, when the operation is understood; thus in our context “the group ” means the *additive* group of real numbers, group I.

**1.2 Distinguishing groups**

If we view our three sets of real numbers purely as the groups I, II, III, without regard to any other properties they have, we may ask: as groups, are they distinguishable? Is the behavior of their elements under the group operations alone sufficient to tell them apart? Are they somehow groups of different types?

In order to investigate this question, let us begin by applying each group operation in the simplest way, to a single element.

I. Given an arbitrary element of the additive group I, we first add it to itself, obtaining then add it to that result, obtaining and so on, so that we produce the sequence of numbers for all the positive integers What can be said about this sequence? There are two cases. If is the identity element every one of the numbers is If is not , none of these numbers is For if is positive, is greater than is greater than and so forth; while if is negative, is more negative than is more negative than and so forth.

II. Given an arbitrary element of the multiplicative group II, we proceed in the analogous way, multiplying it by itself to get then and so on, thus obtaining for every positive integer n. As before, there are two cases. If is the identity element every one of the numbers is If is not none of these numbers is For if is greater than is greater than is greater than and so forth; while if is less than is less than (for example, if ), is less than and so forth.

III. Group III is multiplicative too, so we again construct the sequence that is, for every As before, if is the identity element every one of the numbers is If is not we might at first expect that as in the preceding cases, none of these numbers could be and this is almost true, but there is one exception: when

We say that the element of group III is of **order** because is the least exponent of which makes it equal to the identity; that is, to the second power, but not to the first, equals More generally, for any positive integer an element of any multiplicative group is of order if but no lower power of equals the identity. If this is the case for some is said to be of **finite order**. Correspondingly, for an additive group, an element is of order if but no lower multiple of equals the identity. Of course in any group the identity itself is of order

We have shown that in groups I and II there are no elements of finite order apart from the identity, whereas in group III there is an element of order Thus we have a partial answer to the question asked above: on the basis of its character as a group alone, group III can be distinguished from the other two. It contains an element whose behavior under the group operation is unlike that of any element in the other groups.

**1.3 Isomorphism of groups**

Whether I and II can be distinguished from one another is as yet undecided. This question is precisely addressed by the concept of an **isomorphism** between two groups, which means (i) a one-to-one correspondence between the sets of elements, that (ii) respects or preserves the group operations. (This will be clarified presently.) We are asking whether I and II are **isomorphic**—whether there exists an isomorphism between them. If they are isomorphic, they cannot be distinguished by any test which relies solely on the behavior of their elements under the group operations.

An isomorphism between groups I and II, then, would be in the first place a one-to-one correspondence between their underlying sets; that is, a correspondence in which each element in one set is matched with exactly one element in the other:

(1)

(**Q2**). Secondly, suppose that under this correspondence an element of corresponds to the element of and an element to

Then for the correspondence to define an isomorphism, we must also have

and this will be the case for every and in and their counterparts in The result of combining two elements in one set corresponds to the result of combining the corresponding two elements in the other set. One group operation mimics the other.

It is an easy consequence of the definition that under an isomorphism identity elements and inverses correspond (**Q3**):

**1.4 Non-isomorphic groups**

Before undertaking to discover whether and are isomorphic, let us show that and are *not* isomorphic, by formulating the argument of §1.2 in terms of isomorphism. The proof will be by contradiction.

Suppose that there is an isomorphism

Then the identities correspond,

(In this case, unlike the one in §1.3, both groups are multiplicative, so both identities are ) The element in that we used before to distinguish it from the other two groups corresponds to some element, call it

Here because in the one-to-one correspondence must correspond to a different element from the one corresponds to. But since the operations correspond, we also have

Inasmuch as and corresponds to this implies that But is a positive number, and the only positive number whose square is is itself. Therefore which is a contradiction.

The same argument can be used to show that is not isomorphic to either (**Q4**).

**1.5 Isomorphic groups: exponential function and logarithm**

Now we consider the possibility of the isomorphism proposed in §1.3,

(1)

For this purpose we adopt functional notation, denoting the proposed isomorphism in the direction from left to right by the letter so that corresponding elements are written as follows:

Then on the one hand

and on the other

Hence the equation

(2)

holds for every and in It is a trivial matter to extend equation (2) to more than two summands:

and in general

(3)

This equation limits the forms can take. For consider first where is any positive integer. Writing as the sum of ones and applying (3), we have

with factors. If for the sake of economy we introduce the notation the preceding equality becomes

The value of on a positive integer is simply raised to the power Note that because

Next consider the value of on an arbitrary positive fraction , where and are positive integers. Since

we have

or

Taking th roots of both sides, we obtain

This formula, now proven for all positive fractions, obviously holds for as well, and can easily be extended to negative fractions. Thus for all **rational numbers**—numbers which can be expressed as fractions—the isomorphism has the form

(4)

where is a fixed but undetermined positive number (**Q5**). Since the rational numbers are everywhere thickly distributed among the real numbers—we say that they are **dense** in meaning that in every interval of real numbers, no matter how small, rational numbers are to be found—this strongly suggests that formula (4), as applied to *all* real numbers, should be tested to see whether it provides an isomorphism as in (1). In fact it can be shown that it does, for any value of and further, that there is a best (i.e., most convenient) choice for namely a number called whose value is approximately (The demonstration of these facts can be found in books on calculus and analysis.). Thus our groups I and II are indeed isomorphic, and the standard isomorphism in the direction from to is given by the **exponential function** which is also written

In the other direction the isomorphism is called the **logarithm**,

Hence we have the familiar law of exponents

and the corresponding property of the logarithm,

These relations, which connect the two fundamental operations on real numbers, are a primary reason why the functions and occur everywhere in mathematics and its applications.

The two functions have many other good properties besides defining the group isomorphism. In particular, they preserve the *order* of the numbers (“order” in the usual sense of arrangement by increasing size): if and likewise for ** **But seeing that the sets and are manifestly not the same in all respects, it cannot be that the functions establish perfect identity between them. Nor do they, since they fail to preserve the *difference* between numbers. For example,

but

That difference cannot be preserved by any order-preserving one-to-one correspondence between and is evident from the number line, where difference measures the distance between points (**Q6**).

**Part 2. The smallest groups**

**2.0 Finite groups**

Let us now turn from the familiar infinite to the unfamiliar finite. A **finite group** is one with finitely many elements. In this second part all groups will be finite, and we will be using multiplicative notation for them. The identity element of a group will be denoted by the letter a standard notation which has nothing to do with the number that defines the exponential function. Thus for any element and

A group will be indicated by listing its elements within curly brackets, thus: The number of elements in a group is called its **order**; as will soon become clear, this use of the term is closely related to the sense introduced in §1.2.

In a statement such as “There are exactly two groups of order ” the qualification “up to isomorphism” is to be understood. Strictly speaking, such a statement refers not to specific individual groups, but to isomorphism classes of them. Given two non-isomorphic groups and of order to say that these are the only groups of that order means that all groups of order are isomorphic either to or to

To determine a group of given order up to isomorphism, it suffices to set up the multiplication table for the group—to establish how all of the elements combine with one another under the law of composition. For the multiplication table completely determines that law, which any isomorphic group equally obeys. The examples that follow will illustrate this.

**2.1 Groups of orders 1 and 2**

Order 1

There is only one group of order namely with the rule

Order 2

A group of order has the form where We know what and are; what is ? There are two possibilities: or But if

whence or which is not the case. Therefore and the multiplication table is fully determined by the fact of there being just two elements; in other words, there is only one group of order It is obviously abelian.

Small though it is, the group of order is very important. One reason is that it can be regarded as describing an on-off switch—one that has two states, *off* and *on*. Given such a switch—a push-button, say—there are two actions that can be taken. One can *not push* the button, or one can *push* it. (The former of these would ordinarily be regarded as inaction rather than action; we regard it as null action.) Not pushing leaves the state of the switch, whether off or on, unchanged; pushing changes the state. Each action can be thought of as a transformation of the state of the switch, and two transformations can be combined by successive performance to yield a single transformation which has the same effect. The order of performance does not matter. Thus (i) *not pushing* followed (or preceded) by *pushing* is the same as *pushing*; (ii) *pushing* followed by *pushing* is the same as *not pushing;* etc. (We are not concerned with any effect that pushing the switch might have on something it controls, only with the switch itself.)

Let us represent the identity element of our group by the action of *not pushing* (which leaves the state of the switch identical to what it was), and the element by *pushing*; further, let us represent *multiplication* in our group by *successive performance* of actions. Under this interpretation, the group is exhibited as a **transformation group**, the two-element set of *transformations of the state of the switch*, transformations being combined by *successive performance*. The multiplication rule corresponds to (i) just above, the rule to (ii), and so forth.

Another application of this group is to a pair of things, such as the letters and which can stand in either of two orders: or (Here we are again using the word “order” in an ordinary sense.) To *permute* the letters means to change their order, and there are two possible permutations: one can *not change* the order, or one can *change* it. As with the on-off switch, permutations can be combined by successive performance. If we represent by not changing the order, by changing it, and multiplication by successive performance, we have a representation of our group as a **permutation group** on two letters. Lest this seem unimportant, it may be mentioned that the fact that a certain permutation group, a so-called **Galois group**, has order rather than is equivalent to the incommensurability of the diagonal and side of a square, the discovery of which so excited the ancient Greeks.

A numerical example of the group of order is the multiplicative group With the aid of this group we can express the group in terms of the group to which it was shown in §1.4 not to be isomorphic. To do this, we define a new group, the **direct product** of and written

as follows. The elements of the direct product are the **ordered pairs** (pairs written in a definite order) where is an element of and is an element of and multiplication of pairs is defined by the rule

It is easy to show that the direct product is a group, and that an isomorphism

(5)

is defined by

(**Q7**).

**2.2 Groups of orders 3, 4, and 5**

Orders 3 and 5

A group of order has the form Here must equal because just as in the order case while if which of the three elements will be? It cannot equal because that would imply

Nor can equal for in that case we would have

Similarly, cannot equal Thus the only possible value of is so there is only one group of order and it has the form It is readily seen that cannot equal or hence

The group of order is called a **cyclic** group, a designation which can be understood as signifying that the successive powers of one element cycle through all the elements of the group: A cyclic group, then, is one that contains an element whose order (in the sense of §1.2) is equal to the order of the group.

It is obvious that the groups of orders and are likewise cyclic. The numbers and are prime, and it is a fact that *every group of prime order is cyclic*. This follows from a general proposition, that in any finite group, *the order of every element divides the order of the group* (**Q11**). (Here **divides** means “is a divisor of,” “is a factor of.”) Given this, we conclude that as with order there is only one group of order namely a cyclic group of the form

There are cyclic groups of all orders, since given any positive integer we can simply define a group of elements by modifying the usual law of exponents for multiplication with the additional rule For each there is only one cyclic group of order and it is abelian. It can be represented as a group of transformations of the state of a dial with positions, multiplication by corresponding to turning the dial one step in a fixed direction, say counterclockwise.

Order 4

Besides the cyclic group there is one other group of order namely the abelian group with and It can be represented as a group of transformations of the state of *two* on-off switches. For given pushbuttons and there are four actions that can be taken: (i) push neither, (ii) push (iii) push (iv) push both. Representing by (i), by (ii), by (iii), by (iv), and multiplication by successive performance, as in §2.1 we obtain the desired representation of the group.

It is not difficult to show that there are no other groups of order (**Q8**).

Within the non-cyclic group we observe that there are three copies of the group of order namely and Each of these is a **subgroup** of the larger group, which means a part of a group which itself forms a group, under the same law of composition. A part of group forms a subgroup if it contains the identity element, the product of any two elements in it, and the inverse of every element in it.

**2.3 Groups of order 6**

As with order , there is only one group of order apart from the cyclic group. The demonstration of uniqueness is more difficult in this case; it can be carried out directly (**Q8**), or obtained with the aid of certain general results not provided here. As for existence, rather than beginning with the multiplication table of the group, let us derive it as a group of transformations of a geometrical object.

The object is an equilateral triangle, and the transformations to be considered are its symmetries. A **symmetry** of the triangle, as of any figure, is the alteration effected by a **rigid motion**—a moving of the triangle without changing its shape or size (thus with no bending, breaking, stretching, or shrinking)—which returns it to the place it was in before; that is, which brings it back into coincidence with itself as it was before the motion. As the figure below shows, there are six of these symmetries, including the identity symmetry [1]

We have denoted by **rotation** counterclockwise through —more precisely, the effect of that rotation; then is rotation through (The former of these has the same effect as a clockwise rotation through the latter as a clockwise rotation through ) There are also three **reflections** in the **axes of symmetry** indicated by the dashed lines (i.e., rotations out of the plane about those axes). Of these we have arbitrarily chosen one to be called Clearly is of order and of order The reflection below is given by the combination —first perform then —and also by and the third reflection is given by and also by The relations and completely determine multiplication in the **symmetry group** represented by the symmetries of the triangle. Known as the **dihedral group** of order it is **generated** by the two elements and called **generators**: all elements are expressible in terms of them. The same is true for other pairs of generators, for example the elements written and in our notation (**Q9**).

Here for the first time we encounter non-commutativity: The dihedral group of order is the smallest non-abelian group. It contains one subgroup of order namely the rotations (including the identity) and three subgroups of order one for each reflection: That these orders divide is a consequence of a general proposition, that in any finite group, *the order of a subgroup divides the order of the group* (**Q10**).

Why is the number of symmetries of the triangle six? Because a symmetry is a matter of assigning three vertices to three vertices. For example, assigns the vertex originally labeled to the vertex originally labeled etc. A first vertex ( say) may be assigned to any of three vertices; once that is done, a second vertex ( say) may be assigned to either of the remaining two vertices; the assignment of the third is then determined. There are three choices for the first assignment, and for each of these, two for the second; hence six in all.

Thinking of the symmetries in this way suggests a different, non-geometrical, interpretation of the dihedral group, as the permutation group (§2.1) on the three letters Assigning each letter to the one below it, we will have

and so forth.

We can say that the same **abstract** group of order **acts on** the triangle and on the letters, much as the abstract number 6 counts six eggs and six apples. What exactly “abstract” may mean is harder to say.

**Concluding remarks**

There is a great variety of groups, including transformation groups, geometrical and other, both finite and infinite. As an example of an infinite transformation group we note that the additive group introduced in §1.1 acts on its own underlying set of real numbers, or equivalently on the number line, by **translation**: an element of is interpreted as the action “add to each number,” or “shift rightward by the distance ” A similar action describes the classical transformation of velocities in kinematics; it was later replaced by a more complex relativistic one. Symmetry groups apply not only to linear and planar figures, but also to objects in higher dimensions, and are invoked in physical science to describe everything from the structure of crystals to the society of fundamental particles (**Q12**).

Since groups of prime order seem to be the simplest ones (§2.2), we might wonder whether they play a role among all the groups analogous to that of the prime numbers among the positive integers—that is, whether any group can somehow be constructed from, and decomposed into, groups of prime order, as the number is expressed as the product of primes (**Q13**). That is not the case, but there is a larger class of so-called simple groups in terms of which finite groups, at least, can be decomposed. A **simple **group is one which has no non-trivial *factors*, in a certain sense of that word not unrelated to the usual one (**Q14**); thus its definition, which arises from work of Galois in 1832, is formally similar to that of a prime number. But to identify and classify even the finite simple groups is a profound problem, first explicitly posed in 1892, and completely solved only in 2008, after decades of labor by a host of mathematicians.[2] The solution is a remarkable intellectual achievement.

**Questions**

**Q1**. Suppose it is given that a set with an operation satisfies condition 1 of §1.1, but only the following weaker forms of conditions 2 and 3: there is a **left** **identity** element i.e., one such that for every and every element has a **left** **inverse**, i.e., an element such that Are conditions 2 and 3 (in their full strength) then satisfied as well?

**Q2**. (a) Show that the set of positive integers can be put in one-to-one correspondence with a **subset**, or part, of itself. (b) Show that the same is true of every infinite set.[3] Thus a correspondence like (1) in §1.3, which matches the set with a subset of itself, is not a priori impossible.

**Q3**. Show that under an isomorphism identity elements and inverses correspond.

**Q4**. Rewrite the argument of §1.4, replacing by

**Q5**. Establish formula (4) of §1.5 for negative fractions.

**Q6**. Show that difference cannot be preserved by any order-preserving one-to-one correspondence between and (a) geometrically, using the number line, and (b) arithmetically.

**Q7**. (a) Verify isomorphism (5) in §2.1, defining it in the other direction. (b) Interpret the isomorphism in terms of the number line.

**Q8**. Show that: (a) there are only two groups of order both of them abelian; (b) there are only two groups of order

**Q9**. Show that the dihedral group of order is generated by any two reflections.

**Q10**. Let be a subgroup of a finite group For any element of define the **left coset** to be the set of all the products where runs through all the elements of Show that: (a) all left cosets have the same number of elements; (b) two left cosets, if not identical, have no elements in common; (c) the order of divides the order of

**Q11**. Show that: (a) the powers of any element of a group form a cyclic subgroup; (b) the order of any element of a finite group divides the order of the group. (c) What subgroups does a cyclic group have?

**Q12**. (a) Determine the symmetry group of the square. (b) Describe the symmetry group of the circle, specifying a set of generators.

**Q13**. (a) Show that the non-cyclic group of order is the direct product (§2.1) of two groups of order (b) Which group of order is the direct product of the group of order and the group of order ? (c) Generalize to the direct product of groups of unequal prime orders. (d) Generalize further to groups whose orders are **relatively prime**, i.e., have no factors besides in common.

**Q14**. Let be a subgroup of a finite group whose order is Define the **right cosets** analogously to the left cosets (**Q10**). is a **normal** subgroup if for every in The group is **simple** if it has no normal subgroups other than and itself. (a) If is normal, show that the cosets of form a group under the operation This group is called the **factor group** What is its order? (b) Which of the groups of orders from to are simple? (c) For the ones that are not, determine their normal subgroups and the corresponding factor groups.

[1] Thanks to Joshua Comenetz for producing the figure.

[2] See http://en.wikipedia.org/wiki/Classification_of_finite_simple_groups , especially the timeline, and the following article cited there: Solomon, Ronald (2001), “A brief history of the classification of the finite simple groups”, *American Mathematical Society. Bulletin. New Series* **38** (3): 315–352, doi:10.1090/S0273-0979-01-00909-0 .

[3] One might not realize that the argument depends on a weak form of the set-theoretic **axiom of choice**.

## 2 comments

Comments feed for this article

August 4, 2015 at 9:20 am

DaveExcellent post🙂. Do you plan on writing a follow up to your calculus book?

August 8, 2015 at 1:03 pm

Michael ComenetzThank you, I’m glad you enjoyed it. No, I’m afraid I don’t plan a follow-up to the calculus book. This was merely an informal lecture, such as I give from time to time, usually without writing them up; having written this one, I posted it here. There is a more recent book mentioned in About this blog, but the subject is rather different.