On freely generated E-subrings
نویسندگان
چکیده
In this paper we prove, without assuming Schanuel’s conjecture, that the E-subring generated by a real number not definable without parameters in the real exponential field is freely generated. We also obtain a similar result for the complex exponential field.
منابع مشابه
On the Cohen-macaulay Modules of Graded Subrings
We give several characterizations for the linearity property for a maximal Cohen-Macaulay module over a local or graded ring, as well as proofs of existence in some new cases. In particular, we prove that the existence of such modules is preserved when taking Segre products, as well as when passing to Veronese subrings in low dimensions. The former result even yields new results on the existenc...
متن کاملEquivariant total ring of fractions and factoriality of rings generated by semiinvariants
Let F be an affine flat group scheme over a commutative ring R, and S an F -algebra (an R-algebra on which F acts). We define an equivariant analogue QF (S) of the total ring of fractions Q(S) of S. It is the largest F -algebra T such that S ⊂ T ⊂ Q(S), and S is an F -subalgebra of T . We study some basic properties. Utilizing this machinery, we give some new criteria for factoriality (UFD prop...
متن کاملz_R-Ideals and z^0_R -Ideals in Subrings of R^X
Let X be a topological space and R be a subring of RX. By determining some special topologies on X associated with the subring R, characterizations of maximal fixxed and maximal growing ideals in R of the form Mx(R) are given. Moreover, the classes of zR-ideals and z0R-ideals are introduced in R which are topological generalizations of z-ideals and z0-ideals of C(X), respectively. Various c...
متن کاملHomological Localizations of Eilenberg-mac Lane Spectra
We discuss the Bousfield localization LEX for any spectrum E and any HR-module X, where R is a ring with unit. Due to the splitting property of HR-modules, it is enough to study the localization of Eilenberg– MacLane spectra. Using general results about stable f -localizations, we give a method to compute the localization of an Eilenberg–MacLane spectrum LEHG for any spectrum E and any abelian ...
متن کاملOrdered Subrings of the Reals in Which Output Sets Are Recursively Enumerable
In On a theory of computation and complexity over the real numbers ... , Bull. Amer. Math. Soc. 21 (1989), 1-46, Blum, Shub, and Smale investigated computability over the reals and over ordered rings in general. They showed that over the reals, output sets of machines are recursively enumerable (i.e., halting sets of machines). It is asked in the aforementioned paper which ordered rings have th...
متن کامل