Wikipedia:WikiProject Mathematics/PlanetMath Exchange/13-XX Commutative rings and algebras

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 &#9742; 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)


 * PM: subring, id=2738 -- WP: subring -- Status: NM
 * 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) -- 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) -- 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, id=6439 -- WP guess: unity -- 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) - AdamSmithee 16:03, 10 January 2006 (UTC)


 * PM: Cartesian product of vector spaces, id=7055 -- WP guess: Cartesian product of vector spaces -- Status:


 * PM: examples of rings, id=6718 -- WP guess: examples of rings -- Status:


 * PM: Minkowski sum, id=7060 -- WP guess: Minkowski sum -- Status:


 * PM: new vector spaces from old ones, id=7388 -- WP guess: new vector spaces from old ones -- Status:


 * PM: proof of second isomorphism theorem for rings, id=7206 -- WP guess: proof of second isomorphism theorem for rings -- Status:


 * PM: submodule, id=7040 -- WP guess: submodule -- Status:


 * PM: additive inverse of one element times another element is the additive inverse of their product, id=7677new! -- WP guess: additive inverse of one element times another element is the additive inverse of their product -- Status:


 * PM: alternative proof of condition on a near ring to be a ring, id=9689new! -- WP guess: alternative proof of condition on a near ring to be a ring -- Status:


 * PM: condition on a near ring to be a ring, id=9684new! -- WP guess: condition on a near ring to be a ring -- Status:


 * PM: Drinfel'd module, id=8612new! -- WP guess: Drinfel'd module -- Status:


 * PM: generated subring, id=9227new! -- WP guess: generated subring -- Status:


 * PM: properties of tensor product, id=9709new! -- WP guess: properties of tensor product -- Status:

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=7601 -- WP guess: support (graded ring) -- Status:

13A05 Divisibility

 * PM: group of units, id=6301 -- WP guess: group of units -- Status:


 * PM: primal element, id=6508 -- WP guess: primal element -- Status:

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=7314 -- WP guess: proof of Hilbert's Nullstellensatz -- Status:


 * PM: proof of the weak Nullstellensatz, id=7313 -- WP guess: proof of the weak Nullstellensatz -- Status:


 * PM: unity plus nilpotent is unit, id=6956 -- WP guess: unity plus nilpotent is unit -- Status:

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=7244 -- WP guess: entries on finitely generated ideals -- Status:


 * PM: multiplication rule gives inverse ideal, id=7243 -- WP guess: multiplication rule gives inverse ideal -- Status:


 * PM: product of finitely generated ideals, id=7217 -- WP guess: product of finitely generated ideals -- Status:

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:

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:

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: zero ring, id=4086 -- WP guess: zero ring -- Status:


 * PM: arithmetical ring, id=7237 -- WP guess: arithmetical ring -- Status:


 * PM: commutative ring, id=5169 -- WP guess: commutative ring -- Status:


 * PM: polynomial function, id=7617 -- WP guess: polynomial function -- Status:


 * PM: behavior, id=8091new! -- WP guess: behavior -- Status:


 * PM: behavior exists uniquely (finite case), id=8093new! -- WP guess: behavior exists uniquely (finite case) -- Status:


 * PM: behavior exists uniquely (infinite case), id=8092new! -- WP guess: behavior exists uniquely (infinite case) -- Status:


 * PM: criteria for cyclic rings to be isomorphic, id=8094new! -- WP guess: criteria for cyclic rings to be isomorphic -- Status:


 * PM: criterion for cyclic rings to be principal ideal rings, id=7962new! -- WP guess: criterion for cyclic rings to be principal ideal rings -- Status:


 * PM: cyclic rings and zero rings, id=9576new! -- WP guess: cyclic rings and zero rings -- Status:


 * PM: cyclic rings of behavior one, id=8104new! -- WP guess: cyclic rings of behavior one -- Status:


 * PM: cyclic rings that are isomorphic to k\mathbb{Z}, id=8095new! -- WP guess: cyclic rings that are isomorphic to k\mathbbZ -- Status:


 * PM: cyclic rings that are isomorphic to k{\mathbb{Z}}_{kn}, id=8096new! -- WP guess: cyclic rings that are isomorphic to k\mathbbZ_kn -- Status:


 * PM: Marot ring, id=7665new! -- WP guess: Marot ring -- Status:


 * PM: symmetric multilinear function, id=8269new! -- WP guess: symmetric multilinear function -- Status:


 * PM: the multiplicative identity of a cyclic ring must be a generator, id=7961new! -- WP guess: the multiplicative identity of a cyclic ring must be a generator -- Status:

