*In which we learn what a group is, and meet many examples.*

Here’s a quick summary of what we did in the lecture. The links are to places where you can read more (sometimes about the maths, sometimes about the mathematicians). Please feel free to use the comments facility!

- Definition of a
*binary operation*on a set. - Definition of an
*associative*binary operation. - Definition of an
*identity element*for a binary operation. - Proposition 1:
*Let be a binary operation on a non-empty set . If there is an identity , then it is unique.*This was a straightforward proof: we showed that if and are both identity elements, then . - Definition of an
*inverse*of an element (for a given binary operation). - Proposition 2:
*Let be an associative binary operation on a set , with an identity . Take . If has an inverse, then the inverse is unique.*Another straightforward argument showed that if and are both inverses for , then . - Definition of what it means for a subset to be
*closed*under a binary operation. - Definition of a
*group*. - Proposition 3:
*Let be a group, let , , , , let , . Then**;**;**;**;**if then ;**if then .*

The proof is an exercise in using the group axioms.

- Definition of an
*Abelian*group. - Definition of a
*cyclic*group.

### Understanding today’s lecture

We saw lots of examples and lots of non-examples of the various things defined in lectures. It is worth checking that you can show carefully from the definitions that examples and non-examples really are examples and non-examples (as appropriate). Can you come up with an additional example and non-example for each definition, perhaps drawing on things you’ve come across in other courses so far in Oxford?

You should have a go at proving the parts of Proposition 3 — I recommend proving enough of the parts that you feel confident that you could prove the rest without difficulty (if necessary, prove all six parts, it’s good practice!).

### Further reading

You’ll want to look at Richard Earl’s printed notes from when he lectured the course last year. These lectures are to a large extent based on his notes.

The internet is full of introductions to group theory, such as this very accessible article on NRICH, which motivates the ideas in a nice way and which links with things we’ll see in the next couple of lectures. It turns out I sort of wrote one myself on this blog a while back, looking specifically at some modular arithmetic (which we’ll meet later in the course but which you could read up on now in the blog post). Obviously Wikipedia has something to say on the subject, and if you want to know a little about the history of group theory then you could look here and here (this latter is based on a lecture given by Peter Neumann).

### Preparation for Lecture 2

Mattresses on beds need turning every so often, so that they wear evenly. What are the symmetries of a mattress? I can rotate it by certain amounts about certain axes (and still have a mattress that fits on my bed). Check that the symmetries of a mattress form a group (the binary operation here is doing one symmetry then doing another).

What are the symmetries of an equilateral triangle? They form a group, what is the size of the group?

What are the symmetries of a square? They form a group, what is the size of the group?

Can you generalise to a regular -gon?

If I give you two groups and (note that I have allowed them to have different binary operations), how might we turn the set into a group? That is, how might we define a binary operation on using the binary operations on and ?

February 20, 2015 at 11:20 am

[…] Expositions of interesting mathematical results « Groups and Group Actions: Lecture 1 […]

February 23, 2015 at 1:15 am

Unless you use a somewhat nonstandard notion of binary operation, don’t you mean “definition of what it means for a subset to be closed under a binary operation”?

February 23, 2015 at 8:47 am

Oops, yes, fixed now, thanks!

February 18, 2016 at 12:16 pm

[…] , or for some sensibly small like 4 or 5, or under addition modulo 2 (that was an example from Lecture 1). What’s the Cayley table for ? That would be a really good question to explore, it would […]