A theorem of Gilmer and the canonical universal splitting ring

DOI10.1216/JCA-2014-6-1-101MaRDI QIDQ2453704zbMATH OpenOpenAlexFDO

Authors Fred Richman

Publication date 10 June 2014

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jca/1401715580

zbMATH Keywords

Constructive proofPerfect field.Polynomials

Mathematics Subject Classification ID

Polynomials in real and complex fields: factorization (12D05) Algebraic field extensions (12F05)

Review text

In his paper [Am. Math. Mon. 75, 1101--1102 (1968; Zbl 0172.05303)] \textit{R. Gilmer} proved that if \(k\subset E\) is a tower of fields such that every nonzero polynomial over \(k\) has a root in \(E\), then each polynomial in \(k[X]\) splits in \(E[X]\). In this paper, the author gives a constructive proof of a slight generalization of Gilmer's theorem.

Recommendations

• scientific article; zbMATH DE number 4198251
• scientific article; zbMATH DE number 431798
• scientific article; zbMATH DE number 2130873
• scientific article; zbMATH DE number 5657722
• The splitting property for graded rings
• An integrality theorem of Grosshans over arbitrary base ring
• Frobenius splitting of certain rings of invariants
• The separable Galois theory of commutative rings
• A generalization of Brauer's theorem on splitting fields to semigroups
• scientific article; zbMATH DE number 3891591

Cites work

• A course in constructive algebra
• A Note on the Algebraic Closure of a Field
• scientific article; zbMATH DE number 3902926 (Why is no real title available?)
• scientific article; zbMATH DE number 3083503 (Why is no real title available?)
• The World's simplest axiom of choice fails
• Van Der Waerden's Construction of a Splitting Field

Cited in

(10)

• A necessary and sufficient condition for the existence of nontrivial S_n-invariants in the splitting algebra
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: A theorem of Gilmer and the canonical universal splitting ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2453704)