University of Kabianga P.O. Box , Kericho, KENYA 2,3 Department of Mathematics

Size: px
Start display at page:

Download "University of Kabianga P.O. Box , Kericho, KENYA 2,3 Department of Mathematics"

Transcription

1 International Journal of Pure and Applied Mathematics Volume 86 No , ISSN: (printed version); ISSN: (on-line version) url: doi: PAijpam.eu ON THE REGULAR ELEMENTS OF RINGS IN WHICH THE PRODUCT OF ANY TWO ZERO DIVISORS LIES IN THE GALOIS SUBRING Owino Maurice Oduor 1, Omamo Aggrey Libendi 2, Musoga Christopher 3 1 Department of Mathematics and Computer Science University of Kabianga P.O. Box , Kericho, KENYA 2,3 Department of Mathematics Masinde Muliro University of Science and Technology P.O. Box , Kakamega, KENYA Abstract: Suppose R is a completely primary finite ring in which the product of any two zero divisors lies in the Galois (coefficient) subring. We construct R and find a generalized characterization of its regular elements. AMS Subject Classification: 13M05, 16P10, 16U60, 13E10, 16N20 Key Words: unit groups, completely primary finite rings 1. Introduction Unless otherwise stated, J(R) shall denote the Jacobson radical of a completely primary finite ring R. We shall denote the coefficient (Galois) subring of R by R. The set of all the regular elements in R shall be denoted by V(R). The rest of the notations shall be adopted from [1]. An element x R is called regular if there exists y R such that x = x 2 y. The element y is called a von Neumann inverse of x, see e.g [2]. It is well known that in any local ring, a regular element is either a unit or zero. Further details on the classes of completely primary finite rings consideredin this work may be Received: January 28, 2013 Correspondence author c 2013 Academic Publications, Ltd. url:

2 334 O.M. Oduor, O.A. Libendi, M. Christopher obtained in [3] and [4]. 2. The Construction Let R be the Galois ring of the form GR(p nr,p n ). For each i = 1,...,h, let u i J(R), suchthat U isanh- dimensional R -modulegenerated byu 1,...,u h } so that R = R U is an additive group. On this group, define multiplication by the following relations: (i) If n = 2, then u i u j = pα ij,u 3 i = u2 i u j = u i u 2 j = 0,u ir = (r ) σ i u i (ii) If n 3, then p n 1 u i = 0,u i u j = p 2 α ij +p n 1 β ij,u n i = ui n 1 u j = u i uj n 1 = 0,u i r = (r ) σ i u i, where r,α ij R, β ij R /pr, 1 i,j h and σ i is the automorphism associated with u i. Further, let pu i = u i u j = 0, when u i U. From the given multiplication in R, we notice that r,s R,γ i,λ i F 0 are elements of R, then (r + λ i u i )(s + λ i u i ) = r s +p n 1 ξ ij (λ i (γ j ) σ i +pr )+ i,j=1 [(r +pr )γ i +λ i (s +pr ) σ i ]u i, where r,s R,λ i,γ i F 0,ξ ij R /pr. It is easy to verify that the given multiplication turns R into a ring with identity (1,0,...,0). We also notice that p n 1 (J(R)) 2 when charr = charr = p n, n 2. Specifically, p (J(R)) 2 when n = Preliminary Results Lemma 1. The ring described by the construction is commutative iff σ i = id R for each i = 1,...,h. Proof. It is evident Remark: If n = 2, then the construction yields rings satisfying the properties J(R) = pr U

3 ON THE REGULAR ELEMENTS OF RINGS IN WHICH (J(R)) 2 = pr (J(R)) 3 = (0). On the other hand, if n 3, then J(R) = pr U (J(R)) n 1 = p n 1 R (J(R)) n = (0). Now, consider a commutative ring R from the class of rings described by the construction, we notice that So R = R J(R) = pr R u i R u i. 1+J(R) = 1+pR R u i. Further, V(R) = R 0} = (R /1 + J(R)).(1 + J(R)) 0} =< a >.(1 + J(R)) 0} =< a > (1+J(R)) 0} = Z p r 1 (1+J(R)) 0}. It therefore suffices to determine the structure of 1+J(R). Proposition 1. For each primeinteger p, 1+pR isasubgroupof1+j(r). Proposition 2. For each prime integer p, 1+pR R u 1 is a subgroup of 1+J(R). Proposition 3. For each 1 j h, 1 + h j=1 R u j is a subgroup of 1+J(R). Since the two sided annihilator ann(j(r)) = p n 1 R, we state the following result Proposition 4. 1+ann(J(R)) 1+pR 1+J(R). Proof. It suffices to prove that 1 + ann(j(r)) 1 + pr. Clearly 1 + ann(j(r)) = 1+p n 1 R, n 2. Now, for r,s R, let 1+p n 1 r,1+p n 1 s 1+ann(J(R)). Then (1+p n 1 r )(1+p n 1 s ) 1

