This will be my last post in this little series I’ve started on group theory. Here are parts one and two.

In part one, I defined the terminology needed to identify the axioms for a group. In part two, I gave examples of a group, and began a short taste of what group theory is all about (doing things abstractly). In this part, I’ll giving an only slightly more involved introduction to proofs in group theory, as well as introduce some other so-called “algebraic structures” other than groups.

Previously, I showed that the identity element is unique within a group. Is the same true for an inverse of an element within a group? That is, given an element within a group, is there only one element such that ? The claim is:

**Theorem**: An element within a group has a unique inverse.

Proof: Again the argument is by contradiction. Suppose that there are two elements that have this property, and . Then

.

We can define the power of an element in a group, to be just as expected. We can also define it inductively so that for positive .

Note that there is nothing in the definition of the group that states that it is necessary that for an . This is, in general, not true. Recall that non-singular matrices under matrix multiplication are a group. But matrix multiplication is not always commutative. A group for which every element commutes with every other element is called abelian. Just a small theorem involving abelian groups is the following:

**Theorem**: If for every element , then is abelian.

Proof: We can take two elements so that since we’re inside a group. Then by assumption . But we also have so that . Right multiplying by and left multiplying by gives , the desired equality.

The theory of groups is much more involved and complicated than just simple theorems that show a certain property such as uniqueness of an element or that one property implies another. For further reading on the topic of groups, try reading about cosets, Lagrange’s Theorem, permutations, and isomorphism of groups. You can also try reading the online textbook that we used for my course in abstract algebra here, though be warned it goes more in depth than the topics presented here – it’s definitely for somebody who is not just mildly interested in the subject.

In closing, I’ll introduce other common algebraic structures without doing anything with them.

**Definition**: A *commutative ring* is a set with two binary operations, and that has the following properties for every :

- Additive Commutativity:
- Additive Associativity:
- Additive Identity: There exists an element, 0, such that
- Additive Inverses: There exists an element such that
- Multiplicative Commutativity:
- Multiplicative Associativity:
- Multiplicative Identity: There exists an element 1 such that
- Distributivity:

Notice that this definition says that the set is an abelian group under addition, but it is important to note that it is *not* a multiplicative group (there is no guarantee of a multiplicative inverse). Examples of rings include the non-negative integers with addition and multiplication, rational numbers with addition and multiplication, and the real numbers with addition and multiplication. The set of real matrices with matrix multiplication and addition do not form a commutative ring since they are not commutative under multiplication. They do, however, form a “non-commutative” ring.

The next definition “fixes” multiplication in a ring so that it is (almost) a multiplicative group.

**Definition**: A *field* is a commutative ring where every non-zero element has a multiplicative inverse.

Of the previous rings identified, only the rational and real numbers are fields.

The last definition I’m going to give will be a familiar one to most physicists (as they’ve almost surely taken a course in linear algebra).

**Definition**: A *vector space over a field* is a set of elements called vectors together with a binary operation + on and a function called scalar multiplication (the asterisks is again usually dropped). Given and , the following properties hold:

- Additive Associativity:
- Additive Commutativity:
- Additive Identity: There exists a vector, called 0, such that
- Additive Inverse: There exists a vector such that
- Vector Distributivity:
- Scalar Distributivity:
- Multiplicative Associativity:
- Multiplicative Identity: Given the multiplicative identity in ,

The reader familiar with linear algebra knows that and is a vector space. Other examples include and as the set of all polynomials of degree less than or equal to .

That’s it for this introduction to abstract algebra. Give me your thoughts if you found it interesting!

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

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

[…] What is a mathematical group? (Part 3) In this part, I’ll giving an only slightly more involved introduction to proofs in group theory, as well as introduce some other so-called “algebraic structures” other than groups. Previously, I showed that the identity element is … […]

Pingback by » What is a mathematical group? (Part 3) 3 Some: What The World Is Saying About 3 Some — June 11, 2008 @ 6:57 pm

Sorry for a stupid question:

Where do those names come from? Are there any intuitive reasons for using them? For example, why is the object as defined called ring but not something else? Any relation to the ordinary meaning of the word?

Comment by Ben — August 25, 2008 @ 7:19 pm