# Wikipedia:WikiProject Mathematics/PlanetMath Exchange/20-XX Group theory and generalizations

This page provides a list of all articles available at PlanetMath in the following topic:

20-XX Group theory and generalizations.

This list will be periodically updated. Each entry in the list has three fields:

1. PM : The first field is the link to the PlanetMath article, along with the article's object ID.
2. WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
3. Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
 Status means PM article N not needed A adequately covered C copied M merged NC needs copying NM needs merging
• Please update the WP and Status fields as appropriate.
• if the WP field is correct please remove the qualifier "guess".
• If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
• If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
• If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.

Don't forget to include the relevant template if you copy over text or feel like an external link is warranted

• {{planetmath|id=|title=}} for copied over text
• {{planetmath reference|id=|title=}} for an external link

See the main page for examples and usage criteria.

One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.

## 20-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

Jtwdog 16:55, 20 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
AdamSmithee 09:01, 12 January 2006 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
Jtwdog 18:08, 19 October 2005 (UTC)
AdamSmithee 08:47, 7 March 2006 (UTC)

## 20-02 Research exposition (monographs, survey articles)

Jtwdog 21:15, 28 October 2005 (UTC)

## 20A05 Axiomatics and elementary properties

Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 18:17, 19 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
I've put an external link to PM proof AdamSmithee 09:09, 12 January 2006 (UTC)
I've put an external link to PM proof AdamSmithee 09:09, 12 January 2006 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
Jtwdog 17:26, 20 October 2005 (UTC)
linas 23:45, 6 April 2007 (UTC)

## 20A99 Miscellaneous

Jtwdog 17:50, 26 October 2005 (UTC)
Some work needs to be done here to draw the distinctions between direct sum and direct product. Merging together the two articles might be a good idea. Jtwdog 17:50, 26 October 2005 (UTC)
Jtwdog 17:50, 26 October 2005 (UTC)
Jtwdog 17:50, 26 October 2005 (UTC)

## 20B05 General theory for finite groups

Jtwdog 21:31, 26 September 2005 (UTC)

## 20B15 Primitive groups

Jtwdog 21:31, 26 September 2005 (UTC)

## 20B20 Multiply transitive finite groups

Jtwdog 19:48, 26 October 2005 (UTC)
Jtwdog 19:48, 26 October 2005 (UTC)
Jtwdog 19:48, 26 October 2005 (UTC)

## 20B30 Symmetric groups

Jtwdog 18:21, 19 October 2005 (UTC)
Jtwdog 18:21, 19 October 2005 (UTC)

## 20B35 Subgroups of symmetric groups

Jtwdog 18:21, 19 October 2005 (UTC)

## 20B99 Miscellaneous

Jtwdog 18:22, 19 October 2005 (UTC)
Jtwdog 18:22, 19 October 2005 (UTC)

## 20C15 Ordinary representations and characters

It's nice to include counter-examples, though this is probably a low priority. Jtwdog 20:26, 26 October 2005 (UTC)
Jtwdog 20:26, 26 October 2005 (UTC)
It would be nice to bring over a little of the proof, as I think it's quite beautiful, but I'll leave that to other's judgement.Jtwdog 20:26, 26 October 2005 (UTC)
Jtwdog 20:26, 26 October 2005 (UTC)

## 20C99 Miscellaneous

Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)
Jtwdog 04:08, 28 October 2005 (UTC)

## 20D05 Classification of simple and nonsolvable groups

Oleg Alexandrov (talk) 23:05, 21 November 2005 (UTC)

## 20D06 Simple groups: alternating groups and groups of Lie type

Jtwdog 04:09, 28 October 2005 (UTC)
Its a proof; added ref to simple group. linas 23:03, 6 April 2007 (UTC)

## 20D08 Simple groups: sporadic groups

Jtwdog 04:10, 28 October 2005 (UTC)

## 20D35 Subnormal subgroups

Jtwdog 23:49, 2 October 2005 (UTC)