4 336 O.M. Oduor, O.A. Libendi, M. Christopher = (1+p n 1 r )(1 p n 1 s ) = 1+p n 1 (r s ) 1+ann(J(R)) Proposition 5. Let p = 2. Then the 2- group 1+J(R) is a direct product of the subgroups 1+pR R u 1 by 1+ h R u i, with h 2. Proposition 6. Let p 2. The p group 1+J(R) is a direct product of the subgroups 1+pR by 1+ h R u i. Proposition 7. Let U be a finitely generated R module. If U is generated by u 1,...,u h }, then u 1,u 1 +u 2,...,u h 1 +u h } also generates U. Proof. If U is a finitely generated R module, then there exist α 1,...,α h R, such that every u U can be expressed in the form u = h α iu i. But h α iu i = (α 1 α ( 1) h+1 α h )u 1 + (α 2 α ( 1) h α h )(u 1 + u 2 )+...+(α h 1 α h )(u h 2 +u h 1 )+α h (u h 1 +u h ). Since all the coefficients α 1 α ( 1) h+1 α h,α 2 α ( 1) h α h,...,α h 1 α h and α h belong to R, it follows that u 1,u 1 +u 2,...,u h 1 +u h } generates U. Proposition 8. Let R be a commutative finite ring from the class of finite rings described by the construction. If U is generated by u 1,...,u h }, then it is also generated by u 1,u 1 +u 2,...,u 1 +u u h }. 4. Main Results Proposition 9. Let R be a commutative finite ring from the class of finite rings described by the construction. If h 1 and charr = p 2, then 1+J(R) Z r = 4 (Z r 2) h 1 if p = 2 Z r p (Z r p) h if p 2 Proof. Let λ 1,...,λ r R with λ 1 = 1 such that λ 1,...,λ r R /pr form a basis for R /pr regarded as a vector space over its prime subfield GF(p). Since the two cases do not overlap, we treat them in turn. Case (i): p = 2. We notice that, for every ν = 1,...,r and u 1 J(R) (J(R)) 2, (1+λ ν u 1 ) 2 = 1+2λ 2 ν +2λ ν u 1 = 1+2λ 2 ν,since 2 (J(R)) 2 and 2u 1 = 0.

5 ON THE REGULAR ELEMENTS OF RINGS IN WHICH Now, But then, (1+2λ 2 ν)(1+λ ν u 1 ) = 1+2λ 2 ν +(λ ν +2λ 3 ν)u 1 = 1+2λ 2 ν +λ νu 1,since 2 (J(R)) 2 and 2u 1 = 0. (1+2λ 2 ν +λ νu 1 )(1+λ ν u 1 ) = λ 2 ν +2(λ ν +λ 3 ν )u 1 = 1,since 2 (J(R)) 2 and 2u 1 = 0. Also, for each u i J(R) (J(R)) 2,1 i h 1, (1+λ ν u i +λ ν u i+1 ) 2 = 1+ 2(2 2 λ 2 ν)+2λ ν (u i +u i+1 )=1, since (J(R)) 3 = (0) so that 2 3 = 0,2u i = 2u i+1 = 0, as 2 (J(R)) 2. So, for each ν = 1,...,r and 1 i h 1, (1+λ ν u 1 ) 4 = 1, (1+ h 1 λ ν(u i + u i+1 )) 2 = 1. For positive integers α ν, β iν with α ν 4, β iν 2 (1 i h 1,1 ν r), we notice that the equation h 1 (1+λ ν u 1 ) αν }. (1+λ ν (u i +u i+1 )) β iν = 1} will imply α ν = 4 and β iν = 2,1 i h 1. If we set T ν = (1+λ ν u 1 ) α α = 1,...,4}, S iν = (1+λ ν (u i +u i+1 ) β i β i = 1,2} we see that T ν, S iν are all cyclic subgroups of the group 1+J(R) and they are of the orders indicated in their definition. Since h 1 < 1+λ ν u 1 >. < 1+λ ν (u i +u i+1 ) > = 2 (h+1)r and the intersection of any pair of the cyclic subgroups gives the identity group, the product of the hr subgroups T ν, S iν, 1 i h 1 is direct. Therefore, their product exhausts the group 1+J(R). Case (ii): p is odd. If ν = 1,...,r and u i J(R) (J(R)) 2,1 i h 1, (1+pλ ν ) p = 1+p 2 λ ν + p(p 1) (pλ ν ) (pλ ν ) p 2