13B02 Extension theory

 * PM: algebraic, id=1297 -- WP guess: algebraic -- Status:


 * PM: module-finite, id=2874 -- WP guess: module-finite -- Status:


 * PM: ring adjunction, id=5874 -- WP guess: ring adjunction -- Status:


 * PM: module-finite extensions are integral, id=9308new! -- WP guess: module-finite extensions are integral -- Status:


 * PM: ring-finite integral extensions are module-finite, id=9310new! -- WP guess: ring-finite integral extensions are module-finite -- Status:

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:


 * PM: kernel, id=817 -- WP guess: kernel -- Status:


 * PM: anti-isomorphism, id=8057new! -- WP guess: anti-isomorphism -- Status:

13B21 Integral dependence

 * PM: integral, id=1295 -- WP guess: integral -- Status:


 * PM: integrality is transitive, id=9309new! -- WP guess: integrality is transitive -- Status:

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=6879 -- 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=6883 -- WP guess: the ring of integers of a number field is finitely generated over \mathbbZ -- Status:


 * PM: proof of the ring of integers of a number field is finitely generated over \mathbb{Z}, id=8103new! -- WP guess: proof of the ring of integers of a number field is finitely generated over \mathbbZ -- Status:


 * PM: ring of S-integers, id=7970new! -- WP guess: ring of S-integers -- Status:

13B25 Polynomials over commutative rings

 * PM: homogeneous polynomial, id=6577 -- WP guess: homogeneous polynomial -- Status:

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=7236 -- WP guess: cancellation ideal -- Status:


 * PM: fractional ideal of commutative ring, id=6986 -- WP guess: fractional ideal of commutative ring -- Status:


 * PM: invertible ideal is finitely generated, id=7239 -- WP guess: invertible ideal is finitely generated -- Status:


 * PM: m-system, id=9873new! -- WP guess: m-system -- Status:


 * PM: complete ring of quotients, id=8473new! -- WP guess: complete ring of quotients -- Status:


 * PM: localization of a module, id=9831new! -- WP guess: localization of a module -- Status:


 * PM: multiplicatively closed, id=9875new! -- WP guess: multiplicatively closed -- Status:

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:

13B99 Miscellaneous

 * PM: algebra, id=353 -- WP guess: algebra -- Status:


 * 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:

13C05 Structure, classification theorems

 * PM: characterization of prime ideals, id=7192 -- WP guess: characterization of prime ideals -- Status:


 * PM: decomposition of a module using orthogonal idempotents, id=6966 -- WP guess: decomposition of a module using orthogonal idempotents -- Status:

13C10 Projective and free modules and ideals

 * PM: example of free module, id=4534 -- WP guess: example of free module -- Status:

13C12 Torsion modules and ideals

 * PM: torsion element, id=4665 -- WP guess: torsion element -- Status:

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:

13C14 Cohen-Macaulay modules

 * PM: Cohen-Macaulay module, id=5696 -- WP guess: Cohen-Macaulay module -- Status:

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: length, id=6156 -- WP guess: length -- Status:


 * PM: bound on the Krull dimension of polynomial rings, id=7196 -- WP guess: bound on the Krull dimension of polynomial rings -- Status:

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: support, id=1406 -- WP guess: support -- Status:


 * PM: bilinear map, id=7510 -- WP guess: bilinear map -- Status:


 * PM: bilinearity and commutative rings, id=9777new! -- WP guess: bilinearity and commutative rings -- Status:


 * PM: ideal included in union of prime ideals, id=9142new! -- WP guess: ideal included in union of prime ideals -- Status:


 * PM: scalar map, id=9778new! -- WP guess: scalar map -- Status:

13D02 Syzygies and resolutions

 * PM: syzygy, id=6524 -- WP: syzygy -- Status: NM
 * Jtwdog 19:04, 17 October 2005 (UTC)

13D05 Homological dimension

 * PM: global dimension, id=6539 -- WP guess: global dimension -- Status:


 * PM: projective dimension, id=6519 -- WP guess: projective dimension -- Status:

13D15 Grothendieck groups, $K$-theory

 * PM: Grothendieck group, id=4290 -- WP guess: Grothendieck group -- Status:

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=7334 -- WP guess: Let N be a submodule of M.  M is a Noetherian module iff M/N and N are Noetherian modules. -- Status:

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:

13F05 Dedekind, Prüfer and Krull rings and their generalizations

 * PM: Jaffard ring, id=7197 -- WP guess: Jaffard ring -- Status:

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=7612 -- WP guess: partial fractions in Euclidean domains -- Status:

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:

13F30 Valuation rings

 * PM: discrete valuation ring, id=1727 -- WP: discrete valuation ring -- Status: A
 * Jtwdog 18:59, 17 October 2005 (UTC)

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: PID, id=674 -- WP guess: PID -- Status:


 * PM: Schreier domain, id=6514 -- WP guess: Schreier domain -- Status:


 * PM: UFD, id=671 -- WP guess: UFD -- 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=6882 -- WP guess: example of ring which is not a UFD -- Status:


 * PM: finite ring has no proper overrings, id=6942 -- WP guess: finite ring has no proper overrings -- Status:


 * PM: orders of elements in integral domain, id=7615 -- WP guess: orders of elements in integral domain -- Status:


 * PM: regular elements of finite ring, id=6941 -- WP guess: regular elements of finite ring -- Status:


 * PM: ring without irreducibles, id=6990 -- WP guess: ring without irreducibles -- Status:


 * PM: zero rule of product, id=6848 -- WP guess: zero rule of product -- Status:


 * PM: alternative proof that a finite integral domain is a field, id=8502new! -- WP guess: alternative proof that a finite integral domain is a field -- Status:


 * PM: prime element is irreducible in integral domain, id=9594new! -- WP guess: prime element is irreducible in integral domain -- Status:


 * PM: prime factors of x^n-1, id=8673new! -- WP guess: prime factors of x^n-1 -- Status:


 * PM: UFD's are integrally closed, id=7790new! -- WP guess: UFD's are integrally closed -- Status:

13H05 Regular local rings

 * PM: regular local ring, id=3851 -- WP: regular local ring -- Status: A
 * Jtwdog 18:59, 17 October 2005 (UTC)

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)

13J10 Complete rings, completion

 * PM: completion, id=2923 -- WP guess: completion -- Status:

13J99 Miscellaneous

 * PM: closure of sets closed under a finitary operation, id=9349new! -- WP guess: closure of sets closed under a finitary operation -- Status:

13K05 Witt vectors and related rings

 * PM: p-ring, id=7016 -- WP guess: p-ring -- Status:


 * PM: Witt vectors, id=7017 -- WP guess: Witt vectors -- Status:

13N05 Modules of differentials

 * PM: universal derivation, id=7318 -- WP guess: universal derivation -- Status:

13N15 Derivations

 * PM: derivation, id=1089 -- WP: derivation (abstract algebra) -- Status: A
 * Jtwdog 18:57, 17 October 2005 (UTC)


 * PM: Cartan Calculus, id=7507 -- WP guess: Cartan Calculus -- Status:

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=6851 -- WP guess: factoring all-one polynomials using the grouping method -- Status:


 * PM: grouping method for factorizing polynomials, id=6850 -- WP guess: grouping method for factorizing polynomials -- Status:


 * PM: polynomial ring over integral domain, id=6918 -- WP guess: polynomial ring over integral domain -- Status:

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)


 * PM: resultant, id=6181 -- WP: resultant -- Status: A
 * Jtwdog 03:28, 4 January 2006 (UTC)