DOCSLIB.ORG

Review on Euclidean Domains, Principal Ideal Domains and Unique Factorisation Domains with Its Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Review on Euclidean Domains, Principal Ideal Domains and Unique Factorisation Domains with Its Applications ISSN: 2350-0328 International Journal of Advanced Research in Science, Engineering and Technology Vol. 6, Issue 10 , October 2019 Review on Euclidean Domains, Principal Ideal Domains and Unique Factorisation Domains with its Applications Jaspreet kaur PG student, Assistant Professor, Department of Mathematics, Sri Guru Teg Bahadur Khalsa College, Sri Anandpur Sahib,Punjab, India. ABSTRACT: The aim of present paper is to review some results on ring theory. Throughout this paper we discuss Ɍ is commutative ring with unity. Particularly, we discuss the basic definitions of Rings, Ideals, Integral Domains, Principal Integral Domain (PID), Unique Factorization Domain(UFD) and Euclidean Domain(ED).We have presented some important application on Principal Ideal Domain (PID),Unique Factorization Domain(UFD) and Euclidean Domain(ED). KEYWORDS: Binary operations, Commutative Ring, Integral Domains, Ideals, Ring of Integers, Polynomial Rings etc. I.INTRODUCTION Covers some very basic concepts of Ring Theory over some fields like Integers, Rationals, Real numbers,Complex numbers etc. We begin with some basic definitions of Ring theory. As we study that Group theory stands only on the study of only one Binary operation, While Ring theory involves two Binary operations with additional elementry properties. There are many mathematical structures of study having two binary operations ,one is addition and the other is multiplication on ℤ, ℚ, Ɍ, ℂ, ℤ 푛ℤ, 푛 × 푛 푚푎푡푟푖푐푒푠 etc In Ring theory there is a very interested concept of “division”, ” division algorithm”, ” prime “, ”factorization” etc , from the ring of integers ℤ to an arbitrary commutative integral domain Ɍ with unity. Also we rephrase by definitions with innumerable examples ofIdeals, Divisors, Domains like Unique Factorization Domain,Principal Ideal Domain,Euclidean Domain along with their Applications including Euclidean Domain and the Gaussian Integers, Eisenstein integers, Polynomial rings, Smith Normal Form. II.LITERATURE SURVEY A) P.B.Bhattacharya, S.K. Jain, S.R.Nagpaul:- Outlined the expansion of ring theory with the concept of Ideals and homomorphism. In First edition he deals with rings and cover very basic concepts of rings, illustrated by numerous examples, including prime ideals, maximal ideals, UFD, PID and ED. Among these in second edition he represent the application division algorithm, Euclidean algorithm of Euclidean Domain(ED), Polynomial rings of Unique Factorization Domain(PID), Smith normal form of Principal ideal domain(PID). B) C Musili:- In Second Revised edition covering the very basic aspects of Rings, Ideals, Factorisation in Commutative Integral Domain. He also extended the concepts of Division, Division algorithm, Gaussian integers, Prime, Factorization ,Polynomial rings over PID etc from the ring of integers ℤ to an arbitrary commutative integral domain Ɍ with unity. C) David Joyce:-Expressed the ring theory its properties, Integral Domains, the Gaussian integers, Divisibility in Integral Domain, Euclidean Algorithm, Division for Polynomial that is Division Algorithm and also give very important Unique Factorization theorem proving result of Unique factorization domain. D) Linda Gilbert/Jimmi Gilbert:-She has been writing text book since 1981 with her husband Jimmi Gilbert including „Elements of Modern Algebra‟ and „Linear Algebra and Matrix theory‟. As the earlier editions the author gradually introduce and develop concepts to help make the material more accessible. In 7th edition developed the concept that how ring of integers working in Integral Domains, how a Field and Integral domain(finite /infinite) working together. Copyright to IJARSET www.ijarset.com 11044 ISSN: 2350-0328 International Journal of Advanced Research in Science, Engineering and Technology Vol. 6, Issue 10 , October 2019 E) Joseph J. Rotman:-The first edition is printed in 2002 and second in 2003.He study advanced algebra and its related topics .Introduces prime and maximal ideals in commutative rings, UFD etc. F) E Weiss, MC Grawhill:-One can initiate the study of algebraic number theory either globally and locally i.e. either by considering ideals in the rings of integers of number fields or else by looking first at the behaviour of field extensions at a single prime divisor and investing relationship among different prime of same field and gives results on Minkowski bound . III.RINGS A nonempty set Ɍ ≠ ∅ together with two binary operations „+‟,‟∙‟which are called as addition and multiplication (product) respectively, then it becomes a ring Ɍ if its satisfies following properties: (Ɍ, +) is an abelian group. (Ɍ,∙) is a semi group Distributive law hold for both left and right sides i.e. 푝(푞 + 푟) = 푝. 푞 + 푝. 푟 푎푛푑 푝 + 푞 푟 = 푝. 푟 + 푞. 푟 ∀푝, 푞, 푟휖Ɍ A. Ring With Unity: A ring(Ɍ, +,∙) in which multiplicative semi group has an identity element i.e.1 ∈ Ɍsuch that 푝. 1 = 푝 = 1. 푝 ∀푝 ∈ Ɍ. B. Commutative ring: A ring (Ɍ, +,∙) in which multiplicative semi group satisfies commutative property i.e. 푝. 푞 = 푞. 푝 ∀푝, 푞 ∈ Ɍ. C. Examples(Trivial and Non trivial) The rings ℤ, ℚ, Ɍ, ℂ are trivial examples of commutative ring with unity. An example of a non-trivial commutative ring in which every element is of square 0 (C Musili) different comparisons are: An example: 푀2 ℤ 2ℤ with usual addition but multiplication *defined as 푃 ∗ 푄 = 푃푄 + 푄푃 , but associativity of * is failure here. If we tried ℤ 2ℤ × ℤ 2ℤ × ℤ 2ℤ with point wise addition and multiplication in vector calculus. But this process is also not associative. IV. IDEAL Let Ɍ be a ring, Ҡ ⊂ Ɍ is a left ideal (right ideal) if it satisfies following two conditions: 푎, 푏 ∈ Ҡ → 푎 − 푏 ∈ Ҡ 푎 ∈ Ҡ 푎푛푑 푟 ∈ Ɍ → 푟푎 ∈ Ҡ 푎 ∈ Ҡ 푎푛푑 푟 ∈ Ɍ → 푎푟 ∈ Ҡ Here a Left Ideal or Right Ideal is a subring of(Ɍ, +, . ). An Ideal is also called a two sided ideal if the subset Ҡ of Ɍ is both of left and right ideal. A. Examples (Trivial and Non Trivial): 0 and Ɍ are the trivial examples of ideals of Ɍ 푝 푞 푝 0 The sets Ԍ = | 푝, 푞 ∈ Ɍ and Ԍ = | 푝, 푞 ∈ Ɍ are respectively right and left ideals of 1 0 0 2 푞 0 푀2 Ɍ for any ring Ɍ. As we know that proper means “푛표푡 Ɍ“ and nonzero means “푛표푡 0 and nontrivial means "푛표푡Ɍ 푎푛푑 푛표푡 {0}“ If 휉: Ɍ → Տ is ring homomorphism then its kernal푘푒푟휉 = 푟 ∈ Ɍ: 휉 푟 = 0 is an ideal of Ɍ and must be proper ideal of Ɍbecause if 푘푒푟휉 = 0then휉 = 푖푑푒푛푡푖푐푎푙푙푦 0. B. Prime Ideal:Let Ɍ be a commutative ring .An Ideal Ҡis said to be a Prime ideal of Ɍ if 1. Ҡ ≠ Ɍ 2. 푝, 푞 ∈ Ɍ, 푝푞 ∈ Ҡ → 푒푖푡ℎ푒푟 푝 ∈ Ҡ 표푟 푞 ∈ Ҡ C. Maximal left Ideals: Let Ɍ be a commutative ring then aleft ideal is called maximal ideal of Ɍ if 1. Ҡ ≠ Ɍ 2. For any ideal there is no Ideal strictly between Ҡ 푎푛푑 Ɍ 푖. 푒 If any ideal ℒ 표푓 Ɍ 푠푢푐ℎ 푡ℎ푎푡 Ҡ ⊆ ℒ ⊆ Ɍ ⇒ 푒푖푡ℎ푒푟 Ҡ = ℒ 표푟 ℒ = Ɍ is hold D.Minimal left Ideal:Let Ɍ be a commutative ring then aleft ideal is called minimal ideal of Ɍ if 1. Ҡ ≠ 0 2. For any ideal there is no ideal strictly between 0 푎푛푑 Ҡ i.e. Copyright to IJARSET www.ijarset.com 11045 ISSN: 2350-0328 International Journal of Advanced Research in Science, Engineering and Technology Vol. 6, Issue 10 , October 2019 0 ⊆ ℒ ⊆ Ҡ ⇒ 푒푖푡ℎ푒푟 ℒ = 0 표푟 Ҡ = 퓛 V. BASIC ALGEBRA OF THESE IDEALS A. Addition of Ideals:IfҠ 푎푛푑 ℒ are ideals in ring Ɍ ,then Ҡ + ℒ = x + y x ∈ Ҡ, y ∈ ℒ ⊆ Ɍ B. Multiplication of Ideals: IfҠ , ℒ are two ideals of the ringɌ, we define multiplication of two subsets Ҡ, ℒ 표푓 Ɍ as Ҡℒ = x1y1 + x2y2 + ⋯ xn yn /xiϵҠˎyi ∈ ℒˎ1 ≤ i ≤ nˎn ∈ N i.e. finite sums of 푥. VI. UNITS AND ZERO DIVISORS A. Units: Let Ɍ be a ring with unity .An element 푝 ∈ Ɍ is said to be a unit or invertible if ∃ 푞 ∈ Ɍ such that 푝푞 = 푞푝 = 1 the element 푞 is called the multiplicative inverse of 푝 and is denoted by 푝−1 . B. Examples: The rings ℤ, ℚ, Ɍ, ℂ are commutative ring with unity .Every non zero element of ℚ, Ɍ, ℂ is invertible and the inverse of 푝 is 푝−1 . However the only units in is ±1. C. Zero Divisors: An element 푝 ∈ Ɍ is said to be a left zero divisor if ∃푞 ≠ 0 suchthat 푝푞 = 0.Similarly 푝 is right zero divisor if ∃ 푟 ≠ 0 suchthat푟푝 = 0. An element 푝 ∈ Ɍ is zero divisors, if it is both left and right zero divisor. D. Example based on Units and Zero divisors: Find Zero divisors and Units of Ring ℤ푛 × ℤ푚 . The units of ℤ푛 and ℤ푚 are the different combinations of units of ℤ푛 and units of ℤ푚 If we take ℤ6 × ℤ2 then units are different combinations of units of ℤ6 (units are 1 and 5) and units of ℤ2 (unit is 1). In a finite commutative ring,a non zero element is either a unit or a zero divisors .If we find all elements of ℤ푛 × ℤ푚 and find all units , then the zero divisors are left i.e. not exist. VII. FIELDS A field is also a special type of ring .Let F be a ring with some additional properties is become to form a field. Conditions are: F is commutative ring. Identity element in F, i.e. e ≠ 0 Multiplicative inverse exist for every non zero element The Rationals, Reals, and Complex form field and also if any ring corresponding to any prime ℤ푝 is a field. VIII. INTEGRAL DOMAIN Firstly we revise that there are many ID like every field is an Integral Domain that is ℝi.e Real no‟s field ,Rings of Polynomials, The ring of Integers but the ring of integers which is IDgives very usable properties for Domains.
Load more