6 338 O.M. Oduor, O.A. Libendi, M. Christopher Also, (1+λ ν u 1 ) p = (1+ = 1,since charr = p 2. 2 λ ν u i ) p =... = (1+ λ ν u i ) p = 1. For positive integers α ν, β iν with α ν p, β iν p (1 i h,1 ν r), we notice that the equation h (1+pλ ν ) αν }. (1+ will imply α ν = β iν = p,1 i h. If we set i λ ν u j ) β iν } = 1} j=1 T ν = (1+pλ ν ) α α = 1,...,p}, S iν = (1+ i λ ν u j ) β i β i = 1,...,p} j=1 we see that T ν, S iν are all cyclic subgroups of the group 1+J(R) and they are of the orders indicated in their definition. Since h < 1+pλ ν >. < 1+ i λ ν u j > = p (h+1)r and the intersection of any pair of the cyclic subgroups gives the identity group, the product of the (h+1)r subgroups T ν, S iν, 1 i h is direct. Therefore, their product exhausts the group 1+J(R). Proposition 10. Let R be a commutative finite ring from the class of finite rings given by the construction. If h 1,r > 1 and charr = p 3, then 1+J(R) Z r = 2 Z r 4 (Zr 2 )h 1 if p = 2 Z r p (Z r 2 p )h if p 2 Proof. Let λ 1,...,λ r R with λ 1 = 1 such that λ 1,...,λ r R /pr form a basis for R /pr regarded as a vector space over its prime subfield GF(p). We treat the two cases in turn. Case (i): p = 2. We notice that for every ν = 1,...,r and u 1 J(R) (J(R)) 2, j=1 ( 1+4λ ν ) 2 = λ ν +2 4 λ 2 ν

7 ON THE REGULAR ELEMENTS OF RINGS IN WHICH Also But then, = 1, since charr = 2 3. (1+λ ν u 1 ) 2 = λ 2 ν +2λ νu 1 = λ 2 ν,since 2u 1 = 0. (1+2 2 λ 2 ν) 2 = λ 2 ν +2 4 λ 4 ν = 1, since charr = 2 3. Itisalsoeasytoseethat, foreachν = 1,...,r, 1 i h 1, (1+λ ν (u i +u i+1 )) 2 = 1. For positive integers α ν, β ν, κ iν with α ν 2, β ν 4, κ iν 2,(1 i h 1,1 ν r), we notice that the equation ( 1+4λ ν ) αν }. h 1 (1+λ ν u 1 ) βν }. (1+λ ν (u i +u i+1 )) κ iν = 1} will imply α ν = 2 and β ν = 4, κ iν = 2,1 i h 1. If we set H ν = ( 1+4λ ν ) α α = 1,2}, T ν = (1+λ ν u 1 ) β β = 1,...,4}, S iν = (1+λ ν (u i +u i+1 ) κ i κ i = 1,2} we see that H ν, T ν, S iν are all cyclic subgroups of the group 1+J(R) and they are of the orders indicated in their definition. Since < 1+4λ ν >. h 1 < 1+λ ν u 1 >. < 1+λ ν (u i +u i+1 ) > = 2 (h+2)r and the intersection of any pair of the cyclic subgroups gives the identity group, the product of the (h + 1)r subgroups H ν, T ν, S iν, 1 i h 1 is direct. Therefore, their product exhausts the group 1 + J(R). Case (ii): p is odd. Here, we notice that (1+pλ ν ) p2 = 1,(1+λ ν u 1 ) p = (1+ 2 λ ν u i ) p =... = (1+ λ ν u i ) p = 1.

8 340 O.M. Oduor, O.A. Libendi, M. Christopher Now, for positive integers α ν, β iν with α ν p 2, β iν p,(1 i h,1 ν r), we notice that the equation h (1+pλ ν ) αν }. (1+ i λ ν u j ) β iν } = 1} will imply α ν = p 2, β iν = p for 1 ν r and 1 i h. The rest of the proof is similar to Case (ii) in the previous Proposition. Proposition 11. Let R be a commutative finite ring from the class of finite rings described by the construction. If h 1, r = 1 and charr = p n, n 4, then 1+J(R) Z2 Z 2 Z = 2 n 2 (Z 2 ) h 1 if p = 2 Z p n 1 (Z p ) h if p 2 Proof. Case (i): p = 2. Consider theelement 1+2t+u 1, wheret = n 4,n 4, then o(1+2t+u 1 ) = 2 n 2. The elements 1+2 n 1 and 1+2 n 2 +u 1 are each of order 2. Also, the elements 1+u 1 +u 2, 1+u 2 +u 3,..., 1+u h 1 +u h are each of order 2. Now, the mentionedelements generate cyclicsubgroupsof1+j(r).since < 1+2t+u 1 >. < 1+2 n 1 >. < 1+2 n 2 +u 1 >. h j=2 < 1+u j 1 +u j > = 2 n+h 1, and the intersection of any pair of the cyclic subgroups gives the identity group, < 1+2t+u 1 > < 1+2 n 1 > < 1+2 n 2 +u 1 > < 1+u 1 +u 2 >... < 1+u h 1 +u h > is a direct product. Case (ii): p 2. Here, the element 1 + p is of order p n 1 while the elements 1 + u 1, u i,...,1+ h u i are each of order p. The given elements generate cyclic subgroups of the group 1+J(R). Since < 1+p >. h < 1+ ι=1 j=1 ι u i > = p n+h 1, and the intersection of any pair of the cyclic subgroups gives the identity group, < 1+p > < 1+u 1 > < 1+ 2 u i >... < 1+ h u i > is a direct product. Proposition 12. Let R be a commutative finite ring from the class of finite rings described by the construction. If h 1, r > 1 and charr = p 4, then 1+J(R) Z2 Z 2 Z 4 Z2 r 1 Z8 r 1 (Z r 2 = )h 1 if p = 2 Z p 3 (Z r p )h if p 2

9 ON THE REGULAR ELEMENTS OF RINGS IN WHICH Let λ 1,...,λ r R with λ 1 = 1 such that λ 1,...,λ r R /pr form a basis for R /pr regarded as a vector space over its prime subfield GF(p). We treat the two cases in turn. Case (i): p = 2. Clearly, ( λ 1 ) 2 = 1,( λ 1 +λ 1 u 1 ) 2 = 1,( (λ 1 +λ 2 )+λ 2 u 1 ) 4 = 1, (1+2 2 (λ 1 +λ 2 )+λ 2 u 1 ) 2 = (1+2 2 (λ 1 +λ 3 )+(λ 2 +λ 3 )u 1 ) 2 =... = (1+2 2 (λ 1 +λ r )+(λ λ r )u 1 ) 2 = 1,(1+2λ ν +λ ν u 1 ) 8 = 1, (1+λ ν u j 1 +λ ν u j ) 2 = 1, 2 j h. For positive integers α, β, κ, γ s, τ ν, ω iν with α 2, β 2, κ 4, γ s 2, τ ν 8, ω iν 2, 2 s r,1 ν r,1 i h 1, we notice that the equation ( λ 1 ) α }.( λ 1 +λ 1 u 1 ) β }.( (λ 1 +λ 2 )+λ 2 u 1 ) κ }. r ν=2 ( (λ 1 +λ ν )+ ν ι=2 λ ιu 1 ) γν }. (1+2λ ν +λ ν u 1 ) τν }. h 1 r (1+λ ν(u i + u i+1 )) ω iν } = 1}, will imply α = β = 2, κ = 4, γ ν = 2, τ ν = 8, ω iν = 2 for every ν = 1,...,r, ν = 2,...,r and i = 1,...,h 1. If we set E = ( λ 1 ) α α = 1,2}, F = ( λ 1 +λ 1 u 1 ) β β = 1,2}, G = ( (λ 1 +λ 2 )+λ 2 u 1 ) κ κ = 1,...,4}, ν H ν = (1+2 2 (λ 1 +λ ν )+ λ ι u 1 ) γν γ ν = 1,2}, ι=2 K ν = (1+2λ ν +λ ν u 1 ) τν 1 τ ν 8}, L iν = (1+λ ν (u i +u i+1 )) ω i } weseethate,f,g,h 2,...,H r,k 2,...,K r,l 1ν,...,L (h 1)ν areallcyclicsubgroups of the group 1+J(R) and they are of the orders indicated in their definition. Since < 1+8λ 1 >. < 1+4λ 1 +λ 1 u 1 >. < 1+8(λ 1 +λ 2 )+λ 2 u 1 >. < 1+4(λ 1 +λ ν )+ ν=2 h 1 ν λ ι u 1 >. ι=2 < 1+2λ ν +λ ν u 1 >. ν=2 < 1+λ ν (u i +u i+1 ) > = 2 (h+1)r,

10 342 O.M. Oduor, O.A. Libendi, M. Christopher and the intersection of any pair of the cyclic subgroups gives the identity group, the product of the 1+(h+1)r subgroups E,F,G,H 2,...,H r,k 2,...,K r,l 1ν,..., L (h 1)ν is direct. Therefore, their product exhausts 1+J(R). Case (ii): p 2. Here the proof is similar to that of Case (ii) in the previous Proposition, with some slight modification. Proposition 13. Let R be a commutative finite ring from the class of finite rings described by the construction. If h 1, r > 1 and charr = p n, n 5, then 1+J(R) = Z2 Z 2 Z 2 n 2 Z r 1 Z r p n 1 (Z r p )h if p 2 2 n 3 Z r 1 8 (Z r 2) h 1 if p = 2 Proof. Let λ 1,...,λ r R with λ 1 = 1 such that λ 1,...,λ r R /pr form a basis for R /pr regarded as a vector space over its prime subfield GF(p). We treat the two cases in turn. Case (i): p = 2. Clearly, ( 1+2 n 1 λ 1 ) 2 = 1,( 1+2 n 1 λ 1 +2 n 1 λ 2 ) 2 = 1,(1+2λ 1 +λ 1 u 1 ) 2n 2 = 1, (1 + ν ι=2 λ ιu 1 ) 2n 3 = 1,(1 + 4λ ν + λ ν u 1 ) 2n 2 = 1,ν = 2,...,r,(1 + λ ν (u i + u i+1 )) 2 = 1, 1 i h 1 For positive integers α, β, κ ν, γ ν, τ ν, ω iν with α 2, β 2 n 2, κ ν 2, γ ν 2 n 3, τ ν 2 n 2, ω iν 2, 1 ν r,1 ν r,1 i h 1 we notice that the equation ( n 1 λ 1 ) α }.(1 + 2λ 1 +λ 1 u 1 ) β }.( 1+2 n 1 2 λ ν) κ }. r ν=2 (1+ ν ι=2 λ ιu 1 ) γν }. (1+4λ ν + λ ν u 1 ) τν }. h 1 r (1+λ ν(u i +u i+1 )) ω iν } = 1}, will imply α = 2, β = 2 n 2, κ = 2, γ ν = 2 n 3, τ ν = 2 n 2, ω iν = 2 for every ν = 2,...,r and i = 1,...,h 1. If we set E = ( 1+2 n 1 λ 1 ) α α = 1,2} F = (1+2λ 1 +λ 1 u 1 ) β β = 1,...,2 n 2 } G = ( 1+2 n 1 (λ 1 +λ 2 )) κ κ = 1,2} ν H ν = (1+ λ ι u 1 ) γν γ ν = 1,...,2 n 3 }, ι=2 K ν = (1+4λ ν +λ ν u 1 ) τν 1,...,2 n 2 }, L iν = (1+λ ν (u i +u i+1 )) ω i ω i = 1,2}

11 ON THE REGULAR ELEMENTS OF RINGS IN WHICH weseethate,f,g,h 2,...,H r,k 2,...,K r,l 1ν,...,L (h 1)ν areallcyclicsubgroups of the group 1+J(R) and they are of the orders indicated in their definition. Since < 1+2 n 1 λ 1 >. < 1+2λ 1 +λ 1 u 1 >. < 1+ ν=2 h 1 ν λ ι u 1 >. ι=2 < 1+2 n 1 (λ 1 +λ 2 ) >. ν=2 < 1+4λ ν +λ ν u 1 >. ν=2 < 1+λ ν (u i +u i+1 ) > = 2 (h+n 1)r, and the intersection of any pair of the cyclic subgroups gives the identity group, the product of the 1+(h+1)r subgroups E,F,G,H 2,...,H r,k 2,...,K r, L 1ν,...,L (h 1)ν is direct. Therefore, their product exhausts 1+J(R). Case (ii): p 2. Here the proof is similar to that of Case (ii) in the previous Proposition, with some slight modification. We now state the main result. Theorem 1. The regular elements of the rings described by the construction is given as follows: i) If charr = p 2, then V(R) = ii) If charr = p 3, then V(R) = iii) If charr = p 4, then Z2 r 1 Z r 4 (Z r 2) h 1 0} if p = 2 Z p r 1 Z r p (Z r p) h 0} if p 2 Z2 r 1 Z r 2 Z r 4 (Z r 2) h 1 0} if p = 2 Z p r 1 Z r p 2 (Z r p) h 0} if p 2 Z 2 r 1 Z 2 Z 2 Z 4 (Z 2 ) h 1 0} if p = 2 and r = 1 V(R) Z 2 = r 1 Z 2 Z 2 Z 4 Z2 r 1 Z8 r 1 (Z r 2) h 1 0} if p = 2 and r > 1 Z p r 1 Z r p (Z r p) h 0} if p 2 3

12 344 O.M. Oduor, O.A. Libendi, M. Christopher iv) If charr = p n, n 5, then Z 2 r 1 Z 2 Z 2 Z 2 n 2 (Z 2 ) h 1 0} if p = 2 and r = 1 V(R) Z 2 = r 1 Z 2 Z 2 Z 2 n 2 Z r 1 Z r 1 (Z r 2 n 3 2 n 2 2 )h 1 0} if p = 2 and r > 1 Z p r 1 Z r p (Z r p) h 0} if p 2 n 1 Acknowledgments The first author expresses his wholehearted gratitude to DAAD for sponsoring his visit to the African Institute for Mathematical Sciences, South Africa which hosted him during this research. References [1] C.J. Chikunji, Unit groups of cube radical zero commutative completely primary finite rings, International Journal of Mathematics and Mathematical Sciences, 4 (2005), [2] A. Osama, A.O. Emad, On the regular elements in Z n, Turkish Journal of Mathematics, 32 (2008), [3] R. Raghavendran, Finite associative rings, Compositio Math., 21, No. 2 (1969), [4] Y. Alkhamees, Finite completely primary rings in which the product of any two zero divisors of a ring is in its coefficient subring, International Journal of Mathematics and Mathematical Sciences, 17, No. 3 (1994),

