Unused Cycles

June 3, 2008

What is a mathematical group? (Part 1)

Last semester, a friend of mine (who has now graduated with his B.S. in physics) asked me the question, “What exactly is a group?”

I was able to answer his question because I had already taken a course in elementary group theory. But I had also taken a course in particle physics, in which the Standard Model relies on groups, and I had not heard anything about defining a group in this class. For the uninformed student, it seemed like the lecturer was doing weird magic with groups and “adding” them together.

I will be writing this short introduction with the physics student in mind. Especially if the student is interested in any type of particle physics, this may be an interesting read.

To begin on the odyssey that is in store for a student of abstract algebra, it pays to know a bit of terminology.

Definition: A binary operation (sometimes law of composition) on a set G is a function \ast:G\times G\rightarrow G . That is, this function takes two elements of the set G and produces another in G. A more familiar way of looking at this for a physicist that has taken a course in linear algebra is that the set is closed under this operation, just as in a vector space – the sum of two vectors in a vector space V is another vector in that same set.

For example, addition (and subtraction as well) is a binary operation on the set of all integers \mathbb{Z}, for if one adds (or subtracts) two integers, the result is another integer.

Typically, this binary operation is not written in the usual fashion of writing a function of multiple variables \ast(g,h), but rather g\ast h. Normally, unless it leads to confusion, the \ast is dropped in favor of just writing gh as in normal multiplication.

Definition: The binary operation is associative if for every a,b,c in the set on which the operation is defined, (ab)c=a(bc). That is, the order of applying the binary operation has no effect on the outcome.

For example, if we examine the example of integers with addition as the binary operation, this binary operation is associative. However, if one takes the operation as subtraction, this is not associative (take, for example, 1 – (2 – 3) = 1 – (-1) = 2, but (1 – 2) – 3 = -1 – 3 = -4).

Definition: An identity element of a set G with a binary operation is an element e where es=se=s for any s\in G.

Note: Mathematicians like to use shorthand (hence all of the symbols used for different operations). The symbol \in is read “is an element of”. So the previous line s\in G is read “…for any s that is an element of G.”

Going back to the example of integers with addition, 0 acts as the identity here, because x+0=0+x=x for every x\in\mathbb{Z}.

Definition: Given an element s in a set G with a binary operation and identity element e, the inverse of s (usually denoted by s^{-1} where appropriate) is one such that ss^{-1}=s^{-1}s=e.

One last reference to the integers under addition shows that the inverse of an integer x is -x since x+(-x)=(-x)+x=0.

The punchline from all of this is the definition of a group:

Definition: A group is a set G together with a binary operation that has the property of associativity, an identity element, and inverses for each element in the set.

Next time, I’ll give some examples of groups and start proving some elementary theorems about them.

(Part 2)(Part 3)



  1. […] Tags: abstract algebra, associativity, closure, group, inverse, matrices trackback In my previous post, I gave the definition of a group. In this post, I will identify some examples of groups. My […]

    Pingback by What is a mathematical group? (Part 2) « Unused Cycles — June 4, 2008 @ 9:41 pm

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

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

  3. […] played by two people who know a bit about group theory (and by a bit, it’ll suffice to read my introduction to group theory). I found of the game in the book “Adventures in Group Theory: Rubik’s Cube, […]

    Pingback by The Gordon Game « Unused Cycles — August 4, 2008 @ 11:59 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 )

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

Blog at WordPress.com.

%d bloggers like this: