Wikipedia:WikiProject Mathematics/PlanetMath Exchange/13-XX Commutative rings and algebras
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.
13-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
edit- PM: (-1)\cdot a= -a, id=5674 -- WP : Ring (mathematics) -- Status: N
- PM: (-x)\cdot (-y)= x\cdot y, id=5675 -- WP: Ring (mathematics) -- Status: N
- PM: 0\cdot a=0, id=5673 -- WP: Ring (mathematics) -- Status: N
- PM: absolute value, id=448 -- WP: absolute value -- Status: A
- 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: concepts in abstract algebra, id=6330 -- WP: none -- Status: N
- PM: concepts in linear algebra, id=5663 -- WP: none -- Status: N
- PM: every prime ideal is radical, id=4712 -- WP: Prime ideal, Radical of an ideal -- Status: NM
- PM: examples of module, id=6180 -- WP: Module (mathematics) -- Status: A
- 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
- PM: radical of an ideal, id=2850 -- WP guess: radical of an ideal -- Status:
- PM: ring, id=354 -- WP: Ring (mathematics) -- Status: A
- 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
- 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
- PM: zero vector in a vector space is unique, id=4256 -- WP: vector space -- Status: A
- 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: 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
edit- 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
edit- 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
edit- PM: Hilbert's Nullstellensatz, id=3474 -- WP guess: Hilbert's Nullstellensatz -- Status:
- PM: nilradical, id=3114 -- WP: nilradical -- Status: A
- 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
edit- 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
edit- 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
edit- PM: invariant polynomial, id=4337 -- WP guess: invariant polynomial -- Status:
- PM: Schwarz (1975) theorem, id=4329 -- WP guess: Schwarz (1975) theorem -- Status:
13A99 Miscellaneous
edit- 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=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 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:
13Axx General commutative ring theory
edit13B02 Extension theory
edit- 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:
13B05 Galois theory
edit13B10 Morphisms
edit- 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: anti-isomorphism, id=8057new! -- WP guess: anti-isomorphism -- Status:
13B21 Integral dependence
edit- 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.)
edit- 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
edit- PM: homogeneous polynomial, id=6577 -- WP guess: homogeneous polynomial -- Status:
13B30 Quotients and localization
edit- 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: 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
- 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: 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
edit- 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
edit- 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:
13Bxx Ring extensions and related topics
edit13C05 Structure, classification theorems
edit- 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
edit- PM: example of free module, id=4534 -- WP guess: example of free module -- Status:
13C12 Torsion modules and ideals
edit- PM: torsion element, id=4665 -- WP guess: torsion element -- Status:
13C13 Other special types
edit- 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
edit- PM: Cohen-Macaulay module, id=5696 -- WP guess: Cohen-Macaulay module -- Status:
13C15 Dimension theory, depth, related rings (catenary, etc.)
edit- 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=7196 -- WP guess: bound on the Krull dimension of polynomial rings -- Status:
13C99 Miscellaneous
edit- PM: Artin-Rees theorem, id=2963 -- WP guess: Artin-Rees theorem -- Status:
- PM: Nakayama's lemma, id=3563 -- WP: Nakayama's lemma -- Status: A
- PM: primary decomposition, id=5698 -- WP guess: primary decomposition -- Status: A
- PM: primary ideal, id=5697 -- WP guess: primary ideal -- Status: C
- PM: prime element, id=3094 -- WP: prime element -- Status: A
- PM: prime ideal, id=409 -- WP: prime ideal -- Status: A
- 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=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:
13Cxx Theory of modules and ideals
edit13D02 Syzygies and resolutions
edit13D05 Homological dimension
edit- 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
edit- PM: Grothendieck group, id=4290 -- WP guess: Grothendieck group -- Status:
13Dxx Homological methods
edit13E05 Noetherian rings and modules
edit- 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:
13E15 Rings and modules of finite generation or presentation; number of generators
edit- PM: finitely generated modules over a principal ideal domain, id=4680 -- WP guess: finitely generated modules over a principal ideal domain -- Status:
13Exx Chain conditions, finiteness conditions
edit13F05 Dedekind, Prüfer and Krull rings and their generalizations
edit- PM: Jaffard ring, id=7197 -- WP guess: Jaffard ring -- Status:
13F07 Euclidean rings and generalizations
edit- 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
edit- 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:
13F15 Factorial rings, unique factorization domains
edit13F25 Formal power series rings
edit13F30 Valuation rings
edit- PM: discrete valuation ring, id=1727 -- WP: discrete valuation ring -- Status: A
13Fxx Arithmetic rings and other special rings
edit13G05 Integral domains
edit- 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=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
edit- PM: regular local ring, id=3851 -- WP: regular local ring -- Status: A
13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
edit13H99 Miscellaneous
edit- PM: local ring, id=2891 -- WP guess: local ring -- Status: A
- PM: semi-local ring, id=3303 -- WP guess: semi-local ring -- Status: NM
13Hxx Local rings and semilocal rings
edit13J05 Power series rings
edit13J10 Complete rings, completion
edit- PM: completion, id=2923 -- WP guess: completion -- Status:
13J25 Ordered rings
edit13J99 Miscellaneous
edit- PM: closure of sets closed under a finitary operation, id=9349new! -- WP guess: closure of sets closed under a finitary operation -- Status:
13Jxx Topological rings and modules
edit13K05 Witt vectors and related rings
edit- PM: Witt vectors, id=7017 -- WP guess: Witt vectors -- Status:
13M05 Structure
edit13M10 Polynomials
edit13M99 Miscellaneous
edit13Mxx Finite commutative rings
edit13N05 Modules of differentials
edit- PM: universal derivation, id=7318 -- WP guess: universal derivation -- Status:
13N15 Derivations
edit- PM: derivation, id=1089 -- WP: derivation (abstract algebra) -- Status: A
- PM: Cartan Calculus, id=7507 -- WP guess: Cartan Calculus -- Status:
13Nxx Differential algebra
edit13P05 Polynomials, factorization
edit- PM: Horner's rule, id=1219 -- WP: Horner's rule -- Status: A
- 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
edit- PM: derivation of Sylvester's matrix for the resultant, id=6189 -- WP: Sylvester matrix -- Status: NM
- 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
- PM: proof that Sylvester's matrix equals the resultant, id=6190 -- WP: resultant,Sylvester matrix -- Status: N