## 20D99 Miscellaneous

The ling is currently redirecting to Order (group theory), which mentions the theorem in passing (anyway, the article should be cleaned up). I think that something more like Lagrange's theorem (group theory) would be more appropriate AdamSmithee 09:28, 12 January 2006 (UTC)
Done AdamSmithee 09:26, 7 March 2006 (UTC)
Oleg Alexandrov (talk) 04:15, 22 January 2007 (UTC)
AdamSmithee 09:28, 12 January 2006 (UTC)
NM after creation of the WP article - see above AdamSmithee 09:28, 12 January 2006 (UTC)
Actually, on a second thought, this is not a particularly illuminating proof. I linked to it AdamSmithee 09:26, 7 March 2006 (UTC)
AdamSmithee 09:28, 12 January 2006 (UTC)

## 20E06 Free products, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations

linas 22:08, 6 April 2007 (UTC)
linas 22:30, 6 April 2007 (UTC)

## 20E18 Limits, profinite groups

Jtwdog 23:47, 2 October 2005 (UTC)

## 20E25 Local properties

Oleg Alexandrov (talk) 04:17, 22 January 2007 (UTC)

## 20E45 Conjugacy classes

Jtwdog 23:44, 2 October 2005 (UTC)

## 20E99 Miscellaneous

Jtwdog 23:46, 2 October 2005 (UTC)
Jtwdog 23:46, 2 October 2005 (UTC)

## 20F18 Nilpotent groups

Jtwdog 23:38, 2 October 2005 (UTC)

## 20F22 Other classes of groups defined by subgroup chains

Jtwdog 23:40, 2 October 2005 (UTC)

## 20F36 Braid groups; Artin groups

Jtwdog 04:12, 28 October 2005 (UTC)

## 20F55 Reflection and Coxeter groups

Jtwdog 04:14, 28 October 2005 (UTC)
Jtwdog 04:14, 28 October 2005 (UTC)

## 20F99 Miscellaneous

Jtwdog 04:14, 28 October 2005 (UTC)

## 20G20 Linear algebraic groups over the reals, the complexes, the quaternions

AdamSmithee 09:42, 7 March 2006 (UTC)

## 20J06 Cohomology of groups

Jtwdog 19:33, 1 November 2005 (UTC)
Jtwdog 19:33, 1 November 2005 (UTC)
Jtwdog 19:33, 1 November 2005 (UTC)

## 20K10 Torsion groups, primary groups and generalized primary groups

Jtwdog 23:37, 2 October 2005 (UTC)

## 20K99 Miscellaneous

Jtwdog 21:33, 26 September 2005 (UTC)
Jtwdog 21:33, 26 September 2005 (UTC)
Jtwdog 21:33, 26 September 2005 (UTC)

## 20M10 General structure theory

• PM: ideal, id=3516 -- WP guess: ideal -- Status:

## 20M30 Representation of semigroups; actions of semigroups on sets

Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)
Jtwdog 23:35, 2 October 2005 (UTC)

## 20M35 Semigroups in automata theory, linguistics, etc.

Jtwdog 23:27, 2 October 2005 (UTC)
Jtwdog 23:27, 2 October 2005 (UTC)
Jtwdog 23:27, 2 October 2005 (UTC)

## 20M99 Miscellaneous

• PM: band, id=3319 -- WP guess: band -- Status:
AdamSmithee 09:35, 12 January 2006 (UTC)
• PM: rig, id=6378 -- WP guess: rig -- Status:
AdamSmithee 09:35, 12 January 2006 (UTC)
AdamSmithee 09:35, 12 January 2006 (UTC)

## 20N02 Sets with a single binary operation (groupoids)

Jtwdog 23:24, 2 October 2005 (UTC)
Jtwdog 23:24, 2 October 2005 (UTC)

## 20N05 Loops, quasigroups

Oleg Alexandrov (talk) 04:18, 22 January 2007 (UTC)