finitary algebraic categoriesgeneralized FMR-theorempullbackpushoutrational functions in several variablesstable monos
Polynomials in general fields (irreducibility, etc.) (12E05) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
The theorem of \textit{M. D. Fried} and \textit{R. E. MacRae} [Ill. J. Math. 13, 165--171 (1969; Zbl 0174.07302), Math. Ann. 180, 220--226 (1969; Zbl 0185.28803)] states that for polynomials \(L,R,l,r\) in several variables over a field \(k\) there exists a univariate polynomial \(H\) over \(k\) with \(L=H(l)\), \(R=H(r)\) iff \(l-r\) divides the polynomial \(L-R\). The authors are able to deduce this from a category theoretical statement: the pushout diagram of stable monos is also a pullback diagram (not in general but in these finitary algebraic categories they consider). As a consequence, with some additional assumptions, the authors can prove a generalized FMR-theorem for rational functions in several variables.
- A Note on a Theorem of H. FRIEDMAN
- scientific article; zbMATH DE number 1112788
- On a theorem of MacCluer and Shapiro
- Note on the Braikenridge-Maclaurin theorem
- Note on a theorem of Bousfield and Friedlander
- scientific article; zbMATH DE number 3247590
- A note on the Fueter theorem
- A note on the Boyd-McKenzie theorem
- A Note on Fubini's Theorem
- scientific article; zbMATH DE number 4004634
- On some classes of irreducible polynomials
- Macphail's theorem revisited
- Computation of unirational fields
- A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions
- On multivariate rational function decomposition
- On the problem of separating variables in multivariate polynomial ideals
- Nearly optimal algorithms for the decomposition of multivariate rational functions and the extended Lüroth theorem
This page was built for publication: A note on a theorem of Fried and MacRae
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1901987)