Direct Limits of Finite Products of Fields

Direct Limits of Finite Products of Fields

Palestine Journal of Mathematics Vol. 2(1) (2013) , 9–13 © Palestine Polytechnic University-PPU 2013 Direct limits of finite products of fields D. Karim Communicated by Ayman Badawi MSC 2010 Classifications: 16E50 Keywords and phrases: Direct limit, von Neumann regular rings, fields, direct sum, directed union, product. Abstract. Let R be a von Neumann regular ring. The main results of this paper assert whether a von Neumann regular ring is expressible as a directed union of finite products of fields. 1 Introduction All rings considered in this paper are commutative with unit and all ring-homomorphisms are unital. If R is a subring of a ring S, we assume that R and S have the same unity. We let Idem(R), C(R) and A(R) respectively be the set of idempotents of R, the set fchar(R=M) : M is a maximal ideal of Rg and the set of Artinian subrings of R. Recall that R is von Neumann regular (vNr for short) if R is reduced and zero-dimensional. If R is vNr with Idem(R) finite then R is a finite product of fields, and hence Artinian [13, Lemma 1]. During the last ten years, many papers, that are source of motivation for this work, investigated vNr rings, Artinian rings and directed unions of finite products of fields (see e.g. [4, 5, 10, 13]). Particularly, it was shown that a hereditarily zero-dimensional ring is a directed union of finite products of fields, and that for a ring R, A(R) needs not be directed. On the other hand, Q [4, Theorem 6.7] gave necessary and sufficient conditions for a product α2A Rα of non zero rings to be directed union of Artinian subrings. In this paper, we deal with the problem of when a vNr is expressible as a directed union of finite products of fields, raised by Gilmer and Heinzer in 1992 ([2, Problem 42]). Of partic- ular interest is [4, Corollary 5.5], which shows that any zero–dimensional ring R with a finite spectrum is a directed union of finite products of fields. The result we give in Theorem 3.1 de- termines necessary and sufficient conditions under which a vNr ring is a directed union of finite products of fields. We also investigate this class of rings in connection with their families of residue fields F(R) = fR=M : M a maximal ideal of Rg. On the other hand, let fRαgα2A be Q a nonempty family of nonzero rings and Rα their direct product. We frequently consider Q α2AS α2A Rα as the set of all functions f : A −! α2A Rα, such that f(α) 2 Rα for each α 2 A, with addition and multiplication defined pointwise. In this perspective, the direct sum ideal of Q L Q α2A Rα, denoted α2A Rα, is the set of all functions f 2 α2A Rα that are finitely nonzero (i.e. fα 2 A : f(α) =6 0 in Rαg is finite). The paper is organized as follows. In Section 2, we consider conditions under which S is a di- rected union of finite products of fields. Firstly, we show that if R is a von Neumann regular ring Q R such that R ⊂ S ⊂ , where fMλgλ2 = Max(R) and S is a directed union of finite λ2L Mλ L products of fields, then R and S have the same set of residue fields. In Section 3, we investigate some conditions under which a von Neumann regular ring is a directed union of finite products of fields. 2 General results and counterexample S Let (Rj; fjk) be a directed system of rings, indexed by a directed set (I; ≤). Let R = j2I Rj, together with the canonical maps fj : Rj −! R. The ring R is said to be a directed union of the Rj’s if the fjk’s are inclusion maps. Thus, directed unions can be treated by assuming all fjk to be monomorphisms. Notice that R needs not be Artinian even if each Rj is Artinian. There are several well–known results concerning rings which can be written as a directed union of finite products of fields. For instance, every ring with only finitely many idempotent elements is a directed union of Artinian subrings (see [4, Corollary 5.5 ]). Now, let F = fFigi2I and G = fKjgj2J be two indexed families of fields. We say that F = G if there exists a bijection f : I −! J such that Fi and Kf(i) are isomorphic fields for each i 2 I. We say that F ⊆ G if there exists an injection map f : I −! J such that Fi ' Kf(i) for each i. 10 D. Karim Q R Proposition 2.1. Let R be a Von Neumann regular ring and R ⊂ T ⊂ λ2L M such that S λ T = i2I Ti is a directed union of finite products of fields. Then F(R) = F(T ). Proof. Let K 2 F(R) then there exists Mλ 2 Max(R) such that K ' R=Mλ . If Q = Q o o Aλ such that Aλ ≡ 0 modulo Mλ and Aλ = R=Mλ for λ =6 λo, then Q \ R = Mλ . λ2L o o Q o Let P = Q \ T , then R=Mλo ⊆ T=P and, up to isomorphism, T=P ⊆ ( λ2L R=Mλ)=Q ' R=Mλ . Therefore R=Mλ ' T=P . Given L 2 F(T ), there exists P 2 Max(T ) such that o S o S L ' T=P . Since T = Ti, we have P = Pi, where Pi = P \ Ti 2 Spec(Ti). For Qi2I i2I each i, Ti is a subring of R=Mλ and Ti is isomorphic to a finite product of fields. Since λ2L S fTigi2I is directed, so is fTi=Pigi2I . It follows that Ti=Pi is a field. Hence, there exists S i2I Mλ 2 Max(R) such that Ti=Pi ⊆ R=Mλ . It is shown in [9, Proposition 6.1.2, page 128] o S i2I Q o that T=P = i2I Ti=Pi. Let Q = λ2L Kλ such that Kλ = R=Mλ for each λ 2 Lfλog and Kλo ≡ 0 modulo Mλo . Therefore, P ⊆ Q\T , and since P is maximal in T , we have P = Q\T . Since P \ R = Q \ T \ R = Q \ R = Mλo , R=Mλo ⊆ T=P , i.e., T=P = R=Mλo and hence F(T ) ⊆ F(R). Thus, F(T ) = F(R). From Proposition 2.1, we deduce that if R is a directed union of finite products of fields then F(R) = F(T ), where R ⊂ T ⊂ Q R , but the converse fails as shown in the following λ2L Mλ example. Counterexample 2.2. Let p be a positive prime integer and fqigi2N∗ be an infinite family of S qi 1 positive prime integers. Let F = fGF (p)g fGF (p )gi=1 be a family of finite Galois fields. qi ∗ We denote by 'i the natural imbedding of GF (p) into GF (p ) for each i 2 N . Let ' = Q1 Q1 qi L1 qi i=1 'i, T = i=1 GF (p ) and I = i=1 GF (p ) be the direct sum ideal of T . We denote ∗ Ro = GF (p) = '(GF (p)) the diagonal imbedding of GF (p) in T . Let V = Ro + I, since V is a subring of T and dim(V )=0 [6, Proposition 2.7], then V is a Von Neumann regular ring. We S qi 1 qi claim that F(V ) = fGF (p)g fGF (p )gi=1. Let pi : T ! GF (p ) be the canonical projection and pijV its restriction on V , which is a surjective homomorphism. We have KerpijV = (1 − T ei)T V = (1 − ei)V = Mi, with ei the primitive idempotent with support fig, and V=Mi ' GF (pqi ) for each i 2 N∗. Also, I is a maximal ideal of V and V=I ' (GF (p))∗ ' GF (p). Thus 1 fIg [ fMigi=1 ⊆ Max(V ). Let P 2 Spec(V ), if I ⊆ P , then I = P . If I * P then ei 2= P , ∗ for some i 2 N , and hence 1 − ei 2 P . Therefore, Mi ⊆ P and P = Mi. As consequence, S 1 S qi Max(V ) = fIg fMigi=1. Thus F(V ) = fGF (p)g fGF (p )g. From [11, Theorem 5.5 qi qi ∗ page 247], GF (p ) = GF (p)(ai), where ai is a p -th primitive root of unity, for each i 2 N . o Q1 qi Let R be the minimal zero-dimensional subring of i=1 GF (p ) containing V [a], where a = 1 faigi=1. Since V [a] = Ro[a] + I[a], we have V [a]=I[a] ' Ro[a] ' GF (p)[X] because a is a transcendental element over Ro. Therefore, qf(V [a]=I[a]) ' GF (p)(X). By [7, Theorem 3.3], o qi 1 S F(R ) = fqf(R=P ) : P 2 Spec(R) is contracted from T g = fGF (p )gi=1 fGF (p)(X)g. Since a 2 Ro and a is in no finite product of fields, then Ro is not a directed union of finite products of fields. By [4, Proposition 5.3 (2)], R = Ro ⊕ GF (p) is a Von Neumann regular ring which is not a directed union of finite products of fields. Let W be a field containing each qi Q1 qi GF (p ) and GF (p)(X). Given y = fyigi2Z+ 2 i=1 GF (p ) × GF (p)(X) × GF (p), let + + + + jjyjj = fyi : i 2 Z g ⊆ W. Finally, put S = fy 2 WZ : jjyjj is finiteg. Let ' : WZ ! WZ a homomorphism defined by '(X) = a and let S1 = '(S).

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us