On the Unit Groups of a Class of Total Quotient Rings of Characteristic p k with k 3

On the Unit Groups of a Class of Total Quotient Rings of Characteristic p k with k 3 International Journal of Algebra, Vol, 207, no 3, 27-35 HIKARI Ltd, wwwm-hikaricom http://doiorg/02988/ija2076750 On the Unit Group of a Cla of Total Quotient Ring of Characteritic p k with k 3 Wanambii

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

More information

1. Introduction and Preliminaries

1. Introduction and Preliminaries International Journal of Pure and Applied Mathematics Volume 109 No. 4 2016, 869-879 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.12732/ijpam.v109i4.10

More information

NORMAL SMASH PRODUCTS

NORMAL SMASH PRODUCTS PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 3 1998 NORMAL SMASH PRODUCTS S. Yang and D. Wang* Abstract: Let H be a co-frobenius Hopf algebra over a field k and A a right H-comodule algebra. It is shown that

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Math 603, Spring 2003, HW 6, due 4/21/2003

Math 603, Spring 2003, HW 6, due 4/21/2003 Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

More information

THE RELATION AMONG EULER S PHI FUNCTION, TAU FUNCTION, AND SIGMA FUNCTION

THE RELATION AMONG EULER S PHI FUNCTION, TAU FUNCTION, AND SIGMA FUNCTION International Journal of Pure and Applied Mathematics Volume 118 No. 3 018, 675-684 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.173/ijpam.v118i3.15

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Universal localization at semiprime Goldie ideals

Universal localization at semiprime Goldie ideals at semiprime Goldie ideals Northern Illinois University UNAM 23/05/2017 Background If R is a commutative Noetherian ring and P R is a prime ideal, then a ring R P and ring homomorphism λ : R R P can be

More information

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Normal cyclotomic schemes over a Galois ring

Normal cyclotomic schemes over a Galois ring St.Petersburg Department of Steklov Mathematical Institute Russia (mostly joint work with Ilia Ponomarenko) The 11th International Conference on Finite Fields Friday, July 26, Magdeburg Outline Cyclotomic

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is

More information

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary) Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 93 97 THE LIE AUGMENTATION TERMINALS OF GROUPS Bertalan Király (Eger, Hungary) Abstract. In this paper we give necessary and sufficient conditions

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

PAijpam.eu CONVOLUTIONAL CODES DERIVED FROM MELAS CODES

PAijpam.eu CONVOLUTIONAL CODES DERIVED FROM MELAS CODES International Journal of Pure and Applied Mathematics Volume 85 No. 6 013, 1001-1008 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.173/ijpam.v85i6.3

More information

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to

More information

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I

More information

Polynomial functions over nite commutative rings

Polynomial functions over nite commutative rings Polynomial functions over nite commutative rings Balázs Bulyovszky a, Gábor Horváth a, a Institute of Mathematics, University of Debrecen, Pf. 400, Debrecen, 4002, Hungary Abstract We prove a necessary

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian

More information

Chapter 4. Fields and Galois Theory

Chapter 4. Fields and Galois Theory Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

Hereditary right Jacobson radicals of type-1(e) and 2(e) for right near-rings

Hereditary right Jacobson radicals of type-1(e) and 2(e) for right near-rings An. Şt. Univ. Ovidius Constanţa Vol. 21(1), 2013, 1 14 Hereditary right Jacobson radicals of type-1(e) and 2(e) for right near-rings Ravi Srinivasa Rao and K. Siva Prasad Abstract Near-rings considered

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

P-Ideals and PMP-Ideals in Commutative Rings

P-Ideals and PMP-Ideals in Commutative Rings Journal of Mathematical Extension Vol. 10, No. 4, (2016), 19-33 Journal ISSN: 1735-8299 of Mathematical Extension Vol. URL: 10, http://www.ijmex.com No. 4, (2016), 19-33 ISSN: 1735-8299 URL: http://www.ijmex.com

More information

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim Serdica Math. J. 30 (2004), 87 94 ZERO-DIMENSIONALITY AND SERRE RINGS D. Karim Communicated by L. Avramov Abstract. This paper deals with zero-dimensionality. We investigate the problem of whether a Serre

More information

PRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA

PRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA International Journal of Pure and Applied Mathematics Volume 94 No. 5 2014, 631-647 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v94i5.1

More information

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

More information

The Tensor Product of Galois Algebras

The Tensor Product of Galois Algebras Gen. Math. Notes, Vol. 22, No. 1, May 2014, pp.11-16 ISSN 2219-7184; Copyright c ICSRS Publication, 2014 www.i-csrs.org Available free online at http://www.geman.in The Tensor Product of Galois Algebras

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, , UAE

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, , UAE International Journal of Pure and Applied Mathematics Volume 101 No. 3 2015, 401-405 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v101i3.7

More information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions

More information

Math 120: Homework 6 Solutions

Math 120: Homework 6 Solutions Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has

More information

ON THE ENDOMORPHISM RING OF A CHAIN MODULE

ON THE ENDOMORPHISM RING OF A CHAIN MODULE ON THE ENDOMORPHISM RING OF A CHAIN MODULE Hanan A. Alolaiyan Department of Mathematics Faculty of Sciences King Saud University Riyadh, Saudi Arabia. e-mail: holayan@ksu.edu.sa Ahmad M. Alghamdi Department

More information

STRONGLY SEMICOMMUTATIVE RINGS RELATIVE TO A MONOID. Ayoub Elshokry 1, Eltiyeb Ali 2. Northwest Normal University Lanzhou , P.R.

STRONGLY SEMICOMMUTATIVE RINGS RELATIVE TO A MONOID. Ayoub Elshokry 1, Eltiyeb Ali 2. Northwest Normal University Lanzhou , P.R. International Journal of Pure and Applied Mathematics Volume 95 No. 4 2014, 611-622 ISSN: 1311-8080 printed version); ISSN: 1314-3395 on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v95i4.14

More information

On Commutative FDF-Rings

On Commutative FDF-Rings International Mathematical Forum, Vol. 6, 2011, no. 53, 2637-2644 On Commutative FDF-Rings Mamadou Barry and Papa Cheikhou Diop Département de Mathématiques et Informatique Faculté des Sciences et Techniques

More information

When is the Ring of 2x2 Matrices over a Ring Galois?

When is the Ring of 2x2 Matrices over a Ring Galois? International Journal of Algebra, Vol. 7, 2013, no. 9, 439-444 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.3445 When is the Ring of 2x2 Matrices over a Ring Galois? Audrey Nelson Department

More information

Math 430 Exam 1, Fall 2006

Math 430 Exam 1, Fall 2006 c IIT Dept. Applied Mathematics, October 21, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 1, Fall 2006 These theorems may be cited at any time during the test by stating By

More information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

Quasi-primary submodules satisfying the primeful property II

Quasi-primary submodules satisfying the primeful property II Hacettepe Journal of Mathematics and Statistics Volume 44 (4) (2015), 801 811 Quasi-primary submodules satisfying the primeful property II Hosein Fazaeli Moghimi and Mahdi Samiei Abstract In this paper

More information

The Endomorphism Ring of a Galois Azumaya Extension

The Endomorphism Ring of a Galois Azumaya Extension International Journal of Algebra, Vol. 7, 2013, no. 11, 527-532 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.29110 The Endomorphism Ring of a Galois Azumaya Extension Xiaolong Jiang

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS

NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS IRVING REINER 1. Introduction. Let G be a finite group, and let P be a discrete valuation ring of characteristic zero, with maximal ideal P = irr,

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

Structures of AS-regular Algebras

Structures of AS-regular Algebras Structures of AS-regular Algebras Hiroyuki Minamoto and Izuru Mori Abstract In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras

More information

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

Primitive Ideals of Semigroup Graded Rings

Primitive Ideals of Semigroup Graded Rings Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu

More information

ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT

ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr

More information

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer

More information

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory D. R. Wilkins Copyright c David R. Wilkins 1997 2006 Contents 4 Introduction to Galois Theory 2 4.1 Polynomial Rings.........................

More information

Domination and Independence Numbers of Γ(Z n )

Domination and Independence Numbers of Γ(Z n ) International Mathematical Forum, 3, 008, no. 11, 503-511 Domination and Independence Numbers of Γ(Z n ) Emad E. AbdAlJawad and Hasan Al-Ezeh 1 Department of Mathematics, Faculty of Science Jordan University,

More information

AUTOMORPHISM GROUPS OF ABELIAN p-groups

AUTOMORPHISM GROUPS OF ABELIAN p-groups PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 48, Number 1, March 1975 AUTOMORPHISM GROUPS OF ABELIAN p-groups JUTTA HAUSEN1 ABSTRACT. Let T be the automorphism group of a nonelementary reduced

More information

Rings With Topologies Induced by Spaces of Functions

Rings With Topologies Induced by Spaces of Functions Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,

More information

PAijpam.eu THE ZERO DIVISOR GRAPH OF A ROUGH SEMIRING

PAijpam.eu THE ZERO DIVISOR GRAPH OF A ROUGH SEMIRING International Journal of Pure and Applied Mathematics Volume 98 No. 5 2015, 33-37 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v98i5.6

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP

SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP International Mathematical Forum, 1, 2006, no. 26, 1249-1253 SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP Kenneth K. Nwabueze Department of Mathematics, University of Brunei Darussalam, BE 1410, Gadong,

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation. Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems

More information

Neat Homomorphisms over Dedekind Domains

Neat Homomorphisms over Dedekind Domains Salahattin ÖZDEMİR (Joint work with Engin Mermut) Dokuz Eylül University, Izmir-Turkey NCRA, V 12-15 June 2017, Lens outline 1 Neat submodules 2 Neat homomorphisms 3 The class of neat epimorphisms 4 Z-Neat

More information

Tripotents: a class of strongly clean elements in rings

Tripotents: a class of strongly clean elements in rings DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate

More information

MT5836 Galois Theory MRQ

MT5836 Galois Theory MRQ MT5836 Galois Theory MRQ May 3, 2017 Contents Introduction 3 Structure of the lecture course............................... 4 Recommended texts..................................... 4 1 Rings, Fields and

More information

SUBRINGS OF NOETHERIAN RINGS

SUBRINGS OF NOETHERIAN RINGS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 46, Number 2, November 1974 SUBRINGS OF NOETHERIAN RINGS EDWARD FORMANEK AND ARUN VINAYAK JATEGAONKAR ABSTRACT. Let S be a subring of a ring R such

More information

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

Homework Problems, Math 200, Fall 2011 (Robert Boltje) Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication

More information

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated

More information

ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING

ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz

More information

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

Selected Solutions to Math 4107, Set 4

Selected Solutions to Math 4107, Set 4 Selected Solutions to Math 4107, Set 4 November 9, 2005 Page 90. 1. There are 3 different classes: {e}, {(1 2), (1 3), (2 3)}, {(1 2 3), (1 3 2)}. We have that c e = 1, c (1 2) = 3, and c (1 2 3) = 2.

More information

On quasi-reduced rings

On quasi-reduced rings Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 1 (2016), pp. 927 935 Research India Publications http://www.ripublication.com/gjpam.htm On quasi-reduced rings Sang Jo

More information

Èvariste Galois and the resolution of equations by radicals

Èvariste Galois and the resolution of equations by radicals Èvariste Galois and the resolution of equations by radicals A Math Club Event Department of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431 November 9, 2012 Outline 1 The Problem

More information

On Extensions of Modules

On Extensions of Modules On Extensions of Modules Janet Striuli Department of Mathematics, University of Kansas, Lawrence, KS 66045, USA Abstract In this paper we study closely Yoneda s correspondence between short exact sequences

More information

Finite groups determined by an inequality of the orders of their elements

Finite groups determined by an inequality of the orders of their elements Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

MATH EXAMPLES: GROUPS, SUBGROUPS, COSETS

MATH EXAMPLES: GROUPS, SUBGROUPS, COSETS MATH 370 - EXAMPLES: GROUPS, SUBGROUPS, COSETS DR. ZACHARY SCHERR There seemed to be a lot of confusion centering around cosets and subgroups generated by elements. The purpose of this document is to supply

More information

Locally Compact Topologically Nil and Monocompact PI-rings

Locally Compact Topologically Nil and Monocompact PI-rings Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 1, 179-184. Locally Compact Topologically Nil and Monocompact PI-rings M. I. Ursul Departamentul de Matematică,

More information

AN IMPROVED POISSON TO APPROXIMATE THE NEGATIVE BINOMIAL DISTRIBUTION

AN IMPROVED POISSON TO APPROXIMATE THE NEGATIVE BINOMIAL DISTRIBUTION International Journal of Pure and Applied Mathematics Volume 9 No. 3 204, 369-373 ISSN: 3-8080 printed version); ISSN: 34-3395 on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/0.2732/ijpam.v9i3.9

More information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

L-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS. Jonathan W. Sands

L-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS. Jonathan W. Sands L-VALUES AND THE FITTING IDEAL OF THE TAME KERNEL FOR RELATIVE QUADRATIC EXTENSIONS Jonathan W. Sands Abstract. Fix a relative quadratic extension E/F of totally real number fields and let G denote the

More information

w d : Y 0 (N) Y 0 (N)

w d : Y 0 (N) Y 0 (N) Upper half-plane formulas We want to explain the derivation of formulas for two types of objects on the upper half plane: the Atkin- Lehner involutions and Heegner points Both of these are treated somewhat

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More information

Non-separable AF-algebras

Non-separable AF-algebras Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological

More information

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose

More information

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

More information

Subrings of Finite Commutative Rings

Subrings of Finite Commutative Rings Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish

More information

CHARACTERIZATION OF LOCAL RINGS

CHARACTERIZATION OF LOCAL RINGS Tόhoku Math. Journ. Vol. 19, No. 4, 1967 CHARACTERIZATION OF LOCAL RINGS M. SATYANARAYANA (Received April 19,1967) 1. Introduction. A ring with identity is said to be a local ring if the sum of any two

More information