## The existence of solutions of abstract partial difference polynomials.

HTML articles powered by AMS MathViewer

- by Irving Bentsen PDF
- Trans. Amer. Math. Soc.
**158**(1971), 373-397 Request permission

## Abstract:

A partial difference (p.d.) ring is a commutative ring $R$ together with a (finite) set of isomorphisms (called transforming operators) of $R$ into $R$ which commute under composition. It is shown here that (contrary to the ordinary theory [R. M. Cohn,*Difference algebra*]) there exist nontrivial algebraically irreducible abstract p.d. polynomials having no solution and p.d. fields having no algebraically closed p.d. overfield. If $F$ is a p.d. field with two transforming operators, then the existence of a p.d. overfield of $F$ whose underlying field is an algebraic closure of that of $F$ is a necessary and sufficient condition for every nontrivial algebraically irreducible abstract p.d. polynomial $P$ in the p.d. polynomial ring $F\{ {y^{(1)}},{y^{(2)}}, \ldots ,{y^{(n)}}\}$ to have a solution $\eta$ (in some p.d. overfield of $F$) such that: $\eta$ has $n - 1$ transformal parameters, $\eta$ is not a proper specialization over $F$ of any other solution of $P$, and, if $Q$ is a p.d. polynomial whose indeterminates appear effectively in $P$ and $Q$ is annulled by $\eta$, then $Q$ is a multiple of $P.P$ has at most finitely many isomorphically distinct such solutions. Necessity holds if $F$ has finitely many transforming operators.

## References

- Albert E. Babbitt Jr.,
*Finitely generated pathological extensions of difference fields*, Trans. Amer. Math. Soc.**102**(1962), 63–81. MR**133326**, DOI 10.1090/S0002-9947-1962-0133326-0 - A. Białynicki-Birula,
*On Galois theory of fields with operators*, Amer. J. Math.**84**(1962), 89–109. MR**141663**, DOI 10.2307/2372805 - Richard M. Cohn,
*Manifolds of difference polynomials*, Trans. Amer. Math. Soc.**64**(1948), 133–172. MR**25438**, DOI 10.1090/S0002-9947-1948-0025438-X
—, - H. F. Kreimer,
*The foundations for an extension of differential algebra*, Trans. Amer. Math. Soc.**111**(1964), 482–492. MR**159818**, DOI 10.1090/S0002-9947-1964-0159818-8 - Serge Lang,
*Introduction to algebraic geometry*, Interscience Publishers, Inc., New York-London, 1958. MR**0100591**
W. C. Strodt, - Oscar Zariski and Pierre Samuel,
*Commutative algebra, Volume I*, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, New Jersey, 1958. With the cooperation of I. S. Cohen. MR**0090581**

*Difference algebra*, Interscience Tracts in Pure and Appl. Math., no. 17, Interscience, New York, 1965. MR

**34**#5812.

*Systems of algebraic partial difference equations*, Unpublished Master’s Essay, Columbia University, New York, 1937.

## Additional Information

- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**158**(1971), 373-397 - MSC: Primary 12.80
- DOI: https://doi.org/10.1090/S0002-9947-1971-0279078-0
- MathSciNet review: 0279078