Talk:Group theory

From Citizendium
Revision as of 12:21, 6 May 2007 by imported>Jared Grubb (→‎Definitions needed: reply to both Greg and Catherine)
Jump to navigation Jump to search


Article Checklist for "Group theory"
Workgroup category or categories Mathematics Workgroup [Categories OK]
Article status Stub: no more than a few sentences
Underlinked article? No
Basic cleanup done? Yes
Checklist last edited by Jared Grubb 15:43, 3 May 2007 (CDT)

To learn how to fill out this checklist, please see CZ:The Article Checklist.





Copyedit

I have written quite a bit on groups, and it would be nice to have someone help make it more readable. I think the "examples" section looks a bit daunting to the eye, but I'm not sure how to organize it any better. - Jared Grubb 23:59, 3 May 2007 (CDT)

A few thoughts

It's worth noting that groups can be roughly divided into finite and infinite groups. The infinite groups may be discrete groups closely related to the finite ones (e.g. ), Lie groups, or much more complex groups. Some obvious examples of finite groups are:

  1. (finite) cyclic groups
  2. direct sums of cyclic groups
  3. the symmetric groups and alternatiing groups
  4. the dihedral groups
  5. the unit quaternions

Beyond that, there are the "classical" groups which are the analogues of linear Lie groups over finite fields (e.g., and .

This article should also talk about representations of groups (i.e., homomorphisms ), and this would be an excellent place to mention that there are exactly 5 regular polyhedra. The complete classification of finite simple groups needs to be mentioned, too.

Other topics from group theory should probably include:

  1. group actions
  2. group presentations by generators and relations
  3. the isomorphism theorems
  4. the "Burnside" lemma (which is not due to Burnside, but the name is traditional)
  5. the Sylow theorems
  6. applications to Galois theory
  7. Klein's Erlangen program (characterization of geometries in terms of the group of symmetries of the geometry)

It might be reasonable to talk about applications of group theory to classical and quantum mechanics, too. Greg Woodhouse 04:40, 4 May 2007 (CDT)

Great suggestions! I've created Talk:Group theory/Brainstorming so we can brainstorm about this topic: what needs to be here, what should be at Group (mathematics). - Jared Grubb 10:40, 4 May 2007 (CDT)

Definitions needed

Interesting topic. So group theory is how it was proven that quintics can't be solved. (If I knew that before I'd forgotten it.)

This is where you lose me: A solvable group, or a soluble group, is a group that has a normal series whose quotient groups are all abelian. Definitions are needed for: "normal series", "quotient group", "alternating subgroup", "", "symmetric group".

In this sentence: A free group is a group in which every element of the group is a unique product, or string, of elements of some subset of the group. It needs to be clarified whether "unique" means that each element can be expressed as a product in only one way (up to use of the identity element, presumably), or whether it means that a given string can only represent one element (obviously true given the definition of binary operation) or perhaps that a given subset can only represent one element regardless of which order they're put into a string. --Catherine Woodgold 20:25, 5 May 2007 (CDT)

Those definitions are incomplete in this text, but I did that on purpose. I'm worried that if we put full-fledged definitions for every concept mentioned into this article, it will get large and unwieldy. So my intention is that the articles solvable group, quotient group, etc. would each discuss those concepts in greater detail, whereas this article just mentions enough to explain the role of each concept in group theory. What do you think of that? - Jared Grubb 10:45, 6 May 2007 (CDT)
That may be OK, but if a term such as "normal series", "quotient group" etc. is used, then in my opinion it needs either an abbreviated informal definition, or a full definition, or a link to where the definition can be found. For now, they could just be red links if there is going to be a page about that concept later -- but remember that we don't create pages just to put definitions (it's not a dictionary). Another option is to use footnotes. --Catherine Woodgold 11:17, 6 May 2007 (CDT)
I have added some footnotes, and there is a section about quotient groups (although the placement is a bit suboptimal since we talk about quotient groups before we define them, but I hate to bring that section up any higher....). I am planning on rewriting the "Examples" section, and I think we can define S5 and A5 there. Read it through and let me know what you think. - Jared Grubb 12:21, 6 May 2007 (CDT)

Think about it this way. If you adjoin all the roots of an irreducible polynomial to a field, you get an extension called the splitting field of the polynomial. For example, you get from by adjoining the roots of and all their linear combinations, of course. Field extensions that arise this way are called normal extensions. Now, in charactedristic 0, these polynomials won't have repeated roots in the splitting field (this is expressed by saying that the extension is separable), so in the splitting field we can write

Now, the coefficients of are in the base field, so any automorphism of ther splitting field that fixes the base field, must leave the polynomial intact, and so must permute the roots. (This group is known as the Galois group of the extension, and I think it was Galoi who first used the word group.) This gives us a permutation representaton (group action) of on . Recall that the alternating group is simple, so the permutation group cannot be solvable, meaning there is no sequence of normal subgroups

such that the quotient groups are abelian. But who cares? Well, it turns out that if K is a normal extension of k and L is an intermediate field, such that K/L is a normal extension, Gal(K/L) is a normal subgroup of Gal(K/k) and conversely. But what does it mean to solve an equation by radicals? Basically, the only extensions we can take are splitting fields of polynomials of the form , and they have abelian Galois groups, meaning, in turn, that the full Galois group must be solvable. If we can find a polynomial with a splitting field having or as Galois group, we will have shown that not every polynomial can equation can be solved by radicals.Greg Woodhouse 12:08, 6 May 2007 (CDT)

Was that a volunteer to write quintic polynomial? That's what I heard... :) - Jared Grubb 12:21, 6 May 2007 (CDT)