13
$\begingroup$

Most of the group theory that is taught in introductory graduate classes is of the form $$(\mbox{number theory} + \mbox{ group actions} + \mbox{ orbit-stabilizer thm}) + \mbox{group axioms} \Rightarrow \mbox{theorems}$$ So what is the equivalent of "(number theory + group actions + orbit-stabilizer thm)" in the more advanced parts of group theory?

To clarify based on some comments: The techniques I learned in a graduate group theory class were just the orbit-stabilizer thm + some number theory + Lagrange's thm. Adding in some more constructions like semi-direct products allows one to make some inroads into some less elementary parts of group theory, i.e. we get some classification theorems for groups of small order with the help of Sylow theorems which is really just clever number theory + orbit-stabilizer theorem. So I would like to expand my toolbox a little bit by seeing what other tools are used in more advanced group theory but are still applicable to the elementary parts of group theory like classifying groups of small order.

Tidbits collected from comments: Kevin McGerty makes some excellent points about the extension of the theory from actions on sets which allow number theoretic arguments to actions on vector spaces which increase the sophistication and depth of the theory. The move from mere sets to vector spaces allows the use of linear algebra as another tool which in turn allows some tools from homological algebra to enter into the game.

$\endgroup$
11
  • 3
    $\begingroup$ It's not clear to me what group theory is taught in an introductory graduate class, as it'll vary a lot by the teacher and school. So to understand your question I'd like more details about the kind of results you're referring to and which kinds of more advanced group theory you're interested in. My guess is that you're talking about the Sylow thoerems and that by S_n-representations you actually mean group actions? $\endgroup$ Dec 8, 2009 at 18:03
  • 2
    $\begingroup$ I'm going to go out on a limb here and say that your question isn't specific enough. Once you leave finite group theory, the subject branches out to a huge number of fields, Lie groups, algebraic groups, et cetera. So in general, there's no simple formula like you've described for "more advanced group theory," since the field is so vast. $\endgroup$ Dec 8, 2009 at 18:44
  • 2
    $\begingroup$ @davidk01: Nope. Does $S_n$-representation mean a map into $S_n$ to you? Because to the rest of us it means a linear representation of $S_n$, which has nothing to do with the SYlow theorems. $\endgroup$
    – Ben Webster
    Dec 8, 2009 at 19:01
  • 4
    $\begingroup$ David- your question is already much improved, though there is another appropriateness point worth making. A good MathOverflow question is one that can reasonably hope could be answered in a few paragraphs; I think your question needs a several page article, probably a book. So the answer to your question is not really one that can be supplied within the limitations of the site. This is under "MO is not an encylopedia" in the FAQ. In general, asking such a question is a sign you need to think more carefully about what you really want to know. $\endgroup$
    – Ben Webster
    Dec 9, 2009 at 0:07
  • 3
    $\begingroup$ I mean, if you just want to know more about group theory, go skim a book on group theory. I like Derek Robinson's "A Course in the Theory of Groups." It starts with the basics and does a lot of things past what you've described. If you get stuck somewhere, then come back and ask a question about THAT. $\endgroup$
    – Ben Webster
    Dec 9, 2009 at 0:12

8 Answers 8

17
$\begingroup$

As someone who has spent far too much time thinking about classifying groups of small order, one thing you'd want to do is understand some more results about p-groups. You already probably learned one of the main results, every p-group has a nontrivial center, which is proved by the number theory type arguments you discussed. One of the key ideas in understanding p-groups is the Burnside basis theorem that says that any generating set for $G/\Phi(G)$ is a generating set for G. Here $\Phi(G)$ is the Frattini subgroup which is generated by all commutators and all pth powers. You can think of this as a version of Nakayma's lemma for p-groups and think that p-groups are similar to commutative rings.

$\endgroup$
0
11
$\begingroup$

Another move you can make is to study the actions of your group on topological or metric spaces. This is more or less the starting point for geometric group theory. It's perhaps less relevant to the study of finite group, but it's central to the modern study of infinite discrete groups.

$\endgroup$
7
$\begingroup$

This is a very vague question (bordering on misuse of the site, since I don't think it really has an answer), but at least part of the answer is linear representation theory, which has a bit more depth than just group actions. Not only is this an interesting subject in and of itself, but it's also absolutely essential for many of the most exciting theorems of group theory, like the whole edifice around the classification of finite simple groups.

If you want to learn more, I recommend Serre's book on the subject.

$\endgroup$
4
  • $\begingroup$ What Ben probably has to say was already said by fpqc. $\endgroup$ Dec 8, 2009 at 20:04
  • 1
    $\begingroup$ When addressing a moderator, it's probably not wise to take that tone, especially when he's right. $\endgroup$ Dec 8, 2009 at 21:56
  • $\begingroup$ I think it gives him precisely that right, but it's your choice. I've found that being short with moderators has gotten me in hot water on other parts of the internet. $\endgroup$ Dec 8, 2009 at 22:55
  • 5
    $\begingroup$ David, maybe Ben did cry foul but he also said something useful! Linear representation theory of finite groups does provide you with an example of how the theory gets deeper! At least there you see algebraic integers interact with group theoretic facts, like the proof that the dimension of an irreducible divides the order of the group. $\endgroup$ Dec 9, 2009 at 2:53
5
$\begingroup$

I'm going to first re-recommend Robinson's Course in the Theory of Groups. There are many interesting branches of group theory like geometric group theory that tie into other subjects, but you should probably make sure you know group theory proper first. And the only real way to know what topics are important is to get a book.

$\endgroup$
5
$\begingroup$

A great book to pick up about finite group theory is Isaacs's "Finite Group Theory". It does a ton more than you would probably see in the standard graduate algebra class. The only drawback is it does no character theory. But of course Isaacs also wrote a book called "Character Theory of Finite Groups". If you're getting both, might as well go for the trinity and get his "Algebra" as well.

Steve

$\endgroup$
4
$\begingroup$

If you're interested in stuff around the classification of finite simple groups -- for instance, using Sylow's theorems and slight extensions lets you classify simple groups with a small number of prime factors, but this quickly becomes very technical and then out of reach completely (I don't believe it's known whether there are an infinite number of finite simple groups with exactly six prime factors) -- I highly recommend an historical overview by Ronald Solomon from a few years back. There are a few things about it that are a little disappointing -- Solomon devotes only a few short paragraphs to the discovery of the sporadic groups, for example -- but it still makes for a fascinating read, even the parts (pretty much everything after 1960 or so) where the work becomes highly technical.

$\endgroup$
0
2
$\begingroup$

The impression I get is that a large chunk finite group theory can be built up from the beginner's toolset: orbit-stabiliser, the isomorphism theorems, and a lot of fiddling around with conjugation, normalisers and centralisers, and induction on the order of the group. You can achieve a lot with surprisingly little.

Character theory (over the complex numbers) is probably the non-'elementary' tool that sees the heaviest use. For instance, one often wants to solve the equation $x y = z$, where $z$ is given and $x$ and $y$ must come from specified conjugacy classes. It turns out that there is a formula for the number of solutions in terms of characters. So instead of trying to find an explicit $(x,y)$, one can try to estimate the value of the formula and prove that the answer is non-zero. (Typically, the trivial character makes a large positive contribution, and the aim is to show that all the other characters make small contributions.)

$\endgroup$
-1
$\begingroup$

re-develop your course employing category theory vision: Once you construct objects construct arrows. Example, if you have defined groups inmediately define homomorphisms, if you define subgroups and quotients, define kernels...etc, arrive to the homomorphism's fundamental theorems...

$\endgroup$
2
  • $\begingroup$ I cannot immediately think of a situation where this actually tells you something about the classification of finite simple groups. $\endgroup$ Dec 8, 2009 at 20:03
  • 2
    $\begingroup$ I think that for this to be an interesting perspective it would need to be a bit more sophisticated: what Ben is suggesting is in this vein in a sense: (say finite) group actions on sets lead to the sort of theorems that the question poses as known, but (finite) group actions on vector spaces yields "representation theory" which once on develops character theory allows for proofs of things like Burnside's $p^aq^b$ theorem. which is a group-theoretic statement that is far from obvious. $\endgroup$ Dec 9, 2009 at 2:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.