Wikipedia:WikiProject Mathematics/PlanetMath Exchange/20-XX Group theory and generalizations
From Wikipedia, the free encyclopedia
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:
- PM : The first field is the link to the PlanetMath article, along with the article's object ID.
- 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.
- 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.
[edit] 20-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
- PM: alternating group is a normal subgroup of the symmetric group, id=4387 -- WP: symmetric group -- Status: A
-
- Jtwdog 16:55, 20 October 2005 (UTC)
- PM: associative, id=2150 -- WP: associative -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: bibliography for group theory, id=5683 -- WP: List of publications in mathematics#Group theory -- Status: NM
-
- AdamSmithee 09:01, 12 January 2006 (UTC)
- PM: canonical projection, id=3950 -- WP: quotient group -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: centralizer, id=2833 -- WP: centralizer -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: commutative, id=2148 -- WP: commutative -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: examples of groups, id=3144 -- WP: examples of groups -- Status: NM
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: general associativity, id=6165 -- WP: general associativity -- Status: N
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: group, id=78 -- WP: group (mathematics) -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: groups of small order, id=6451 -- WP: examples of groups -- Status: NM
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: inverse forming in proportion to group operation, id=6575 -- WP guess: group (mathematics) -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: quotient group, id=1127 -- WP: quotient group -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: uniqueness of inverse (for groups), id=5687 -- WP guess: group (mathematics) -- Status: A
-
- Jtwdog 18:08, 19 October 2005 (UTC)
- PM: correspondence of normal subgroups and group congruences, id=7445new! -- WP guess: correspondence of normal subgroups and group congruences -- Status:
- PM: cube of a number, id=6859new! -- WP guess: cube of a number -- Status:
- PM: examples of non-commutative operations, id=6768new! -- WP: Commutative operation -- Status: A
-
- AdamSmithee 08:47, 7 March 2006 (UTC)
- PM: indecomposable group, id=7232new! -- WP guess: indecomposable group -- Status:
- PM: proof that a subgroup of a group defines an equivalence relation on the group, id=7443new! -- WP guess: proof that a subgroup of a group defines an equivalence relation on the group -- Status:
[edit] 20-02 Research exposition (monographs, survey articles)
- PM: length function, id=4365 -- WP: length function -- Status: C
-
- Jtwdog 21:15, 28 October 2005 (UTC)
[edit] 20A05 Axiomatics and elementary properties
- PM: a characterization of groups, id=6391 -- WP: semigroup -- Status: NM
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: center, id=2191 -- WP: center of a group -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: characteristic subgroup, id=3180 -- WP: characteristic subgroup -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: class function, id=1847 -- WP: class function -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: conjugacy class, id=1848 -- WP: conjugacy class -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: conjugacy class formula, id=3624 -- WP: conjugacy class -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: conjugate stabilizer subgroups, id=3888 -- WP guess: conjugate stabilizer subgroups -- Status:
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: cyclic group, id=2185 -- WP: cyclic group -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: derived subgroup, id=2812 -- WP: derived subgroup -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: equivariant, id=4709 -- WP: equivariant -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: examples of finite simple groups, id=3568 -- WP: list of finite simple groups -- Status: A
-
- Jtwdog 18:17, 19 October 2005 (UTC)
- PM: Feit-Thompson theorem, id=4503 -- WP: Feit-Thompson theorem -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: finitely generated group, id=1726 -- WP: finitely generated group -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: fourth isomorphism theorem, id=4917 -- WP: isomorphism theorem -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: generator, id=4094 -- WP: generating set of a group -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: group actions and homomorphisms, id=3820 -- WP: group action -- Status: NM
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: group homomorphism, id=719 -- WP: group homomorphism -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: homogeneous space, id=4038 -- WP: group action -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: identity element, id=3140 -- WP: identity element -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: inner automorphism, id=3155 -- WP: inner automorphism -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: isomorphic groups, id=5127 -- WP: group (mathematics) -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: kernel, id=812 -- WP: group homomorphism -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: maximal, id=2198 -- WP: maximal subgroup -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: normal closure, id=6307 -- WP: normal closure -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: normal subgroup, id=1305 -- WP: normal subgroup -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: normality of subgroups is not transitive, id=3147 -- WP: normal subgroup -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: normalizer, id=2873 -- WP: normalizer -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: order (of a group), id=2871 -- WP guess: Group (mathematics) -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: presentation of a group, id=2182 -- WP guess: presentation of a group -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: proof of first isomorphism theorem, id=2922 -- WP guess: isomorphism theorem -- Status: N
-
- I've put an external link to PM proof AdamSmithee 09:09, 12 January 2006 (UTC)
- PM: proof of fourth isomorphism theorem, id=5749 -- WP guess: proof of fourth isomorphism theorem -- Status:
- PM: proof of second isomorphism theorem, id=3153 -- WP guess: isomorphism theorem -- Status: N
-
- I've put an external link to PM proof AdamSmithee 09:09, 12 January 2006 (UTC)
- PM: proof that all cyclic groups are abelian, id=4096 -- WP guess: proof that all cyclic groups are abelian -- Status:
- PM: proof that all cyclic groups of the same order are isomorphic to each other, id=4095 -- WP guess: proof that all cyclic groups of the same order are isomorphic to each other -- Status:
- PM: proof that all subgroups of a cyclic group are cyclic, id=4097 -- WP guess: proof that all subgroups of a cyclic group are cyclic -- Status:
- PM: Proof: The orbit of any element of a group is a subgroup, id=4102 -- WP guess: Proof: The orbit of any element of a group is a subgroup -- Status:
- PM: regular group action, id=3884 -- WP: regular group action -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: simple group, id=2189 -- WP: simple group -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: solvable group, id=1336 -- WP: solvable group -- Status: A
-
- Jtwdog 17:26, 20 October 2005 (UTC)
-
- Jtwdog 17:26, 20 October 2005 (UTC)
- PM: a subgroup of index 2 is normal, id=6905new! -- WP guess: a subgroup of index 2 is normal -- Status:
- PM: core of a subgroup, id=7547new! -- WP guess: core of a subgroup -- Status:
- PM: Fundamental homomorphism theorem, id=7495new! -- WP guess: Fundamental homomorphism theorem -- Status:
- PM: generating set of a group, id=7545new! -- WP guess: generating set of a group -- Status:
- PM: nonabelian group, id=5138new! -- WP guess: nonabelian group -- Status:
- PM: proof of third isomorphism theorem, id=7496new! -- WP: isomorphism theorem -- Status: N
-
- I added an external link to the proof AdamSmithee 08:51, 7 March 2006 (UTC)
[edit] 20A99 Miscellaneous
- PM: Cayley table, id=3540 -- WP: Cayley table -- Status: A
-
- Jtwdog 17:50, 26 October 2005 (UTC)
- PM: direct product and restricted direct product of groups, id=6560 -- WP: direct product, direct sum-- Status: NM
-
- 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)
- PM: proper subgroup, id=3141 -- WP: proper subgroup -- Status: A
-
- Jtwdog 17:50, 26 October 2005 (UTC)
- PM: quaternion group, id=2844 -- WP: quaternion group -- Status: A
-
- Jtwdog 17:50, 26 October 2005 (UTC)
[edit] 20B05 General theory for finite groups
- PM: permutation group, id=3758 -- WP: permutation group -- Status: A
-
- Jtwdog 21:31, 26 September 2005 (UTC)
[edit] 20B15 Primitive groups
- PM: primitive permutation group, id=4913 -- WP: primitive permutation group -- Status: A
-
- Jtwdog 21:31, 26 September 2005 (UTC)
[edit] 20B20 Multiply transitive finite groups
- PM: Jordan's theorem (multiply transitive groups), id=3761 -- WP: Mathieu group -- Status: M
-
- Jtwdog 19:48, 26 October 2005 (UTC)
- PM: multiply transitive, id=3759 -- WP: multiply transitive -- Status: M
-
- Jtwdog 19:48, 26 October 2005 (UTC)
- PM: sharply multiply transitive, id=3760 -- WP: sharply multiply transitive -- Status: M
-
- Jtwdog 19:48, 26 October 2005 (UTC)
[edit] 20B30 Symmetric groups
- PM: symmetric group, id=5421 -- WP: symmetric group -- Status: A
-
- Jtwdog 18:21, 19 October 2005 (UTC)
- PM: symmetric group, id=1040 -- WP: symmetric group -- Status:A
-
- Jtwdog 18:21, 19 October 2005 (UTC)
[edit] 20B35 Subgroups of symmetric groups
- PM: Cayley's theorem, id=2174 -- WP: permutation group -- Status: A
-
- Jtwdog 18:21, 19 October 2005 (UTC)
[edit] 20B99 Miscellaneous
- PM: Frobenius group, id=3757 -- WP: Frobenius group -- Status: A
-
- Jtwdog 18:22, 19 October 2005 (UTC)
- PM: proof of Cayley's theorem, id=2751 -- WP guess: proof of Cayley's theorem -- Status:N
-
- Jtwdog 18:22, 19 October 2005 (UTC)
- PM: permutation group on a set, id=5022new! -- WP guess: permutation group on a set -- Status:
[edit] 20C05 Group rings of finite groups and their modules
[edit] 20C07 Group rings of infinite groups and their modules
[edit] 20C15 Ordinary representations and characters
- PM: a representation which is not completely reducible, id=4122 -- WP: Maschke's theorem -- Status: NM
-
- It's nice to include counter-examples, though this is probably a low priority. Jtwdog 20:26, 26 October 2005 (UTC)
- PM: Maschke's theorem, id=3874 -- WP: Maschke's theorem -- Status: A
-
- Jtwdog 20:26, 26 October 2005 (UTC)
- PM: orthogonality relations, id=3878 -- WP: orthogonality relations -- Status: A
-
- 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)
- PM: Schur's lemma, id=3570 -- WP: Schur's lemma -- Status: A
-
- Jtwdog 20:26, 26 October 2005 (UTC)
[edit] 20C30 Representations of finite symmetric groups
- PM: example of immanent, id=5479 -- WP guess: example of immanent -- Status:
[edit] 20C99 Miscellaneous
- PM: G-module, id=6663 -- WP: group algebra -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: character, id=1843 -- WP: character theory -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: example of induced representation, id=6160 -- WP guess: example of induced representation -- Status: N
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: example of matrix representations, id=6573 -- WP guess: example of matrix representations -- Status: N
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: Frobenius reciprocity, id=1842 -- WP: Frobenius reciprocity -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: group representation, id=1596 -- WP: group representation -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: induced representation, id=1823 -- WP: induced representation -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: matrix representation, id=6581 -- WP: group representation -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: regular representation, id=1828 -- WP: regular representation -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
- PM: restriction representation, id=1822 -- WP: restricted representation -- Status: A
-
- Jtwdog 04:08, 28 October 2005 (UTC)
[edit] 20D05 Classification of simple and nonsolvable groups
- PM: Burnside p-q theorem, id=3747 -- WP guess: Burnside p-q theorem -- Status:
- PM: classification of semisimple groups, id=3772 -- WP guess: classification of semisimple groups -- Status:
- PM: semisimple group, id=3771 -- WP guess: semisimple group -- Status: A
-
- Oleg Alexandrov (talk) 23:05, 21 November 2005 (UTC)
[edit] 20D06 Simple groups: alternating groups and groups of Lie type
- PM: simplicity of the alternating groups, id=3569 -- WP guess: simplicity of the alternating groups -- Status:N
-
- Jtwdog 04:09, 28 October 2005 (UTC)
[edit] 20D08 Simple groups: sporadic groups
- PM: Janko groups, id=4762 -- WP: list of finite simple groups -- Status: A
-
- Jtwdog 04:10, 28 October 2005 (UTC)
[edit] 20D10 Solvable groups, theory of formations, Schunck classes, Fitting classes, $\pi$-length, ranks
- PM: supersolvable group, id=4751 -- WP guess: supersolvable group -- Status:
- PM: ÄŒuhinin's theorem, id=3798 -- WP guess: ÄŒuhinin's theorem -- Status:
[edit] 20D15 Nilpotent groups, $p$-groups
- PM: Burnside basis theorem, id=3750 -- WP guess: Burnside basis theorem -- Status:
- PM: classification of finite nilpotent groups, id=3755 -- WP guess: classification of finite nilpotent groups -- Status:
[edit] 20D20 Sylow subgroups, Sylow properties, $\pi$-groups, $\pi$-structure
- PM: p-subgroup, id=5184 -- WP guess: p-subgroup -- Status:
- PM: \pi-groups and \pi'-groups, id=3797 -- WP guess: \pi-groups and \pi'-groups -- Status:
- PM: a nontrivial normal subgroup of a finite p-group G and the center of G have nontrivial intersection, id=5827 -- WP guess: a nontrivial normal subgroup of a finite p-group G and the center of G have nontrivial intersection -- Status:
- PM: Burnside normal complement theorem, id=3754 -- WP guess: Burnside normal complement theorem -- Status:
- PM: class equation theorem, id=5821 -- WP guess: class equation theorem -- Status:
- PM: example of groups of order pq, id=6526 -- WP guess: example of groups of order pq -- Status:
- PM: Frattini argument, id=3748 -- WP guess: Frattini argument -- Status:
- PM: groups of order pq, id=3183 -- WP guess: groups of order pq -- Status:
- PM: p-primary component, id=4610 -- WP guess: p-primary component -- Status:
- PM: proof of class equation theorem, id=5823 -- WP guess: proof of class equation theorem -- Status:
- PM: proof of Frattini argument, id=3749 -- WP guess: proof of Frattini argument -- Status:
- PM: proof of Sylow theorems, id=3182 -- WP guess: proof of Sylow theorems -- Status:
- PM: proof that a nontrivial normal subgroup of a finite p-group G and the center of G have nontrivial intersection, id=5828 -- WP guess: proof that a nontrivial normal subgroup of a finite p-group G and the center of G have nontrivial intersection -- Status:
- PM: subgroups containing the normalizers of Sylow subgroups normalize themselves, id=3763 -- WP guess: subgroups containing the normalizers of Sylow subgroups normalize themselves -- Status:
- PM: Sylow p-subgroups, id=5135 -- WP guess: Sylow p-subgroups -- Status:
- PM: Sylow p-subgroup, id=3181 -- WP guess: Sylow p-subgroup -- Status:
- PM: Sylow theorems, id=2243 -- WP guess: Sylow theorems -- Status:
- PM: Sylow's first theorem, id=4910 -- WP guess: Sylow's first theorem -- Status:
- PM: Sylow's third theorem, id=4899 -- WP guess: Sylow's third theorem -- Status:
[edit] 20D25 Special subgroups (Frattini, Fitting, etc.)
- PM: characteristically simple group, id=3767 -- WP guess: characteristically simple group -- Status:
- PM: Fitting's theorem, id=4600 -- WP guess: Fitting's theorem -- Status:
- PM: the Frattini subgroup of a finite group is nilpotent, id=3762 -- WP guess: the Frattini subgroup of a finite group is nilpotent -- Status:
[edit] 20D30 Series and lattices of subgroups
- PM: maximal condition, id=4752 -- WP guess: maximal condition -- Status:
- PM: minimal condition, id=4753 -- WP guess: minimal condition -- Status:
- PM: subnormal series, id=4750 -- WP guess: subnormal series -- Status:
[edit] 20D35 Subnormal subgroups
- PM: subnormal subgroup, id=3756 -- WP: subnormal subgroup -- Status: A
-
- Jtwdog 23:49, 2 October 2005 (UTC)
[edit] 20D60 Arithmetic and combinatorial problems
- PM: Order Conjecture for non-commuting graph of a group, id=7119new! -- WP guess: Order Conjecture for non-commuting graph of a group -- Status:
[edit] 20D99 Miscellaneous
- PM: Cauchy's theorem, id=1569 -- WP: Cauchy's theorem (group theory) -- Status: C
-
- 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)
- PM: exponent, id=4087 -- WP: exponent (group theory) -- Status: A
-
- Oleg Alexandrov (talk) 04:15, 22 January 2007 (UTC)
- PM: fully invariant subgroup, id=3684 -- WP guess: fully invariant subgroup -- Status:
- PM: Lagrange's theorem, id=1566 -- WP: Lagrange's theorem (group theory) -- Status: A
-
- AdamSmithee 09:28, 12 January 2006 (UTC)
- PM: proof of Cauchy's theorem, id=2186 -- WP: Cauchy's theorem (group theory) -- Status: N
-
- 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)
- PM: proof of Cauchy's theorem in abelian case, id=6045 -- WP guess: proof of Cauchy's theorem in abelian case -- Status:
- PM: proof of Lagrange's theorem, id=1663 -- WP: Lagrange's theorem (group theory) -- Status: A
-
- AdamSmithee 09:28, 12 January 2006 (UTC)
- PM: proof of the converse of Lagrange's theorem for finite cyclic groups, id=4089 -- WP guess: proof of the converse of Lagrange's theorem for finite cyclic groups -- Status:
- PM: proof that \operatorname{exp}~G divides |G|, id=4091 -- WP guess: G| -- Status:
- PM: proof that |g| divides \operatorname{exp}~G, id=4092 -- WP guess: g| divides \operatornameexp~G -- Status:
- PM: proof that every group of prime order is cyclic, id=4101 -- WP guess: proof that every group of prime order is cyclic -- Status:
[edit] 20E05 Free nonabelian groups
- PM: free group, id=2687 -- WP guess: free group -- Status:
- PM: Nielsen-Schreier theorem, id=3251 -- WP guess: Nielsen-Schreier theorem -- Status:
- PM: proof of Nielsen-Schreier theorem and Schreier index formula, id=4693 -- WP guess: proof of Nielsen-Schreier theorem and Schreier index formula -- Status:
- PM: Schreier index formula, id=4699 -- WP guess: Schreier index formula -- Status:
[edit] 20E06 Free products, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
- PM: free product, id=6574 -- WP guess: free product -- Status:
- PM: free product with amalgamated subgroup, id=3944 -- WP guess: free product with amalgamated subgroup -- Status:
[edit] 20E07 Subgroup theorems; subgroup growth
- PM: A finitely generated group has only finitely many subgroups of a given index, id=7054new! -- WP guess: A finitely generated group has only finitely many subgroups of a given index -- Status:
- PM: Zeta function of a group, id=7053new! -- WP guess: Zeta function of a group -- Status:
[edit] 20E10 Quasivarieties and varieties of groups
- PM: metabelian group, id=7532new! -- WP guess: metabelian group -- Status:
[edit] 20E15 Chains and lattices of subgroups, subnormal subgroups
- PM: example of a Jordan-Hölder decomposition, id=5911 -- WP guess: example of a Jordan-Hölder decomposition -- Status:
- PM: Jordan-Hölder decomposition, id=1332 -- WP guess: Jordan-Hölder decomposition -- Status:
- PM: Schreier refinement theorem, id=6286 -- WP guess: Schreier refinement theorem -- Status:
[edit] 20E18 Limits, profinite groups
- PM: profinite group, id=3134 -- WP: profinite group -- Status: A
-
- Jtwdog 23:47, 2 October 2005 (UTC)
- PM: A groups embeds into its profinite completion if and only if it is residually finite, id=7052new! -- WP guess: A groups embeds into its profinite completion if and only if it is residually finite -- Status:
- PM: order of a profinite group, id=7228new! -- WP guess: order of a profinite group -- Status:
- PM: pro-p group, id=6900new! -- WP guess: pro-p group -- Status:
- PM: procyclic group, id=6901new! -- WP guess: procyclic group -- Status:
- PM: Profinite completion, id=7051new! -- WP guess: Profinite completion -- Status:
- PM: supernatural number, id=7227new! -- WP guess: supernatural number -- Status:
[edit] 20E22 Extensions, wreath products, and other compositions
- PM: generalized dihedral group, id=6572 -- WP guess: generalized dihedral group -- Status:
- PM: proof of the Jordan Holder decomposition theorem, id=1335 -- WP guess: proof of the Jordan Holder decomposition theorem -- Status:
- PM: semidirect product of groups, id=2829 -- WP guess: semidirect product of groups -- Status:
- PM: wreath product, id=3505 -- WP guess: wreath product -- Status:
- PM: semi-direct factor and quotient group, id=6924new! -- WP guess: semi-direct factor and quotient group -- Status:
[edit] 20E25 Local properties
- PM: locally \cal P, id=5782 -- WP guess: locally \cal P -- Status:
- PM: locally cyclic group, id=4497 -- WP: locally cyclic group -- Status: A
-
- Oleg Alexandrov (talk) 04:17, 22 January 2007 (UTC)
[edit] 20E26 Residual properties and generalizations
- PM: residually \cal P, id=6570 -- WP guess: residually \cal P -- Status:
- PM: subdirect product of groups, id=6571 -- WP guess: subdirect product of groups -- Status:
[edit] 20E32 Simple groups
- PM: Jordan-Hölder decomposition theorem, id=1333 -- WP guess: Jordan-Hölder decomposition theorem -- Status:
[edit] 20E34 General structure theorems
- PM: abelian groups of order 120, id=4654 -- WP guess: abelian groups of order 120 -- Status:
- PM: fundamental theorem of finitely generated abelian groups, id=4652 -- WP guess: fundamental theorem of finitely generated abelian groups -- Status:
[edit] 20E36 General theorems concerning automorphisms of groups
- PM: complete group, id=7186new! -- WP guess: complete group -- Status:
[edit] 20E45 Conjugacy classes
- PM: conjugacy class, id=5042 -- WP: conjugacy class -- Status: A
-
- Jtwdog 23:44, 2 October 2005 (UTC)
[edit] 20E99 Miscellaneous
- PM: Frattini subgroup, id=2192 -- WP: Frattini subgroup -- Status: A
-
- Jtwdog 23:46, 2 October 2005 (UTC)
- PM: non-generator, id=2196 -- WP: non-generator -- Status: A
-
- Jtwdog 23:46, 2 October 2005 (UTC)
[edit] 20F05 Generators, relations, and presentations
- PM: triangle groups, id=5925 -- WP guess: triangle groups -- Status:
[edit] 20F10 Word problems, other decision problems, connections with logic and automata
- PM: automatic group, id=5735 -- WP guess: automatic group -- Status:
[edit] 20F12 Commutator calculus
- PM: properties of group commutators and commutator subgroups, id=7381new! -- WP guess: properties of group commutators and commutator subgroups -- Status:
[edit] 20F14 Derived series, central series, and generalizations
- PM: abelianization, id=6561 -- WP guess: abelianization -- Status:
- PM: transfinite derived series, id=5727 -- WP guess: transfinite derived series -- Status:
[edit] 20F16 Solvable groups, supersolvable groups
- PM: polycyclic group, id=6285 -- WP guess: polycyclic group -- Status:
- PM: metacyclic group, id=7531new! -- WP guess: metacyclic group -- Status:
[edit] 20F18 Nilpotent groups
- PM: nilpotent group, id=3113 -- WP: nilpotent group -- Status: A
-
- Jtwdog 23:38, 2 October 2005 (UTC)
- PM: Hamiltonian group, id=7520new! -- WP guess: Hamiltonian group -- Status:
[edit] 20F19 Generalizations of solvable and nilpotent groups
- PM: locally nilpotent group, id=7619new! -- WP guess: locally nilpotent group -- Status:
[edit] 20F22 Other classes of groups defined by subgroup chains
- PM: inverse limit, id=4655 -- WP: inverse limit -- Status: NM
-
- Jtwdog 23:40, 2 October 2005 (UTC)
[edit] 20F24 FC-groups and their generalizations
[edit] 20F28 Automorphism groups of groups
- PM: outer automorphism group, id=4993 -- WP guess: outer automorphism group -- Status:
[edit] 20F36 Braid groups; Artin groups
- PM: braid group, id=4604 -- WP: braid group -- Status: A
-
- Jtwdog 04:12, 28 October 2005 (UTC)
[edit] 20F50 Periodic groups; locally finite groups
- PM: elementary abelian group, id=6566 -- WP guess: elementary abelian group -- Status:
- PM: locally finite group, id=5776 -- WP guess: locally finite group -- Status:
- PM: proof that local finiteness is closed under extension, id=7538new! -- WP guess: proof that local finiteness is closed under extension -- Status:
- PM: periodic group, id=7511new! -- WP guess: periodic group -- Status:
- PM: quasicyclic group, id=7500new! -- WP guess: quasicyclic group -- Status:
[edit] 20F55 Reflection and Coxeter groups
- PM: dihedral group, id=2159 -- WP: dihedral group -- Status: A
-
- Jtwdog 04:14, 28 October 2005 (UTC)
- PM: octic group, id=6453 -- WP: dihedral group -- Status: A
-
- Jtwdog 04:14, 28 October 2005 (UTC)
- PM: Coxeter group, id=7570new! -- WP guess: Coxeter group -- Status:
[edit] 20F60 Ordered groups
[edit] 20F65 Geometric group theory
- PM: groups that act freely on trees are free, id=4656 -- WP guess: groups that act freely on trees are free -- Status:
[edit] 20F69 Asymptotic properties of groups
[edit] 20F99 Miscellaneous
- PM: perfect group, id=4701 -- WP: perfect group -- Status: A
-
- Jtwdog 04:14, 28 October 2005 (UTC)
- PM: essential subgroup, id=7387new! -- WP guess: essential subgroup -- Status:
- PM: Hopfian group, id=7516new! -- WP guess: Hopfian group -- Status:
[edit] 20G15 Linear algebraic groups over arbitrary fields
- PM: computation of the order of GL(n, F_q), id=3541 -- WP guess: computation of the order of GL(n, F_q) -- Status:
- PM: general linear group, id=2462 -- WP guess: general linear group -- Status:
- PM: Nagao's theorem, id=4747 -- WP guess: Nagao's theorem -- Status:
- PM: special linear group, id=2463 -- WP guess: special linear group -- Status:
- PM: theorems of general linear group over a finite field, id=3529 -- WP guess: theorems of general linear group over a finite field -- Status:
- PM: theorems of special linear group over a finite field, id=6620 -- WP guess: theorems of special linear group over a finite field -- Status:
- PM: \mathit{SL}(2,\mathbb{F}_p) has no 1 dimensional irreducible representations over \mathbb{F}_p, id=6915new! -- WP guess: \mathitSL(2,\mathbbF_p) has no 1 dimensional irreducible representations over \mathbbF_p -- Status:
- PM: irreducible representations of the special linear group over \mathbb{F}_p, id=6914new! -- WP guess: irreducible representations of the special linear group over \mathbbF_p -- Status:
- PM: projective special linear group, id=6912new! -- WP guess: projective special linear group -- Status:
[edit] 20G20 Linear algebraic groups over the reals, the complexes, the quaternions
- PM: orthogonal group, id=2482 -- WP: orthogonal group -- Status: A
-
- AdamSmithee 09:42, 7 March 2006 (UTC)
[edit] 20G25 Linear algebraic groups over local fields and their integers
- PM: Ihara's theorem, id=4657 -- WP guess: Ihara's theorem -- Status:
[edit] 20G40 Linear algebraic groups over finite fields
- PM: \mathit{SL}_2(F_3), id=4873 -- WP guess: \mathitSL_2(F_3) -- Status:
[edit] 20H05 Unimodular groups, congruence subgroups
[edit] 20H20 Other matrix groups over fields
[edit] 20J05 Homological methods in group theory
- PM: group extension, id=7246new! -- WP guess: group extension -- Status:
[edit] 20J06 Cohomology of groups
- PM: factor system, id=5887 -- WP guess: group cohomology -- Status: A
-
- Jtwdog 19:33, 1 November 2005 (UTC)
- PM: group cohomology, id=4571 -- WP guess: group cohomology -- Status: A
-
- Jtwdog 19:33, 1 November 2005 (UTC)
- PM: stronger Hilbert theorem 90, id=4577 -- WP guess: Hilbert's theorem 90 -- Status: NM
-
- Jtwdog 19:33, 1 November 2005 (UTC)
[edit] 20J15 Category of groups
- PM: variety of groups, id=3662 -- WP guess: variety of groups -- Status:
[edit] 20K01 Finite abelian groups
- PM: Schinzel's theorem, id=1115 -- WP guess: Schinzel's theorem -- Status:
[edit] 20K10 Torsion groups, primary groups and generalized primary groups
-
- Jtwdog 23:37, 2 October 2005 (UTC)
[edit] 20K20 Torsion-free groups, infinite rank
- PM: Baer-Specker group, id=7344new! -- WP guess: Baer-Specker group -- Status:
[edit] 20K25 Direct sums, direct products, etc.
- PM: direct product of groups, id=2180 -- WP guess: direct product of groups -- Status:
[edit] 20K27 Subgroups
[edit] 20K30 Automorphisms, homomorphisms, endomorphisms, etc.
[edit] 20K99 Miscellaneous
- PM: divisible group, id=4499 -- WP: divisible group -- Status: A
-
- Jtwdog 21:33, 26 September 2005 (UTC)
- PM: example of divisible group, id=4500 -- WP: divisible group -- Status: N
-
- Jtwdog 21:33, 26 September 2005 (UTC)
- PM: Klein 4-group, id=3139 -- WP: Klein 4-group -- Status: A
-
- Jtwdog 21:33, 26 September 2005 (UTC)
- PM: abelian group, id=5107new! -- WP guess: abelian group -- Status:
[edit] 20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms)
[edit] 20M05 Free semigroups, generators and relations, word problems
[edit] 20M10 General structure theory
- PM: existence of maximal semilattice decomposition, id=3553 -- WP guess: existence of maximal semilattice decomposition -- Status:
- PM: Rees factor, id=3517 -- WP guess: Rees factor -- Status:
- PM: semilattice decomposition of a semigroup, id=3552 -- WP guess: semilattice decomposition of a semigroup -- Status:
- PM: simple semigroup, id=3521 -- WP guess: simple semigroup -- Status:
- PM: cancellative semigroup, id=5926new! -- WP guess: cancellative semigroup -- Status:
[edit] 20M12 Ideal theory
[edit] 20M14 Commutative semigroups
- PM: Archimedean semigroup, id=3572 -- WP guess: Archimedean semigroup -- Status:
- PM: commutative semigroup, id=3573 -- WP guess: commutative semigroup -- Status:
[edit] 20M17 Regular semigroups
- PM: regular semigroup, id=5883 -- WP guess: regular semigroup -- Status:
[edit] 20M18 Inverse semigroups
- PM: McAlister covering theorem, id=6201 -- WP guess: McAlister covering theorem -- Status:
[edit] 20M20 Semigroups of transformations, etc.
- PM: semigroup of transformations, id=3561 -- WP guess: semigroup of transformations -- Status:
[edit] 20M30 Representation of semigroups; actions of semigroups on sets
- PM: counting theorem, id=2127 -- WP: group action -- Status: A
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: example of counting theorem, id=5957 -- WP: group action -- Status: N
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: orbit, id=1517 -- WP: group action -- Status: A
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: orbit-stabilizer theorem, id=2173 -- WP: group action -- Status: A
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: proof of counting theorem, id=3099 -- WP: group action -- Status: N
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: proof of orbit-stabilizer theorem, id=2315 -- WP: group action -- Status: N
-
- Jtwdog 23:35, 2 October 2005 (UTC)
- PM: simply transitive, id=6208 -- WP: simply transitive -- Status: A
-
- Jtwdog 23:35, 2 October 2005 (UTC)
[edit] 20M35 Semigroups in automata theory, linguistics, etc.
- PM: Kleene algebra, id=2618 -- WP: Kleene algebra -- Status: A
-
- Jtwdog 23:27, 2 October 2005 (UTC)
- PM: Kleene star, id=2584 -- WP: Kleene star -- Status: A
-
- Jtwdog 23:27, 2 October 2005 (UTC)
- PM: regular expression, id=2583 -- WP: regular expression -- Status:A
-
- Jtwdog 23:27, 2 October 2005 (UTC)
[edit] 20M99 Miscellaneous
- PM: adjoining an identity to a semigroup, id=3410 -- WP guess: adjoining an identity to a semigroup -- Status:
- PM: bicyclic semigroup, id=3609 -- WP guess: bicyclic semigroup -- Status:
- PM: congruence, id=3403 -- WP guess: congruence -- Status:
- PM: cyclic semigroup, id=3559 -- WP guess: cyclic semigroup -- Status:
- PM: left identity and right identity, id=3435 -- WP guess: left identity and right identity -- Status:
-
- AdamSmithee 09:35, 12 January 2006 (UTC)
- PM: null semigroup, id=3441 -- WP guess: null semigroup -- Status:
-
- AdamSmithee 09:35, 12 January 2006 (UTC)
- PM: subsemigroup, submonoid, and subgroup, id=3434 -- WP guess: subsemigroup, submonoid, and subgroup -- Status:
- PM: zero elements, id=3440 -- WP: semigroup -- Status: NM
-
- AdamSmithee 09:35, 12 January 2006 (UTC)
[edit] 20N02 Sets with a single binary operation (groupoids)
-
- Jtwdog 23:24, 2 October 2005 (UTC)
- PM: idempotency, id=2604 -- WP: idempotency -- Status: A
-
- Jtwdog 23:24, 2 October 2005 (UTC)
[edit] 20N05 Loops, quasigroups
- PM: loop and quasigroup, id=3436 -- WP: quasigroup -- Status: A
-
- Oleg Alexandrov (talk) 04:18, 22 January 2007 (UTC)
- PM: Moufang loop, id=4578 -- WP guess: Moufang loop -- Status: