Wikipedia:WikiProject Mathematics/PlanetMath Exchange/13-XX Commutative rings and algebras
From Wikipedia, the free encyclopedia
This page provides a list of all articles available at PlanetMath in the following topic:
- 13-XX Commutative rings and algebras.
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] 13-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
- PM: (-1)\cdot a= -a, id=5674 -- WP : Ring (mathematics) -- Status: N
-
- AdamSmithee 09:07, 26 September 2006 (UTC)
- PM: (-x)\cdot (-y)= x\cdot y, id=5675 -- WP: Ring (mathematics) -- Status: N
-
- AdamSmithee 09:07, 26 September 2006 (UTC)
- PM: 0\cdot a=0, id=5673 -- WP: Ring (mathematics) -- Status: N
-
- AdamSmithee 09:07, 26 September 2006 (UTC)
- PM: absolute value, id=448 -- WP: absolute value -- Status: A
-
- Paul August ☎ 03:22, 11 October 2005 (UTC)
- PM: associates, id=677 -- WP guess: associates -- Status:
- PM: cancellation ring, id=421 -- WP: cancellation ring -- Status: A
-
- Added redirect to Integral domain - AdamSmithee 10:16, 26 September 2006 (UTC)
- PM: comaximal, id=2851 -- WP guess: comaximal -- Status:
- PM: concepts in abstract algebra, id=6330 -- WP: none -- Status: N
-
- AdamSmithee 10:16, 26 September 2006 (UTC)
- PM: concepts in linear algebra, id=5663 -- WP: none -- Status: N
-
- AdamSmithee 10:16, 26 September 2006 (UTC)
- PM: every prime ideal is radical, id=4712 -- WP: Prime ideal, Radical of an ideal -- Status: NM
-
- AdamSmithee 10:16, 26 September 2006 (UTC)
- PM: examples of module, id=6180 -- WP: Module (mathematics) -- Status: A
-
- AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: \lambda v = 0 if and only if \lambda =0 or v is the zero vector in a vector space, id=4264 -- WP guess: \lambda v = 0 if and only if \lambda =0 or v is the zero vector in a vector space -- Status:
- PM: Minkowski sum, id=5662 -- WP guess: Minkowski sum -- Status:
- PM: module, id=365 -- WP: Module (mathematics) -- Status: A
-
- AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: radical of an ideal, id=2850 -- WP guess: radical of an ideal -- Status:
- PM: ring, id=354 -- WP: Ring (mathematics) -- Status: A
-
- AdamSmithee 16:03, 10 January 2006 (UTC)
-
- Basically, WP article contains the info from PM article, but WP article is currently a mess AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: tensor product, id=2043 -- WP guess: tensor product -- Status:
- PM: uniqueness of additive identity in a ring, id=5676 -- WP: Group (mathematics)#Simple theorems -- Status: N
-
- You don't need a ring for that AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: uniqueness of additive inverse in a ring, id=5672 -- WP: Group (mathematics)#Simple theorems -- Status: N
-
- You don't need a ring for that AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: unities of ring and subring, id=6491 -- WP guess: unities of ring and subring -- Status: N
-
- AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: unitization, id=6445 -- WP guess: unitization -- Status:
- PM: unity of subring, id=6492 -- WP guess: unity of subring -- Status:
- PM: vector space, id=364 -- WP: vector space -- Status: A
-
- AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: zero vector in a vector space is unique, id=4256 -- WP: vector space -- Status: A
-
- or Group (mathematics)#Simple theorems - AdamSmithee 16:03, 10 January 2006 (UTC)
- PM: Cartesian product of vector spaces, id=7055new! -- WP guess: Cartesian product of vector spaces -- Status:
- PM: examples of rings, id=6718new! -- WP guess: examples of rings -- Status:
- PM: Minkowski sum, id=7060new! -- WP guess: Minkowski sum -- Status:
- PM: new vector spaces from old ones, id=7388new! -- WP guess: new vector spaces from old ones -- Status:
- PM: proof of second isomorphism theorem for rings, id=7206new! -- WP guess: proof of second isomorphism theorem for rings -- Status:
[edit] 13A02 Graded rings
- PM: graded ring, id=192 -- WP guess: graded ring -- Status:
- PM: homogeneous elements of a graded ring, id=5694 -- WP guess: homogeneous elements of a graded ring -- Status:
- PM: homogeneous system of parameters, id=5695 -- WP guess: homogeneous system of parameters -- Status:
- PM: support (graded ring), id=7601new! -- WP guess: support (graded ring) -- Status:
[edit] 13A05 Divisibility
- PM: group of units, id=6301 -- WP guess: group of units -- Status:
- PM: primal element, id=6508 -- WP guess: primal element -- Status:
[edit] 13A10 Radical theory
- PM: Hilbert's Nullstellensatz, id=3474 -- WP guess: Hilbert's Nullstellensatz -- Status:
- PM: nilradical, id=3114 -- WP: nilradical -- Status: A
-
- AdamSmithee 10:18, 26 September 2006 (UTC)
- PM: radical of an integer, id=200 -- WP guess: radical of an integer -- Status:
- PM: proof of Hilbert's Nullstellensatz, id=7314new! -- WP guess: proof of Hilbert's Nullstellensatz -- Status:
- PM: proof of the weak Nullstellensatz, id=7313new! -- WP guess: proof of the weak Nullstellensatz -- Status:
- PM: unity plus nilpotent is unit, id=6956new! -- WP guess: unity plus nilpotent is unit -- Status:
[edit] 13A15 Ideals; multiplicative ideal theory
- PM: contracted ideal, id=3279 -- WP guess: contracted ideal -- Status:
- PM: existence of maximal ideals, id=4713 -- WP guess: existence of maximal ideals -- Status:
- PM: extended ideal, id=3280 -- WP guess: extended ideal -- Status:
- PM: first isomorphism theorem, id=1114 -- WP guess: first isomorphism theorem -- Status:
- PM: fractional ideal, id=2995 -- WP guess: fractional ideal -- Status:
- PM: generators of inverse ideal, id=5934 -- WP guess: generators of inverse ideal -- Status:
- PM: homogeneous ideal, id=190 -- WP guess: homogeneous ideal -- Status:
- PM: maximal ideal, id=410 -- WP guess: maximal ideal -- Status:
- PM: multiplication ring, id=5967 -- WP guess: multiplication ring -- Status:
- PM: principal ideal, id=437 -- WP guess: principal ideal -- Status:
- PM: principal ideal ring, id=6106 -- WP guess: principal ideal ring -- Status:
- PM: the set of prime ideals of a commutative ring with identity, id=5064 -- WP guess: the set of prime ideals of a commutative ring with identity -- Status:
- PM: third isomorphism theorem, id=1126 -- WP guess: third isomorphism theorem -- Status:
- PM: entries on finitely generated ideals, id=7244new! -- WP guess: entries on finitely generated ideals -- Status:
- PM: multiplication rule gives inverse ideal, id=7243new! -- WP guess: multiplication rule gives inverse ideal -- Status:
- PM: product of finitely generated ideals, id=7217new! -- WP guess: product of finitely generated ideals -- Status:
[edit] 13A18 Valuations and their generalizations
- PM: equivalent valuations, id=5932 -- WP guess: equivalent valuations -- Status:
- PM: Ostrowski's valuation theorem, id=6613 -- WP guess: Ostrowski's valuation theorem -- Status:
- PM: p-adic valuation, id=6619 -- WP guess: p-adic valuation -- Status:
- PM: proof of theorem on equivalent valuations, id=6616 -- WP guess: proof of theorem on equivalent valuations -- Status:
[edit] 13A50 Actions of groups on commutative rings; invariant theory
- PM: invariant polynomial, id=4337 -- WP guess: invariant polynomial -- Status:
- PM: Schwarz (1975) theorem, id=4329 -- WP guess: Schwarz (1975) theorem -- Status:
[edit] 13A99 Miscellaneous
- PM: algebra without order, id=6411 -- WP guess: algebra without order -- Status:
- PM: characteristic of a cyclic ring, id=4090 -- WP guess: characteristic of a cyclic ring -- Status:
- PM: cyclic ring, id=4084 -- WP guess: cyclic ring -- Status:
- PM: isomorphism, id=1936 -- WP guess: isomorphism -- Status:
- PM: Lagrange's identity, id=3802 -- WP guess: Lagrange's identity -- Status:
- PM: proof of Euler four-square identity, id=3807 -- WP guess: proof of Euler four-square identity -- Status:
- PM: proof that every subring of a cyclic ring is a cyclic ring, id=4098 -- WP guess: proof that every subring of a cyclic ring is a cyclic ring -- Status:
- PM: proof that every subring of a cyclic ring is an ideal, id=4100 -- WP guess: proof that every subring of a cyclic ring is an ideal -- Status:
- PM: types of homomorphisms, id=1011 -- WP guess: types of homomorphisms -- Status:
- PM: arithmetical ring, id=7237new! -- WP guess: arithmetical ring -- Status:
- PM: commutative ring, id=5169new! -- WP guess: commutative ring -- Status:
- PM: polynomial function, id=7617new! -- WP guess: polynomial function -- Status:
[edit] 13B02 Extension theory
- PM: module-finite, id=2874 -- WP guess: module-finite -- Status:
- PM: ring adjunction, id=5874 -- WP guess: ring adjunction -- Status:
[edit] 13B05 Galois theory
[edit] 13B10 Morphisms
- PM: a group homomorphism is injective iff the kernel is trivial, id=5596 -- WP guess: a group homomorphism is injective iff the kernel is trivial -- Status:
- PM: natural homomorphism, id=6112 -- WP guess: natural homomorphism -- Status:
- PM: ring homomorphism, id=357 -- WP guess: ring homomorphism -- Status:
[edit] 13B21 Integral dependence
[edit] 13B22 Integral closure of rings and ideals ; integrally closed rings, related rings (Japanese, etc.)
- PM: integral closure, id=1299 -- WP guess: integral closure -- Status:
- PM: examples of ring of integers of a number field, id=6879new! -- WP guess: examples of ring of integers of a number field -- Status:
- PM: the ring of integers of a number field is finitely generated over \mathbb{Z}, id=6883new! -- WP guess: the ring of integers of a number field is finitely generated over \mathbbZ -- Status:
[edit] 13B25 Polynomials over commutative rings
- PM: homogeneous polynomial, id=6577 -- WP guess: homogeneous polynomial -- Status:
[edit] 13B30 Quotients and localization
- PM: extension by localization, id=5916 -- WP guess: extension by localization -- Status:
- PM: fraction field, id=394 -- WP guess: fraction field -- Status:
- PM: localization, id=391 -- WP guess: localization -- Status:
- PM: multiplicative set, id=390 -- WP guess: multiplicative set -- Status:
- PM: overring, id=5867 -- WP guess: overring -- Status:
- PM: quotient of ideals, id=6468 -- WP guess: quotient of ideals -- Status:
- PM: total ring of fractions, id=5866 -- WP: Localization of a ring -- Status: A
-
- Oleg Alexandrov (talk) 03:44, 17 March 2006 (UTC)
- PM: cancellation ideal, id=7236new! -- WP guess: cancellation ideal -- Status:
- PM: fractional ideal of commutative ring, id=6986new! -- WP guess: fractional ideal of commutative ring -- Status:
- PM: invertible ideal is finitely generated, id=7239new! -- WP guess: invertible ideal is finitely generated -- Status:
[edit] 13B35 Completion
- PM: I-adic topology, id=6193 -- WP guess: I-adic topology -- Status:
- PM: formal power series, id=3148 -- WP guess: formal power series -- Status:
[edit] 13B99 Miscellaneous
- PM: algebra (module), id=3865 -- WP guess: algebra (module) -- Status:
- PM: every ring is an integer algebra, id=6449 -- WP guess: every ring is an integer algebra -- Status:
[edit] 13C05 Structure, classification theorems
- PM: characterization of prime ideals, id=7192new! -- WP guess: characterization of prime ideals -- Status:
- PM: decomposition of a module using orthogonal idempotents, id=6966new! -- WP guess: decomposition of a module using orthogonal idempotents -- Status:
[edit] 13C10 Projective and free modules and ideals
- PM: example of free module, id=4534 -- WP guess: example of free module -- Status:
[edit] 13C12 Torsion modules and ideals
- PM: torsion element, id=4665 -- WP guess: torsion element -- Status:
[edit] 13C13 Other special types
- PM: ideal generators in Prüfer ring, id=6102 -- WP guess: ideal generators in Prüfer ring -- Status:
- PM: ideal inverting in Prüfer ring, id=6103 -- WP guess: ideal inverting in Prüfer ring -- Status:
- PM: Prüfer ring, id=5533 -- WP guess: Prüfer ring -- Status:
- PM: pure subgroup, id=6661 -- WP guess: pure subgroup -- Status:
[edit] 13C14 Cohen-Macaulay modules
- PM: Cohen-Macaulay module, id=5696 -- WP guess: Cohen-Macaulay module -- Status:
[edit] 13C15 Dimension theory, depth, related rings (catenary, etc.)
- PM: Krull's principal ideal theorem, id=3664 -- WP guess: Krull's principal ideal theorem -- Status:
- PM: bound on the Krull dimension of polynomial rings, id=7196new! -- WP guess: bound on the Krull dimension of polynomial rings -- Status:
[edit] 13C99 Miscellaneous
- PM: Artin-Rees theorem, id=2963 -- WP guess: Artin-Rees theorem -- Status:
- PM: Nakayama's lemma, id=3563 -- WP: Nakayama's lemma -- Status: A
-
- Jtwdog 19:06, 17 October 2005 (UTC)
- PM: primary decomposition, id=5698 -- WP guess: primary decomposition -- Status: A
-
- Jtwdog 19:06, 17 October 2005 (UTC)
- PM: primary ideal, id=5697 -- WP guess: primary ideal -- Status: C
-
- Jtwdog 18:39, 28 October 2005 (UTC)
- PM: prime element, id=3094 -- WP: prime element -- Status: A
-
- Jtwdog 19:06, 17 October 2005 (UTC)
- PM: prime ideal, id=409 -- WP: prime ideal -- Status: A
-
- Jtwdog 19:06, 17 October 2005 (UTC)
- PM: proof of Artin-Rees theorem, id=6010 -- WP guess: proof of Artin-Rees theorem -- Status:
- PM: proof of Nakayama's lemma, id=3564 -- WP guess: proof of Nakayama's lemma -- Status:
- PM: proof of Nakayama's lemma, id=3764 -- WP guess: proof of Nakayama's lemma -- Status:
- PM: second isomorphism theorem, id=1334 -- WP guess: second isomorphism theorem -- Status:
- PM: bilinear map, id=7510new! -- WP guess: bilinear map -- Status:
[edit] 13D02 Syzygies and resolutions
-
- Jtwdog 19:04, 17 October 2005 (UTC)
[edit] 13D05 Homological dimension
- PM: global dimension, id=6539 -- WP guess: global dimension -- Status:
- PM: projective dimension, id=6519 -- WP guess: projective dimension -- Status:
[edit] 13D15 Grothendieck groups, $K$-theory
- PM: Grothendieck group, id=4290 -- WP guess: Grothendieck group -- Status:
[edit] 13E05 Noetherian rings and modules
- PM: Hilbert basis theorem, id=188 -- WP guess: Hilbert basis theorem -- Status:
- PM: Krull intersection theorem, id=6173 -- WP guess: Krull intersection theorem -- Status:
- PM: noetherian module, id=189 -- WP guess: noetherian module -- Status:
- PM: proof of Hilbert basis theorem, id=3365 -- WP guess: proof of Hilbert basis theorem -- Status:
- PM: Let N be a submodule of M. M is a Noetherian module iff M/N and N are Noetherian modules., id=7334new! -- WP guess: Let N be a submodule of M. M is a Noetherian module iff M/N and N are Noetherian modules. -- Status:
[edit] 13E15 Rings and modules of finite generation or presentation; number of generators
- PM: finitely generated modules over a principal ideal domain, id=4680 -- WP guess: finitely generated modules over a principal ideal domain -- Status:
[edit] 13F05 Dedekind, Prüfer and Krull rings and their generalizations
- PM: Jaffard ring, id=7197new! -- WP guess: Jaffard ring -- Status:
[edit] 13F07 Euclidean rings and generalizations
- PM: Euclidean domain, id=2955 -- WP guess: Euclidean domain -- Status:
- PM: Euclidean valuation, id=2956 -- WP guess: Euclidean valuation -- Status:
- PM: proof of Bezout's Theorem, id=3846 -- WP guess: proof of Bezout's Theorem -- Status:
- PM: proof that an Euclidean domain is a PID, id=3015 -- WP guess: proof that an Euclidean domain is a PID -- Status:
- PM: partial fractions in Euclidean domains, id=7612new! -- WP guess: partial fractions in Euclidean domains -- Status:
[edit] 13F10 Principal ideal rings
- PM: example of Smith normal form, id=5873 -- WP guess: example of Smith normal form -- Status:
- PM: Smith normal form, id=4611 -- WP guess: Smith normal form -- Status:
[edit] 13F15 Factorial rings, unique factorization domains
[edit] 13F25 Formal power series rings
[edit] 13F30 Valuation rings
- PM: discrete valuation ring, id=1727 -- WP: discrete valuation ring -- Status: A
-
- Jtwdog 18:59, 17 October 2005 (UTC)
[edit] 13G05 Integral domains
- PM: a finite integral domain is a field, id=3158 -- WP guess: integral domain -- Status:
- PM: an artinian integral domain is a field, id=3150 -- WP guess: integral domain -- Status:
- PM: Bezout domain, id=5801 -- WP guess: Bezout domain -- Status:
- PM: Dedekind-Hasse valuation, id=3188 -- WP guess: Dedekind-Hasse valuation -- Status:
- PM: example of PID, id=4175 -- WP guess: example of PID -- Status:
- PM: gcd domain, id=5800 -- WP guess: gcd domain -- Status:
- PM: integral domain, id=393 -- WP guess: integral domain -- Status:
- PM: irreducible, id=668 -- WP guess: irreducible -- Status:
- PM: motivation for Euclidean domains, id=3205 -- WP guess: motivation for Euclidean domains -- Status:
- PM: Schreier domain, id=6514 -- WP guess: Schreier domain -- Status:
- PM: valuation domain, id=4506 -- WP guess: valuation domain -- Status:
- PM: valuation domain is local, id=6599 -- WP guess: valuation domain is local -- Status:
- PM: zero divisor, id=3157 -- WP guess: zero divisor -- Status:
- PM: example of ring which is not a UFD, id=6882new! -- WP guess: example of ring which is not a UFD -- Status:
- PM: finite ring has no proper overrings, id=6942new! -- WP guess: finite ring has no proper overrings -- Status:
- PM: orders of elements in integral domain, id=7615new! -- WP guess: orders of elements in integral domain -- Status:
- PM: regular elements of finite ring, id=6941new! -- WP guess: regular elements of finite ring -- Status:
- PM: ring without irreducibles, id=6990new! -- WP guess: ring without irreducibles -- Status:
- PM: zero rule of product, id=6848new! -- WP guess: zero rule of product -- Status:
[edit] 13H05 Regular local rings
- PM: regular local ring, id=3851 -- WP: regular local ring -- Status: A
-
- Jtwdog 18:59, 17 October 2005 (UTC)
[edit] 13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
[edit] 13H99 Miscellaneous
- PM: local ring, id=2891 -- WP guess: local ring -- Status: A
-
- Jtwdog 19:01, 17 October 2005 (UTC)
- PM: semi-local ring, id=3303 -- WP guess: semi-local ring -- Status: NM
-
- Jtwdog 19:01, 17 October 2005 (UTC)
[edit] 13J05 Power series rings
[edit] 13J10 Complete rings, completion
- PM: completion, id=2923 -- WP guess: completion -- Status:
[edit] 13J25 Ordered rings
[edit] 13J99 Miscellaneous
[edit] 13K05 Witt vectors and related rings
- PM: p-ring, id=7016new! -- WP guess: p-ring -- Status:
- PM: Witt vectors, id=7017new! -- WP guess: Witt vectors -- Status:
[edit] 13M10 Polynomials
[edit] 13N05 Modules of differentials
- PM: universal derivation, id=7318new! -- WP guess: universal derivation -- Status:
[edit] 13N15 Derivations
- PM: derivation, id=1089 -- WP: derivation (abstract algebra) -- Status: A
-
- Jtwdog 18:57, 17 October 2005 (UTC)
- PM: Cartan Calculus, id=7507new! -- WP guess: Cartan Calculus -- Status:
[edit] 13P05 Polynomials, factorization
- PM: Horner's rule, id=1219 -- WP: Horner's rule -- Status: A
-
- Jtwdog 18:58, 17 October 2005 (UTC)
- PM: factoring all-one polynomials using the grouping method, id=6851new! -- WP guess: factoring all-one polynomials using the grouping method -- Status:
- PM: grouping method for factorizing polynomials, id=6850new! -- WP guess: grouping method for factorizing polynomials -- Status:
- PM: polynomial ring over integral domain, id=6918new! -- WP guess: polynomial ring over integral domain -- Status:
[edit] 13P10 Polynomial ideals, Gröbner bases
- PM: derivation of Sylvester's matrix for the resultant, id=6189 -- WP: Sylvester matrix -- Status: NM
-
- Jtwdog 03:28, 4 January 2006 (UTC)
- PM: example of resultant (1), id=6182 -- WP guess: example of resultant (1) -- Status:
- PM: example of resultant (2), id=6183 -- WP guess: example of resultant (2) -- Status:
- PM: Gröbner basis, id=3470 -- WP: Gröbner basis -- Status: A
-
- Jtwdog 03:28, 4 January 2006 (UTC)
- PM: proof that Sylvester's matrix equals the resultant, id=6190 -- WP: resultant,Sylvester matrix -- Status: N
-
- Jtwdog 03:29, 4 January 2006 (UTC)
-
- Jtwdog 03:28, 4 January 2006 (UTC)