Introduction to Abstract Algebra: Part 1 - Introduction to Groups
Introduction to Abstract Algebra: Part 1
Last year I took the classes Abstract Algebra I and II from the great Joseph Gallian who literally wrote the book on abstract algebra. I loved the classes and learned a lot. This is why I decided to write this series of posts.
Part One - Introduction to Groups
Part Two - Cyclic Groups and Subgroups
Part Three - Review and the Symmetric Group
In school growing up, I learned that "algebra" was the study of equations and variables.
Wikipedia defines Algebra as the study of mathematical symbols and the rules for manipulating those symbols.
Wikipedia also mentions the interesting fact that the word "algebra" comes from the Arabic word "al-jabr" which means "reunion of broken parts" which should seem familiar if you've ever solved an equation or done any regression or "completed" the square etc...
A huge part of this study ends up being "Abstract" algebra. This refers to the study of algebraic structures such as "groups", "rings", "integral domains" ,"fields", "modules", etc... which each have more and more structure. The practical motivation for studying such structures is that they were specifically designed to model the theoretical properties of real world systems.
What is a group?
A group is a set, G, with a binary operation (lets call it *) and the following additional structure:
- Closure - if a,b are in G, then a*b is in G
- Associativity - (a*b)*c = a*(b*c)
- Identity - G must have one element, e, where e*b = b for all b in G
(i.e. a "do nothing" element) - Inverses - For every element, a, in G there must be a b in G such that a*b = e
Make sure you understand these properties firmly before trying to understand some of the rest of the material since these are fundamental to everything that follows
Associativity is often confused with Commutativity...(or at least I confuse them often)...So note that a group DOES NOT NEED TO BE COMMUTATIVE. (i.e. a*b = b*a need not be true)
If a group HAPPENS to be commutative, then it is sometimes called "abelian" after this guy.
Important Examples of Groups:
Cyclic Groups
For the sake of clarity, we will use the symbol "+" for our operation here since the operation is *basically* addition...however if you see multiplicative notation elsewhere, realize that it's an arbitrary convention and that they still mean the same thing if they're talking about cyclic groups.
Consider the set {0,1,2,3,4}.
Let "+" be addition where the result is taken modulo 5.
(This means that 0=5=10=15=..., 1=6=11=16=...,2=7=12=17=...,3=8=13=18=..., and 4=9=14=19=...)
So...how is this a group?
It's a group because it has the group properties:
- Closure - (i.e. 4+3 = 2 and you can never get a number outside {0,1,2,3,4})
- Associativity - (a+b)+c = a+(b+c) (regular addition is anyway, but check for yourself)
- Identity - 0 is a "do nothing" element or Identity for this group.
- Inverses - Every element has an inverse...(0+0=0, 1+4=0, 2+3=0)
Dihedral Groups
The plane symmetries of any regular polygon form a group called the Dihedral Group and the name for the group of symmetries of an n-gon is Dn.
Let's look at the symmetries of a square for example.
(when we talk about "Symmetries" we're talking about "rotations" and "reflections".)
You can rotate the square 0,90,180, or 270 degrees.
You can also reflect horizontally,vertically, or across either diagonal.
This means that D4 has 8 elements. (indeed Dn will always have 2n elements).
Now consider a 90 degree turn clockwise and then a horizontal flip.
This is the same as a flip (reflection) across a diagonal!
This would be written as R90*H=D1
(if R90 is the element corresponding to rotating 90 degrees, H corresponds to a horizontal flip, and D1 means reflecting across the first diagonal)
So...how is this a group?
It's a group because it has the group properties:
- Closure - Any sequence of reflections or rotations will give you back a different one that is in the group.
- Associativity - (a*b)*c = a*(b*c) (check it out for yourself)
- Identity - R0 is a "do nothing" element or Identity for this group.
- Inverses - Every flip is its own inverse and R90*R270 = R0 and R180*R180 = R0
Thanks. Just a suggestion: perhaps a post on what commutative really means. The term almost never appears in school algebra so students have no insight that ab=ba is in any way profound! I often show them silly real-world examples, such as a=1 step foward, b=turn 180 degrees.
Great Idea! Thanks!
This is sounding like groundwork I have encountered in my recent journey into category theory :)
I've never taken a class on category theory, but my brother, @mckeown12, tells me it's like math on math...lol Sounds like cool stuff.
I have not studied formally but have been looking into a a while. For me is a form of math so abstract there is very little math involve, This is coming from a programming perspective. To me it just feels like another programming language :)
@mckeown12, @doosen11 any suggestions?
I like it! I've heard that a few math programs have been experimenting with introducing fields before groups, since students already are familiar with two great examples (the real numbers and the complex numbers). From there, it is easy to introduce finite fields, and then remove structure and talk about more general objects like PIDs, UFDs, domains, rings, and groups.
Yeah I had a class (applied algebra and cryptography) where the professor introduced Rings first...IDK, I think I liked the way it's introduced in Gallian's book better.
Seriously if my post just confused you...watch the video! It's awesome!
3Blue1Brown is the name of the YouTube Channel and their stuff is amazing!