Polynomial rings in finitely many commuting indeterminates by iteration

Depends on

• The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution
• Polynomial convolution makes $R[x]$ a commutative ring containing $R$ as its constant subring

Used by

• A polynomial ring in finitely many indeterminates over an integral domain is an integral domain Corollary
• A polynomial ring on a finite ordered family agrees canonically with the iterated polynomial-ring construction Corollary
• For every fixed finite size at least one, the determinant of a real square matrix is a polynomial in its matrix entries Corollary
• If R is Noetherian then R[x₁,…,xₙ] is Noetherian for every n∈ℕ Corollary
• A nonradical ideal need not enlarge every tangent space Counterexample
• For a field F, the ideal (x,y) in F[x,y] is not principal Counterexample
• Acceptance polynomials and approximate degree on Boolean domains Definition
• Arithmetization of Boolean formulas Definition
• Basic degrees, exponents, and the graded coinvariant algebra of a finite Coxeter system Definition
• Classical affine algebraic sets, including the empty boundaries Definition
• Length generating series, descent-class series, spherical subsets, and the multivariate descent polynomial Definition
• Lexicographic order on exponent tuples and the multidegree of a nonzero polynomial Definition
• Monomials, coefficients, degree in each variable and total degree in F[x₁,…,xₙ] Definition
• Multilinear extension of a Boolean-cube table Definition
• Multilinear polynomials and the reduction xᵢ²↦ xᵢ on the cube Definition
• Polynomial identity testing Definition
• Subalgebra generated by a subset, algebras of finite type, and module-finite algebras Definition
• Sum-check with explicit degree bounds Definition
• Symmetric polynomials as the invariants of variable permutations Definition
• The cycle index of a finite permutation group Definition
• The deformed category O family over the Cartan symmetric algebra Definition
• The elementary symmetric polynomials e₀,e₁,…,eₙ Definition
• The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum Definition
• The standard type-A reflection realization and its polynomial ring Definition
• The Vandermonde polynomial Δₙ=∏_i<j(xᵢ-xⱼ) Definition
• A nondegenerate projective quadric Example
• A one-query exact algorithm on a two-point OR promise Example
• A projective cone with a smooth conic base Example
• k[x,y]/(xy) and ℤ[x]/(x²-2) are Noetherian without classifying their ideals Example
• The diagonal bimodule k[x] is projective on both sides but not over its enveloping algebra Example
• The invariants and the coinvariant Hilbert series of I₂(m): an explicit computation and the noncrystallographic contrast Example
• The polynomial ring in countably many variables is not Noetherian Example
• The rank-one 2 by 2 determinantal cone Example
• The subalgebra k[x,xy,xy²,…] of k[x,y] is not Noetherian Example
• The subring k[x,y,x/y,x/y²,…] of k(x,y) has a strictly ascending chain of principal ideals Example
• The symmetric polynomials as the invariant ring of the symmetric group, seen through Noether's finiteness theorem Example
• Vanishing sets and vanishing ideals form a contravariant Galois connection Example
• False statement: in a Noetherian ring there is a single bound on the number of generators an ideal needs False statement
• Tor one of R modulo I and M is not always the I-torsion submodule of M False statement
• A polynomial vanishing at every tuple from an infinite subdomain is the zero polynomial Lemma

…and 28 more results.

Dependency tree · two levels

7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

• Thomas W. Judson, Abstract Algebra: Theory and Applications, Chapter 17.1 (standard reference, not scraped)
• Neil Donaldson, Math 120B Notes, Section 22, More general constructions (standard reference, not scraped)