Group Theory Is Tough
Some musings on group theory
Isaacs honorary conference source |
Martin Isaacs is a group theorist emeritus from the University of Wisconsin, Madison. I just picked up a copy of his 2008 book, Finite Group Theory. Simple title; great book.
Today I want to make a few short comments about group theory.
I always hated group theory. Well not really hated it. But I have never been able to get decent intuition about groups.
Ken has a similar issue and puts it this way: We are “spoiled” by first learning about fields and rings with as all-pervading examples, then and for prime and non-prime . Each includes an additive group and (for the fields) a multiplicative group but is so much more. They combine to form other spaces such as and .
Groups alone seem neither to command such sway as individual mathematical objects nor to combine so prolifically. The group-based analogue of a vector space is called a module and feels like a similar “hole” in our intuition.
Ken remembers Martin, Marty, well having known him during Marty’s visit to Oxford in 1984. Marty was often found in the lobby or the tea room of the old Mathematical Institute animatedly talking about open problems and ideas for teaching. His “group” included Graham Higman, Peter Neumann, Hilary Priestley, Robin Gandy, and anyone who happened to stop by. Ken remembers geniality, openness, and great ways of putting things.
Groups and Complexity
Of course group theory is important in many parts of complexity theory. Here are two important examples of group theory open questions:
- How hard is group isomorphism?
- Are solvable groups as powerful as simple groups?
The latter is of course asking if a solvable group can be used like a non-abelian simple group in computing via bounded width programs. We have discussed both of these questions before: check out
this and this.
I definitely would suggest you look at Issacs’s book if you are at all interested in getting some insight into group theory. I have been looking at it and now feel that I have intuition about groups. Not much. But some. The issue is all mine, since the book is so well written.
A Remark
Issacs makes a cool remark in his book on group theory. Suppose that is a group with a non-trivial normal subgroup . Then often we can conclude that at least one of or is solvable. This can be done in the case that the orders of and are co-prime. The proof of this is quite amusing: it depends on two theorems:
Theorem 1 If and are co-prime numbers, then at least one of and is odd.
Theorem 2 Every group of odd order is solvable.
One of these is very trivial and the other is very non-trivial. I trust you know which is which.
Another Remark
Group theory uses second order reasoning, even for elementary results, quite often. This sets it apart from other parts of mathematics. A typical group theory result is often proved by the following paradigm:
Let be a subgroup of that is largest with regard to some property . Then show that dose not exist. or that must also have some other property .
When we are talking about finite groups then of course there are only finitely many subgroups and so the notion of “largest” involves nothing subtle. Moreover, one can transfer all this into first-order sentences about their string encodings. But the theory is really naturally second-order. For infinite groups the notion of maximal can be really tricky. For example, the group of all complex roots of unity over has no maximal subgroups at all.
Open Problems
Should we teach groups and modules in a richer fashion? Is it really hard to get intuition in group theory? Or is that just an example of why mathematics is hard?
[fixed name in line 1; fixed to “N and G/N” in section 3]
About struggling to get intuition for group theory, I used to do that too. I was largely cured by learning some universal algebra. In particular, I worked through much of A Course in Universal Algebra by Burris & Sankappanavar; the book is now available free online:
http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.pdf
Nowadays, I often mentally recast group-theoretic statements in the framework of universal algebra—and have found that to be generally really helpful. YMMV, of course.
Hi, Dick. In this quote from above, shouldn’t G actually be N?
Then often we can conclude that at least one of {G} or {G/N} is solvable. This can be done in the case that the orders of {G} and {G/N} are co-prime.
Thanks to you and Ken for the work y’all do on the blog!
Last month, I was talking to a collaborator, a semigroup theorist. He is looking at varieties of semigroups, and if the variety is generated by a single element, he arranges the Cayley tables of all the contenders in lex order and chooses the smallest. I remarked that the dihedral and quaternion groups of order 8 generate the same variety, and his method represents an arbitrary choice between them. He replied, “The trouble is, to group theorists, every group is a personal friend; but to semigroup theorists, there are so many semigroups that they are like sand on the beach.”
Maybe this is why outsiders have trouble with group theory — it is necessary to make friends with a lot of groups!
You have a typo in “Isaacs” at line 1
In the paragraph “A Remark”, it would seem that you several times wrote “G or G/N” where you meant “N or G/N”.
Thanks to you and two others above for these fixes.