Talk:Group theory: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Jared Grubb
(→‎Definitions needed: reply: i left it somewhat vague on purpose)
imported>David Lee Harden
 
(15 intermediate revisions by 8 users not shown)
Line 1: Line 1:
{{checklist
{{subpages}}
|                abc = Group theory
|                cat1 = Mathematics
|                cat2 =
|                cat3 =
|          cat_check = n
|              status = 3
|        underlinked = n
|            cleanup = y
|                  by = [[User:Jared Grubb|Jared Grubb]] 15:43, 3 May 2007 (CDT)
}}


== Copyedit ==
== Copyedit ==
Line 51: Line 41:


: 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? - [[User:Jared Grubb|Jared Grubb]] 10:45, 6 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? - [[User:Jared Grubb|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.  --[[User:Catherine Woodgold|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. - [[User:Jared Grubb|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 <math>\mathbb{C}</math> from <math>\mathbb{R}</math> by adjoining the roots of <math>x^2 + 1</math> 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
:<math>f(x) = (x - \alpha_1)(x - \alpha_2) \cdots (x - \alpha_n)</math>
Now, the coefficients of <math>f</math> 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 <math>G</math> on <math>\{ \alpha_1, \ldots , \alpha_n \}</math>. Recall that the alternating group <math>A_5</math> is simple, so the permutation group <math>S_5</math> cannot be solvable, meaning there is no sequence of normal subgroups
<math> 1 = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_k = G</math>
such that the quotient groups <math>G_i/G_{i - 1}</math> 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 <math>x^k - a</math>, 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 <math>S_5</math> or <math>A_5</math> as Galois group, we will have shown that not every polynomial can equation can be solved by radicals.[[User:Greg Woodhouse|Greg Woodhouse]] 12:08, 6 May 2007 (CDT)
: Was that a volunteer to write [[quintic polynomial]]? That's what I heard... :) - [[User:Jared Grubb|Jared Grubb]] 12:21, 6 May 2007 (CDT)
== Narrative ==
Anyone want to now take a stab at superimposing a narrative structure onto the set of facts currently included? - [[User:Greg Martin|Greg Martin]] 00:27, 7 May 2007 (CDT)
:We could perhaps start out by noting (perhaps in different words) that the mathematical notion of a group abstracts from the more intuitive notion of symmetry. This is easy to picture in the case of Lie groups, where <math>SO(3)</math> is the group of rotational symmetries of 3-space or, more boringly, <math>SO(2)</math> is the group rotational symmetries of the plane (i.e., the circle group). The dihedral group <math>D_4</math> is a compelling example, because it is just the 8 symmetries of a square (4 rotations, reflection is the x-axis, the y-axis, and each of the two diagonals). Someone more gifted than me with graphics might include pictures of the five regular polyhedra (tetrahedron, cube, octahedron, dodecahedron and icosohedron) and note that there are no others, in contrast with the two dimensional case where there is a regular n-sided polygon for each <math>n > 2</math>. Why is this? By deMoivre's theorem, <math>\mathbb{Z}_n</math> can be embedded in the circle group by choosing <math>e^{2\pi / n}</math> as a genertator. Unfortunately, analysis of the finite subgroups of SO(3) isn't so easy, and I don't know any easy way of showing ''why'' there should only be the five (or four, actually - symmetries of the cube and the octahedron are the same). Another accessible motivating example is Klein's Erlangen program, in which geometries (Euclidean, projective, spherical, hyperbolic, etc.) are described in terms of the group that leaves invariant those properties we wish to describe a "geometrical" (thus, 3-dimensional Euclidean geometry amounts to the study of the action of the semidirect product of SO(3) and the translation group - the additive group <math>(\mathbb{R}^3, +)</math> on <math>\mathbb{R}^3</math>.
:Of course, the Galois group is a symmetry group, too, though in this case what is left invariant is the equation(s) defining the field extension. I'm less convinced that this is a useful motivating example, but it is ''the'' motivation for the abstract concept of a group. (So far as I know, Évariste Galois was th first person to actually use the term group.) [[User:Greg Woodhouse|Greg Woodhouse]] 03:20, 7 May 2007 (CDT)
I definitely support this. I've done my best to make it fluent, but there's a lot of room for improvement. I would hope that we don't remove any of the topics, though. I think what's here so far is crucial to a good article on the scope of group theory. -[[User:Jared Grubb|Jared Grubb]] 02:27, 8 May 2007 (CDT)
:What do you think about ''temporarily'' removing some of the sections here? If you're planning on working on this article, I'll leave it alone (and maybe start an article on Lie groups), but I find it difficult to start with an article containing many empty sections. At a minimum, it often requires rearranging and modifying the outline because what is there just doesn't seem to work as a way of stucturing the article. [[User:Greg Woodhouse|Greg Woodhouse]] 18:50, 8 May 2007 (CDT)
== New introduction ==
Okay, I wrote a new introduction which I hope will provide some motivation for the study of group theory. [[User:Greg Woodhouse|Greg Woodhouse]] 12:09, 8 May 2007 (CDT)
: Good work, it's looking better. I think the current use of the word "divided" in the first paragraph is misleading; despite a somewhat clarifying remark later on, at that moment it seems to imply that every continuous transformation of the Euclidean plane that takes lines to lines and preserves angles is either a rotation around the origin or a translation. (Also it's a bit vague whether the phrase "preserve angles" implies that orientation is also preserved.) - [[User:Greg Martin|Greg Martin]] 14:12, 8 May 2007 (CDT)
Okay, I've reworded it a bit. It now says that the transformations can be ''decomposed'' into transformations of two types. I haven't addressed the orientation issue just yet, mostly because I haven't decided what to say. I suppose I can throw in a parenthetical "orientation-preserving". [[User:Greg Woodhouse|Greg Woodhouse]] 17:34, 8 May 2007 (CDT)
== Mistake in normal series footnote ==
The subgroups in the normal series are, in ascending order, N_1, N_2, and so on. So the quotients shouldn't be N_i/N_(i+1), but N_(i+1)/N_i. I am too new to Citizendium to know how to make the reflist change myself.
[[User:David Lee Harden|David Lee Harden]] 17:49, 1 Nov 2008 (EDT)
:I made the change for you. For future reference, the code for the footnotes is together with the code for the sentence in which the footnote is. So if you look at the code for the third paragraph of the "Special kinds of group" section, you see
::<code><nowiki>A [[solvable group]], or a soluble group, is a group that has a normal series<ref>A normal series is a tower of normal subgroups of a group, each one normal in the next (but not necessarily normal in the group itself): <math>\{e\}\triangleleft N_1\triangleleft \cdots \triangleleft N_n \triangleleft G</math>.</ref> whose [[quotient group]]s<ref>The quotient groups here are the <math>N_{i+1}/N_i</math>, using notation from the previous footnote.</ref> are all abelian.</nowiki></code>
:The <code><nowiki><ref>...</ref></nowiki></code> fragments are the footnotes; compare with <code>\footnote{...}</code> in LaTeX. There is some more information at [[CZ:How to edit an article#References and citations]], but don't expect too much of it. -- [[User:Jitse Niesen|Jitse Niesen]] 00:57, 2 November 2008 (UTC)
The easiest definition of solvable I know of is the recursive one: the trivial group is solvable, and any other solvable group is one whose commutator subgroup is solvable. -- [[User:David Lee Harden|David Lee Harden]] 02:34, 14 February 2009 (UTC)
== Applications ==
Me computer scientist. Me at level of first graduate course in discrete mathematical structures. Elders teach much strong magic in group theory.
Seriously, I'll pull my textbooks and at least put in some major areas.  [[User:Sandy Harris]] has been mentioning a fair bit in his articles on cryptography; there may be some in military/intelligence history of cryptanalysis, since the solution of [[ULTRA]] was at least partially based on group theory. [[User:Howard C. Berkowitz|Howard C. Berkowitz]] 17:16, 24 November 2008 (UTC)

Latest revision as of 21:34, 13 February 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition Branch of mathematics concerned with groups and the description of their properties. [d] [e]
Checklist and Archives
 Workgroup category Mathematics [Categories OK]
 Talk Archive none  English language variant British English

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)

Narrative

Anyone want to now take a stab at superimposing a narrative structure onto the set of facts currently included? - Greg Martin 00:27, 7 May 2007 (CDT)

We could perhaps start out by noting (perhaps in different words) that the mathematical notion of a group abstracts from the more intuitive notion of symmetry. This is easy to picture in the case of Lie groups, where is the group of rotational symmetries of 3-space or, more boringly, is the group rotational symmetries of the plane (i.e., the circle group). The dihedral group is a compelling example, because it is just the 8 symmetries of a square (4 rotations, reflection is the x-axis, the y-axis, and each of the two diagonals). Someone more gifted than me with graphics might include pictures of the five regular polyhedra (tetrahedron, cube, octahedron, dodecahedron and icosohedron) and note that there are no others, in contrast with the two dimensional case where there is a regular n-sided polygon for each . Why is this? By deMoivre's theorem, can be embedded in the circle group by choosing as a genertator. Unfortunately, analysis of the finite subgroups of SO(3) isn't so easy, and I don't know any easy way of showing why there should only be the five (or four, actually - symmetries of the cube and the octahedron are the same). Another accessible motivating example is Klein's Erlangen program, in which geometries (Euclidean, projective, spherical, hyperbolic, etc.) are described in terms of the group that leaves invariant those properties we wish to describe a "geometrical" (thus, 3-dimensional Euclidean geometry amounts to the study of the action of the semidirect product of SO(3) and the translation group - the additive group on .
Of course, the Galois group is a symmetry group, too, though in this case what is left invariant is the equation(s) defining the field extension. I'm less convinced that this is a useful motivating example, but it is the motivation for the abstract concept of a group. (So far as I know, Évariste Galois was th first person to actually use the term group.) Greg Woodhouse 03:20, 7 May 2007 (CDT)

I definitely support this. I've done my best to make it fluent, but there's a lot of room for improvement. I would hope that we don't remove any of the topics, though. I think what's here so far is crucial to a good article on the scope of group theory. -Jared Grubb 02:27, 8 May 2007 (CDT)

What do you think about temporarily removing some of the sections here? If you're planning on working on this article, I'll leave it alone (and maybe start an article on Lie groups), but I find it difficult to start with an article containing many empty sections. At a minimum, it often requires rearranging and modifying the outline because what is there just doesn't seem to work as a way of stucturing the article. Greg Woodhouse 18:50, 8 May 2007 (CDT)

New introduction

Okay, I wrote a new introduction which I hope will provide some motivation for the study of group theory. Greg Woodhouse 12:09, 8 May 2007 (CDT)

Good work, it's looking better. I think the current use of the word "divided" in the first paragraph is misleading; despite a somewhat clarifying remark later on, at that moment it seems to imply that every continuous transformation of the Euclidean plane that takes lines to lines and preserves angles is either a rotation around the origin or a translation. (Also it's a bit vague whether the phrase "preserve angles" implies that orientation is also preserved.) - Greg Martin 14:12, 8 May 2007 (CDT)

Okay, I've reworded it a bit. It now says that the transformations can be decomposed into transformations of two types. I haven't addressed the orientation issue just yet, mostly because I haven't decided what to say. I suppose I can throw in a parenthetical "orientation-preserving". Greg Woodhouse 17:34, 8 May 2007 (CDT)

Mistake in normal series footnote

The subgroups in the normal series are, in ascending order, N_1, N_2, and so on. So the quotients shouldn't be N_i/N_(i+1), but N_(i+1)/N_i. I am too new to Citizendium to know how to make the reflist change myself. David Lee Harden 17:49, 1 Nov 2008 (EDT)

I made the change for you. For future reference, the code for the footnotes is together with the code for the sentence in which the footnote is. So if you look at the code for the third paragraph of the "Special kinds of group" section, you see
A [[solvable group]], or a soluble group, is a group that has a normal series<ref>A normal series is a tower of normal subgroups of a group, each one normal in the next (but not necessarily normal in the group itself): <math>\{e\}\triangleleft N_1\triangleleft \cdots \triangleleft N_n \triangleleft G</math>.</ref> whose [[quotient group]]s<ref>The quotient groups here are the <math>N_{i+1}/N_i</math>, using notation from the previous footnote.</ref> are all abelian.
The <ref>...</ref> fragments are the footnotes; compare with \footnote{...} in LaTeX. There is some more information at CZ:How to edit an article#References and citations, but don't expect too much of it. -- Jitse Niesen 00:57, 2 November 2008 (UTC)

The easiest definition of solvable I know of is the recursive one: the trivial group is solvable, and any other solvable group is one whose commutator subgroup is solvable. -- David Lee Harden 02:34, 14 February 2009 (UTC)

Applications

Me computer scientist. Me at level of first graduate course in discrete mathematical structures. Elders teach much strong magic in group theory.

Seriously, I'll pull my textbooks and at least put in some major areas. User:Sandy Harris has been mentioning a fair bit in his articles on cryptography; there may be some in military/intelligence history of cryptanalysis, since the solution of ULTRA was at least partially based on group theory. Howard C. Berkowitz 17:16, 24 November 2008 (UTC)