Let Z be the ring of rational integers. Construct an integral domain I satisfying the following conditions:
a)ZI;
b) no element of I \minus{} \mathbb{Z} (only in I) is algebraic over Z (that is, not a root of a polynomial with coefficients in Z);
c) I only has trivial endomorphisms.
E. Fried calculusintegrationalgebrafunctiondomainpolynomialRing Theory