Subrings of C Generated by Angles
نویسندگان
چکیده
In [1], Buhler et al. considered the following scenario. Given a collection U of unit magnitude complex numbers and a set S of constructed points initially containing just 0 and 1, through each constructed point draw lines whose angles with the real axis are in U . The intersections of such lines are also constructed points. Upon taking the closure we form a set R(U). They investigated which U result in R(U) being a ring. Our main result holds for when 1 ∈ U and |U | ≥ 4. We classify R(U) as the set of linear combinations of elementary monomials which are the points constructed in the first step. The coefficients are taken from Z[P ] = R(U) ∩ R which is easily calculated. We also show that when |U | ≥ 4, R(U) is dense in the complex plane. Furthermore, we classify R(U) completely for when 1 ∈ U and |U | ≥ 3, showing that R(U) is a ring whenever one of the points constructed in the first step is a quadratic integer. 1 Background Suppose we are given a collection U of unit length elements of C. If we have some collection of points in C, we can draw lines through each of them with every angle in U (with respect to the real axis). In this way we can construct intersections of lines and repeat the process. Specifically, if we start with 0 and 1 in the complex plane and continue this construction forever until it’s completed, when is the resulting collection of points a subring of the complex numbers? Note that even though we are drawing lines, only the intersection points are considered to be constructed. In [1], Buhler et al. motivated
منابع مشابه
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...
متن کامل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...
متن کاملInitial ideals, Veronese subrings, and rates of algebras
Let S be a polynomial ring over an infinite field and let I be a homogeneous ideal of S. Let Td be a polynomial ring whose variables correspond to the monomials of degree d in S. We study the initial ideals of the ideals Vd(I) ⊂ Td that define the Veronese subrings of S/I. In suitable orders, they are easily deduced from the initial ideal of I. We show that in(Vd(I)) is generated in degree ≤ ma...
متن کامل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...
متن کامل