Recommended publications
  • Varieties of Quasigroups Determined by Short Strictly Balanced Identities
    Czechoslovak Mathematical Journal Jaroslav Ježek; Tomáš Kepka Varieties of quasigroups determined by short strictly balanced identities Czechoslovak Mathematical Journal, Vol. 29 (1979), No. 1, 84–96 Persistent URL: http://dml.cz/dmlcz/101580 Terms of use: © Institute of Mathematics AS CR, 1979 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 29 (104) 1979, Praha VARIETIES OF QUASIGROUPS DETERMINED BY SHORT STRICTLY BALANCED IDENTITIES JAROSLAV JEZEK and TOMAS KEPKA, Praha (Received March 11, 1977) In this paper we find all varieties of quasigroups determined by a set of strictly balanced identities of length ^ 6 and study their properties. There are eleven such varieties: the variety of all quasigroups, the variety of commutative quasigroups, the variety of groups, the variety of abelian groups and, moreover, seven varieties which have not been studied in much detail until now. In Section 1 we describe these varieties. A survey of some significant properties of arbitrary varieties is given in Section 2; in Sections 3, 4 and 5 we assign these properties to the eleven varieties mentioned above and in Section 6 we give a table summarizing the results. 1. STRICTLY BALANCED QUASIGROUP IDENTITIES OF LENGTH £ 6 Quasigroups are considered as universal algebras with three binary operations •, /, \ (the class of all quasigroups is thus a variety).
    [Show full text]
  • Dedekind Domains
    Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K=F is a finite extension and A is a Dedekind domain with quotient field F , then the integral closure of A in K is also a Dedekind domain. As we will see in the proof, we need various results from ring theory and field theory. We first recall some basic definitions and facts. A Dedekind domain is an integral domain B for which every nonzero ideal can be written uniquely as a product of prime ideals. Perhaps the main theorem about Dedekind domains is that a domain B is a Dedekind domain if and only if B is Noetherian, integrally closed, and dim(B) = 1. Without fully defining dimension, to say that a ring has dimension 1 says nothing more than nonzero prime ideals are maximal. Moreover, a Noetherian ring B is a Dedekind domain if and only if BM is a discrete valuation ring for every maximal ideal M of B. In particular, a Dedekind domain that is a local ring is a discrete valuation ring, and vice-versa. We start by mentioning two examples of Dedekind domains. Example 1. The ring of integers Z is a Dedekind domain. In fact, any principal ideal domain is a Dedekind domain since a principal ideal domain is Noetherian integrally closed, and nonzero prime ideals are maximal. Alternatively, it is easy to prove that in a principal ideal domain, every nonzero ideal factors uniquely into prime ideals.
    [Show full text]
  • Single Elements
    Beitr¨agezur Algebra und Geometrie Contributions to Algebra and Geometry Volume 47 (2006), No. 1, 275-288. Single Elements B. J. Gardner Gordon Mason Department of Mathematics, University of Tasmania Hobart, Tasmania, Australia Department of Mathematics & Statistics, University of New Brunswick Fredericton, N.B., Canada Abstract. In this paper we consider single elements in rings and near- rings. If R is a (near)ring, x ∈ R is called single if axb = 0 ⇒ ax = 0 or xb = 0. In seeking rings in which each element is single, we are led to consider 0-simple rings, a class which lies between division rings and simple rings. MSC 2000: 16U99 (primary), 16Y30 (secondary) Introduction If R is a (not necessarily unital) ring, an element s is called single if whenever asb = 0 then as = 0 or sb = 0. The definition was first given by J. Erdos [2] who used it to obtain results in the representation theory of normed algebras. More recently the idea has been applied by Longstaff and Panaia to certain matrix algebras (see [9] and its bibliography) and they suggest it might be worthy of further study in other contexts. In seeking rings in which every element is single we are led to consider 0-simple rings, a class which lies between division rings and simple rings. In the final section we examine the situation in nearrings and obtain information about minimal N-subgroups of some centralizer nearrings. 1. Single elements in rings We begin with a slightly more general definition. If I is a one-sided ideal in a ring R an element x ∈ R will be called I-single if axb ∈ I ⇒ ax ∈ I or xb ∈ I.
    [Show full text]
  • Noncommutative Unique Factorization Domainso
    NONCOMMUTATIVE UNIQUE FACTORIZATION DOMAINSO BY P. M. COHN 1. Introduction. By a (commutative) unique factorization domain (UFD) one usually understands an integral domain R (with a unit-element) satisfying the following three conditions (cf. e.g. Zariski-Samuel [16]): Al. Every element of R which is neither zero nor a unit is a product of primes. A2. Any two prime factorizations of a given element have the same number of factors. A3. The primes occurring in any factorization of a are completely deter- mined by a, except for their order and for multiplication by units. If R* denotes the semigroup of nonzero elements of R and U is the group of units, then the classes of associated elements form a semigroup R* / U, and A1-3 are equivalent to B. The semigroup R*jU is free commutative. One may generalize the notion of UFD to noncommutative rings by taking either A-l3 or B as starting point. It is obvious how to do this in case B, although the class of rings obtained is rather narrow and does not even include all the commutative UFD's. This is indicated briefly in §7, where examples are also given of noncommutative rings satisfying the definition. However, our principal aim is to give a definition of a noncommutative UFD which includes the commutative case. Here it is better to start from A1-3; in order to find the precise form which such a definition should take we consider the simplest case, that of noncommutative principal ideal domains. For these rings one obtains a unique factorization theorem simply by reinterpreting the Jordan- Holder theorem for right .R-modules on one generator (cf.
    [Show full text]
  • 7. Euclidean Domains Let R Be an Integral Domain. We Want to Find Natural Conditions on R Such That R Is a PID. Looking at the C
    7. Euclidean Domains Let R be an integral domain. We want to find natural conditions on R such that R is a PID. Looking at the case of the integers, it is clear that the key property is the division algorithm. Definition 7.1. Let R be an integral domain. We say that R is Eu- clidean, if there is a function d: R − f0g −! N [ f0g; which satisfies, for every pair of non-zero elements a and b of R, (1) d(a) ≤ d(ab): (2) There are elements q and r of R such that b = aq + r; where either r = 0 or d(r) < d(a). Example 7.2. The ring Z is a Euclidean domain. The function d is the absolute value. Definition 7.3. Let R be a ring and let f 2 R[x] be a polynomial with coefficients in R. The degree of f is the largest n such that the coefficient of xn is non-zero. Lemma 7.4. Let R be an integral domain and let f and g be two elements of R[x]. Then the degree of fg is the sum of the degrees of f and g. In particular R[x] is an integral domain. Proof. Suppose that f has degree m and g has degree n. If a is the leading coefficient of f and b is the leading coefficient of g then f = axm + ::: and f = bxn + :::; where ::: indicate lower degree terms then fg = (ab)xm+n + :::: As R is an integral domain, ab 6= 0, so that the degree of fg is m + n.
    [Show full text]
  • SOME ALGEBRAIC DEFINITIONS and CONSTRUCTIONS Definition
    SOME ALGEBRAIC DEFINITIONS AND CONSTRUCTIONS Definition 1. A monoid is a set M with an element e and an associative multipli- cation M M M for which e is a two-sided identity element: em = m = me for all m M×. A−→group is a monoid in which each element m has an inverse element m−1, so∈ that mm−1 = e = m−1m. A homomorphism f : M N of monoids is a function f such that f(mn) = −→ f(m)f(n) and f(eM )= eN . A “homomorphism” of any kind of algebraic structure is a function that preserves all of the structure that goes into the definition. When M is commutative, mn = nm for all m,n M, we often write the product as +, the identity element as 0, and the inverse of∈m as m. As a convention, it is convenient to say that a commutative monoid is “Abelian”− when we choose to think of its product as “addition”, but to use the word “commutative” when we choose to think of its product as “multiplication”; in the latter case, we write the identity element as 1. Definition 2. The Grothendieck construction on an Abelian monoid is an Abelian group G(M) together with a homomorphism of Abelian monoids i : M G(M) such that, for any Abelian group A and homomorphism of Abelian monoids−→ f : M A, there exists a unique homomorphism of Abelian groups f˜ : G(M) A −→ −→ such that f˜ i = f. ◦ We construct G(M) explicitly by taking equivalence classes of ordered pairs (m,n) of elements of M, thought of as “m n”, under the equivalence relation generated by (m,n) (m′,n′) if m + n′ = −n + m′.
    [Show full text]
  • Right Ideals of a Ring and Sublanguages of Science
    RIGHT IDEALS OF A RING AND SUBLANGUAGES OF SCIENCE Javier Arias Navarro Ph.D. In General Linguistics and Spanish Language http://www.javierarias.info/ Abstract Among Zellig Harris’s numerous contributions to linguistics his theory of the sublanguages of science probably ranks among the most underrated. However, not only has this theory led to some exhaustive and meaningful applications in the study of the grammar of immunology language and its changes over time, but it also illustrates the nature of mathematical relations between chunks or subsets of a grammar and the language as a whole. This becomes most clear when dealing with the connection between metalanguage and language, as well as when reflecting on operators. This paper tries to justify the claim that the sublanguages of science stand in a particular algebraic relation to the rest of the language they are embedded in, namely, that of right ideals in a ring. Keywords: Zellig Sabbetai Harris, Information Structure of Language, Sublanguages of Science, Ideal Numbers, Ernst Kummer, Ideals, Richard Dedekind, Ring Theory, Right Ideals, Emmy Noether, Order Theory, Marshall Harvey Stone. §1. Preliminary Word In recent work (Arias 2015)1 a line of research has been outlined in which the basic tenets underpinning the algebraic treatment of language are explored. The claim was there made that the concept of ideal in a ring could account for the structure of so- called sublanguages of science in a very precise way. The present text is based on that work, by exploring in some detail the consequences of such statement. §2. Introduction Zellig Harris (1909-1992) contributions to the field of linguistics were manifold and in many respects of utmost significance.
    [Show full text]
  • 6. PID and UFD Let R Be a Commutative Ring. Recall That a Non-Unit X ∈ R Is Called Irreducible If X Cannot Be Written As A
    6. PID and UFD Let R be a commutative ring. Recall that a non-unit x R is called irreducible if x cannot be written as a product of two non-unit elements of R i.e.∈x = ab implies either a is an unit or b is an unit. Also recall that a domain R is called a principal ideal domain or a PID if every ideal in R can be generated by one element, i.e. is principal. 6.1. Lemma. (a) Let R be a commutative domain. Then prime elements in R are irreducible. (b) Let R be a PID. Then an irreducible in R is a prime element. Proof. (a) Let (p) be a prime ideal in R. If possible suppose p = uv.Thenuv (p), so either u (p)orv (p), if u (p), then u = cp,socv = 1, that is v is an unit. Similarly,∈ if v (p), then∈ u is an∈ unit. ∈ ∈(b) Let p R be irreducible. Suppose ab (p). Since R is a PID, the ideal (a, p)hasa generator, say∈ x, that is, (x)=(a, p). Then ∈p (x), so p = xu for some u R. Since p is irreducible, either u or x must be an unit and we∈ consider these two cases seperately:∈ In the first case, when u is an unit, then x = u−1p,soa (x) (p), that is, p divides a.Inthe second case, when x is a unit, then (a, p)=(1).So(∈ ab,⊆ pb)=(b). But (ab, pb) (p). So (b) (p), that is p divides b.
    [Show full text]
  • Abstract Algebra: Monoids, Groups, Rings
    Notes on Abstract Algebra John Perry University of Southern Mississippi [email protected] http://www.math.usm.edu/perry/ Copyright 2009 John Perry www.math.usm.edu/perry/ Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States You are free: to Share—to copy, distribute and transmit the work • to Remix—to adapt the work Under• the following conditions: Attribution—You must attribute the work in the manner specified by the author or licen- • sor (but not in any way that suggests that they endorse you or your use of the work). Noncommercial—You may not use this work for commercial purposes. • Share Alike—If you alter, transform, or build upon this work, you may distribute the • resulting work only under the same or similar license to this one. With the understanding that: Waiver—Any of the above conditions can be waived if you get permission from the copy- • right holder. Other Rights—In no way are any of the following rights affected by the license: • Your fair dealing or fair use rights; ◦ Apart from the remix rights granted under this license, the author’s moral rights; ◦ Rights other persons may have either in the work itself or in how the work is used, ◦ such as publicity or privacy rights. Notice—For any reuse or distribution, you must make clear to others the license terms of • this work. The best way to do this is with a link to this web page: http://creativecommons.org/licenses/by-nc-sa/3.0/us/legalcode Table of Contents Reference sheet for notation...........................................................iv A few acknowledgements..............................................................vi Preface ...............................................................................vii Overview ...........................................................................vii Three interesting problems ............................................................1 Part .
    [Show full text]
  • On Various Types of Ideals of Gamma Rings and the Corresponding Operator Rings
    Ranu Paul Int. Journal of Engineering Research and Applications www.ijera.com ISSN: 2248-9622, Vol. 5, Issue 8, (Part -4) August 2015, pp.95-98 RESEARCH ARTICLE OPEN ACCESS On Various Types of Ideals of Gamma Rings and the Corresponding Operator Rings Ranu Paul Department of Mathematics Pandu College, Guwahati 781012 Assam State, India Abstract The prime objective of this paper is to prove some deep results on various types of Gamma ideals. The characteristics of various types of Gamma ideals viz. prime/maximal/minimal/nilpotent/primary/semi-prime ideals of a Gamma-ring are shown to be maintained in the corresponding right (left) operator rings of the Gamma-rings. The converse problems are also investigated with some good outcomes. Further it is shown that the projective product of two Gamma-rings cannot be simple. AMS Mathematics subject classification: Primary 16A21, 16A48, 16A78 Keywords: Ideals/Simple Gamma-ring/Projective Product of Gamma-rings I. Introduction left) ideal if the only right (or left) ideal of 푋 Ideals are the backbone of the Gamma-ring contained in 퐼 are 0 and 퐼 itself. theory. Nobusawa developed the notion of a Gamma- ring which is more general than a ring [3]. He Definition 2.5: A nonzero ideal 퐼 of a gamma ring obtained the analogue of the Wedderburn theorem for (푋, ) such that 퐼 ≠ 푋 is said to be maximal ideal, simple Gamma-ring with minimum condition on one- if there exists no proper ideal of 푋 containing 퐼. sided ideals. Barnes [6] weakened slightly the defining conditions for a Gamma-ring, introduced the Definition 2.6: An ideal 퐼 of a gamma ring (푋, ) is notion of prime ideals, primary ideals and radical for said to be primary if it satisfies, a Gamma-ring, and obtained analogues of the 푎훾푏 ⊆ 퐼, 푎 ⊈ 퐼 => 푏 ⊆ 퐽 ∀ 푎, 푏 ∈ 푋 푎푛푑 훾 ∈ .
    [Show full text]
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • Unit and Unitary Cayley Graphs for the Ring of Gaussian Integers Modulo N
    Quasigroups and Related Systems 25 (2017), 189 − 200 Unit and unitary Cayley graphs for the ring of Gaussian integers modulo n Ali Bahrami and Reza Jahani-Nezhad Abstract. Let [i] be the ring of Gaussian integers modulo n and G( [i]) and G be the Zn Zn Zn[i] unit graph and the unitary Cayley graph of Zn[i], respectively. In this paper, we study G(Zn[i]) and G . Among many results, it is shown that for each positive integer n, the graphs G( [i]) Zn[i] Zn and G are Hamiltonian. We also nd a necessary and sucient condition for the unit and Zn[i] unitary Cayley graphs of Zn[i] to be Eulerian. 1. Introduction Finding the relationship between the algebraic structure of rings using properties of graphs associated to them has become an interesting topic in the last years. There are many papers on assigning a graph to a ring, see [1], [3], [4], [5], [7], [6], [8], [10], [11], [12], [17], [19], and [20]. Let R be a commutative ring with non-zero identity. We denote by U(R), J(R) and Z(R) the group of units of R, the Jacobson radical of R and the set of zero divisors of R, respectively. The unitary Cayley graph of R, denoted by GR, is the graph whose vertex set is R, and in which fa; bg is an edge if and only if a − b 2 U(R). The unit graph G(R) of R is the simple graph whose vertices are elements of R and two distinct vertices a and b are adjacent if and only if a + b in U(R) .
    [Show full text]