DOCSLIB.ORG

Arxiv:1405.5071V4 [Math.RA] 2 Feb 2016 Rddgohnic Groups Grothendieck Graded Rddrnsand Rings Graded Etr Ynyuniversity Sydney Western Oze Hazrat Roozbeh AUSTRALIA

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1405.5071V4 [Math.RA] 2 Feb 2016 Rddgohnic Groups Grothendieck Graded Rddrnsand Rings Graded Etr Ynyuniversity Sydney Western Oze Hazrat Roozbeh AUSTRALIA Graded Rings and Graded Grothendieck Groups Roozbeh Hazrat Western Sydney University AUSTRALIA arXiv:1405.5071v4 [math.RA] 2 Feb 2016 Contents Introduction page 6 1 Graded Rings and Graded Modules 10 1.1 Gradedrings 11 1.1.1 Basic definitions and examples 11 1.1.2 Partitioning graded rings 15 1.1.3 Strongly graded rings 19 1.1.4 Crossed products 21 1.1.5 Gradedideals 25 1.1.6 Graded prime and maximal ideals 27 1.1.7 Graded simple rings 28 1.1.8 Graded local rings 30 1.1.9 Graded von Neumann regular rings 31 1.2 Gradedmodules 33 1.2.1 Basic definitions 33 1.2.2 Shiftofmodules 33 1.2.3 Category of graded modules 35 1.2.4 Graded free modules 38 1.2.5 Graded bimodules 39 1.2.6 Tensor product of graded modules 40 1.2.7 Forgetting the grading 41 1.2.8 Partitioning of the graded modules 42 1.2.9 Graded projective modules 46 1.2.10 Graded divisible modules 52 1.3 Gradingonmatrices 54 1.3.1 Graded calculus on matrices 55 1.3.2 Homogeneous idempotents calculus 63 1.3.3 Graded matrix units 64 3 4 Contents 1.3.4 Mixed shift 65 1.4 Gradeddivisionrings 69 1.4.1 The zero componentring of graded simple ring 76 1.5 Strongly graded rings and Dade’s theorem 77 1.5.1 Invertible components of strongly graded rings 83 1.6 Gradingon graphalgebras 84 1.6.1 Gradingon free rings 84 1.6.2 Corner skew Laurent polynomial rings 86 1.6.3 Graphs 89 1.6.4 Leavitt path algebras 90 1.7 ThegradedIBN and gradedtype 98 1.8 Thegradedstable rank 101 1.9 Graded rings with involution 105 2 GradedMoritaTheory 108 2.1 First instance of the graded Morita equivalence 109 2.2 Gradedgenerators 113 2.3 General graded Morita equivalence 115 3 Graded Grothendieck Groups 126 gr 3.1 The graded Grothendieck group K0 128 3.1.1 Group completions 128 gr 3.1.2 K0 -group 130 gr 3.1.3 K0 of strongly graded rings 132 gr 3.1.4 The reduced graded Grothendieck group K0 134 gr 3.1.5 K0 as a Z[Γ]-algebra 136 gr g 3.2 K0 from idempotents 136 3.2.1 Stability of idempotents 141 3.2.2 Actionof Γ on idempotents 141 gr 3.2.3 K0 is a continuous functor 142 3.2.4 The Hattori-Stallings (Chern) trace map 143 gr 3.3 K0 of graded ∗-rings 144 gr 3.4 Relative K0 -group 146 gr 3.5 K0 of non-unital rings 148 3.5.1 Graded inner automorphims 152 gr 3.6 K0 is a pre-ordered module 152 3.6.1 Γ-pre-ordered modules 152 gr 3.7 K0 of graded division rings 155 gr 3.8 K0 of graded local rings 162 gr 3.9 K0 of Leavitt path algebras 164 3.9.1 K0 of Leavitt path algebras 164 Contents 5 gr 3.9.2 Actionof Z on K0 of Leavitt path algebras 166 gr 3.9.3 K0 of a Leavitt path algebra via its 0- component ring 167 gr 3.10 G0 of graded rings 172 gr 3.10.1 G0 of graded Artinian rings 172 gr 3.11 Symbolic dynamics and K0 175 gr 3.12 K1 -theory 181 4 GradedPicardGroups 184 4.1 Picgr of a graded commutative ring 185 4.2 Picgr of a graded noncommutative ring 188 5 Classification of Graded Ultramatricial Algebras 196 5.1 Graded matricial algebras 197 gr 5.2 Graded ultramatricial algebras, classification via K0 202 6 Graded Versus Ungraded K-Theory 209 gr 6.1 K∗ of positively graded rings 210 6.2 The fundamentaltheoremof K-theory 218 6.2.1 Quillen’s K-theory of exact categories 218 6.2.2 Base change and transfer functors 219 6.2.3 A localisation exact sequence for graded rings 220 6.2.4 The fundamental theorem 221 gr 6.3 Relating K∗ (A) to K∗(A0) 226 gr 6.4 Relating K∗ (A) to K∗(A) 227 References 231 Index 236 Introduction A bird’s eye view of the theory of graded modules over a graded ring might give the impression that it is nothing but ordinary module theory with all its statements decorated with the adjective “graded”. Once the grading is consid- ered to be trivial, the graded theory reduces to the usual module theory. From this perspective, the theory of graded modules can be considered as an exten- sion of module theory. However, this simplistic overview might conceal the point that graded modules come equipped with a shift, thanks to the possibility of partitioning the structures and then rearranging the partitions. This adds an extra layer of structure (and complexity)to the theory. This monograph focuses gr on the theory of the graded Grothendieck group K0 , that provides a sparkling illustration of this idea. Whereas the usual K0 is an abelian group, the shift pro- gr vides K0 with a natural structure of Z[Γ]-module, where Γ is the group used for the grading and Z[Γ] its group ring. As we will see throughout this book, this extra structure carries substantial information about the graded ring. Let Γ and ∆ be abelian groups and f : Γ → ∆ a group homomorphism. Then for any Γ-graded ring A, one can consider a natural ∆-grading on A (see §1.1.2); in the same way, any Γ-graded A-module can be viewed as a ∆- graded A-module. These operations induce functors Γ ∆ U f : Gr -A −→ Gr -A, Γ Ω (−)Ω : Gr -A −→ Gr -AΩ, (see §1.2.8), where GrΓ-A is the category of Γ-graded right A-modules, Gr∆-A that of ∆-graded right A-modules, and GrΩ-A the category of Ω-graded right AΩ-module with Ω= ker( f ). One aim of the theory of graded rings is to investigate the ways in which these categories relate to one another, and which properties of one category can be lifted to another. In particular, in the two extreme cases when the group 6 Introduction 7 ∆= 0 or f : Γ → ∆ is the identity, we obtain the forgetful functors U : GrΓ-A −→ Mod-A, Γ (−)0 : Gr -A −→ Mod-A0. The category PgrΓ-A of graded finitely generated projective A-modules is an exact category. Thus Quillen’s K-theory machinery [84] defines graded K- groups gr Γ Ki (A) := Ki(Pgr -A), for i ∈ N. On the other hand, the shift operation on modules induces a functor on GrΓ-A that is an auto-equivalence(§1.2.2), so that these K-groups also carry a Γ-module structure. One can treat the groups Ki(A) and Ki(A0) in a similar way. Quillen’s K-theory machinery allows us to establish relations between these K-groups. In particular gr Relating K∗ (A) to K∗(A) for a positively graded rings §6.1. For a Z-graded ring with the positive support, there is a Z[x, x−1]-module isomor- phism, gr −1 Ki (A) Ki(A0) ⊗Z Z[x, x ]. gr Relating K∗ (A) to K∗(A0) for graded Noetherian regular rings §6.3. Con- sider the full subcategory Gr0-A of Gr-A, of all graded modules M as objects such that M0 = 0. This is a Serre subcategory of Gr-A. One can show that Gr-A/ Gr0-A Mod-A0. If A is a (right) regular Noetherian ring, the quotient category identity above holds for the corresponding graded finitely generated modules, i.e., gr-A/ gr0-A mod-A0 and the localisation theorem gives a long exact sequence of abelian groups, δ gr · · · −→ Kn+1(A0) −→ Kn(gr0-A) −→ Kn (A) −→ Kn(A0) −→ ··· . gr Relating K∗ (A) to K∗(A) for graded Noetherian regular rings §6.4. For a Z-graded ring A which is right regular Noetherian, there is a long exact sequence of abelian groups gr i gr U · · · −→ Kn+1(A) −→ Kn (A) −→ Kn (A) −→ Kn(A) −→ ··· . gr Themain emphasisof this bookis on thegroup K0 as a powerful invariant in the classification problems. This group is equipped with the extra structure of the action of the gradegroupinduced by the shift. In many important examples, 8 Introduction in fact this shift is all the difference between the graded Grothendieck group and the usual Grothendieck group, i.e., gr K0 (A)/h[P] − [P(1)]i K0(A), where P is a graded projective A-module and P(1) is the shifted module (§6, see Corollary 6.4.2). The motivation to write this book came from recent activities that adopt the graded Grothendieck group as an invariant to classify the Leavitt path algebras [49, 50, 81]. Surprisingly, not much is recorded about the graded version of the Grothendieck group in the literature, despite the fact that K0 has been used in many occasions as a crucial invariant, and there is a sub- stantial amount of information about the graded version of other invariants such as (co)homology groups, Brauer groups, etc. The other surge of inter- est on this group stems from the recent activities on (graded) representation theory of Hecke algebras. In particular for a quiver Hecke algebra, its graded Grothendieck group is closely related to its corresponding quantised envelop- ing algebra. For this line of research see the survey [56]. This book tries to fill this gap, by systematically developing the theory of graded Grothendieck groups. In order to do this, we have to carry over and work out the details of known results in ungraded case to the graded setting, and gather together important results on the graded theory scattered in research papers .
Load more

Recommended publications
  • 3. Some Commutative Algebra Definition 3.1. Let R Be a Ring. We
    3. Some commutative algebra Definition 3.1. Let R be a ring. We say that R is graded, if there is a direct sum decomposition, M R = Rn; n2N where each Rn is an additive subgroup of R, such that RdRe ⊂ Rd+e: The elements of Rd are called the homogeneous elements of order d. Let R be a graded ring. We say that an R-module M is graded if there is a direct sum decomposition M M = Mn; n2N compatible with the grading on R in the obvious way, RdMn ⊂ Md+n: A morphism of graded modules is an R-module map φ: M −! N of graded modules, which respects the grading, φ(Mn) ⊂ Nn: A graded submodule is a submodule for which the inclusion map is a graded morphism. A graded ideal I of R is an ideal, which when considered as a submodule is a graded submodule. Note that the kernel and cokernel of a morphism of graded modules is a graded module. Note also that an ideal is a graded ideal iff it is generated by homogeneous elements. Here is the key example. Example 3.2. Let R be the polynomial ring over a ring S. Define a direct sum decomposition of R by taking Rn to be the set of homogeneous polynomials of degree n. Given a graded ideal I in R, that is an ideal generated by homogeneous elements of R, the quotient is a graded ring. We will also need the notion of localisation, which is a straightfor- ward generalisation of the notion of the field of fractions.
    [Show full text]
  • Associated Graded Rings Derived from Integrally Closed Ideals And
    PUBLICATIONS MATHÉMATIQUES ET INFORMATIQUES DE RENNES MELVIN HOCHSTER Associated Graded Rings Derived from Integrally Closed Ideals and the Local Homological Conjectures Publications des séminaires de mathématiques et informatique de Rennes, 1980, fasci- cule S3 « Colloque d’algèbre », , p. 1-27 <http://www.numdam.org/item?id=PSMIR_1980___S3_1_0> © Département de mathématiques et informatique, université de Rennes, 1980, tous droits réservés. L’accès aux archives de la série « Publications mathématiques et informa- tiques de Rennes » implique l’accord avec les conditions générales d’utili- sation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ ASSOCIATED GRADED RINGS DERIVED FROM INTEGRALLY CLOSED IDEALS AND THE LOCAL HOMOLOGICAL CONJECTURES 1 2 by Melvin Hochster 1. Introduction The second and third sections of this paper can be read independently. The second section explores the properties of certain "associated graded rings", graded by the nonnegative rational numbers, and constructed using filtrations of integrally closed ideals. The properties of these rings are then exploited to show that if x^x^.-^x^ is a system of paramters of a local ring R of dimension d, d •> 3 and this system satisfies a certain mild condition (to wit, that R can be mapped
    [Show full text]
  • Ring Homomorphisms Definition
    4-8-2018 Ring Homomorphisms Definition. Let R and S be rings. A ring homomorphism (or a ring map for short) is a function f : R → S such that: (a) For all x,y ∈ R, f(x + y)= f(x)+ f(y). (b) For all x,y ∈ R, f(xy)= f(x)f(y). Usually, we require that if R and S are rings with 1, then (c) f(1R) = 1S. This is automatic in some cases; if there is any question, you should read carefully to find out what convention is being used. The first two properties stipulate that f should “preserve” the ring structure — addition and multipli- cation. Example. (A ring map on the integers mod 2) Show that the following function f : Z2 → Z2 is a ring map: f(x)= x2. First, f(x + y)=(x + y)2 = x2 + 2xy + y2 = x2 + y2 = f(x)+ f(y). 2xy = 0 because 2 times anything is 0 in Z2. Next, f(xy)=(xy)2 = x2y2 = f(x)f(y). The second equality follows from the fact that Z2 is commutative. Note also that f(1) = 12 = 1. Thus, f is a ring homomorphism. Example. (An additive function which is not a ring map) Show that the following function g : Z → Z is not a ring map: g(x) = 2x. Note that g(x + y)=2(x + y) = 2x + 2y = g(x)+ g(y). Therefore, g is additive — that is, g is a homomorphism of abelian groups. But g(1 · 3) = g(3) = 2 · 3 = 6, while g(1)g(3) = (2 · 1)(2 · 3) = 12.
    [Show full text]
  • Gsm073-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/073 Graduat e Algebra : Commutativ e Vie w This page intentionally left blank Graduat e Algebra : Commutativ e View Louis Halle Rowen Graduate Studies in Mathematics Volum e 73 KHSS^ K l|y|^| America n Mathematica l Societ y iSyiiU ^ Providence , Rhod e Islan d Contents Introduction xi List of symbols xv Chapter 0. Introduction and Prerequisites 1 Groups 2 Rings 6 Polynomials 9 Structure theories 12 Vector spaces and linear algebra 13 Bilinear forms and inner products 15 Appendix 0A: Quadratic Forms 18 Appendix OB: Ordered Monoids 23 Exercises - Chapter 0 25 Appendix 0A 28 Appendix OB 31 Part I. Modules Chapter 1. Introduction to Modules and their Structure Theory 35 Maps of modules 38 The lattice of submodules of a module 42 Appendix 1A: Categories 44 VI Contents Chapter 2. Finitely Generated Modules 51 Cyclic modules 51 Generating sets 52 Direct sums of two modules 53 The direct sum of any set of modules 54 Bases and free modules 56 Matrices over commutative rings 58 Torsion 61 The structure of finitely generated modules over a PID 62 The theory of a single linear transformation 71 Application to Abelian groups 77 Appendix 2A: Arithmetic Lattices 77 Chapter 3. Simple Modules and Composition Series 81 Simple modules 81 Composition series 82 A group-theoretic version of composition series 87 Exercises — Part I 89 Chapter 1 89 Appendix 1A 90 Chapter 2 94 Chapter 3 96 Part II. AfRne Algebras and Noetherian Rings Introduction to Part II 99 Chapter 4. Galois Theory of Fields 101 Field extensions 102 Adjoining
    [Show full text]
  • Embedding Two Ordered Rings in One Ordered Ring. Part I1
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 2, 341-364 (1966) Embedding Two Ordered Rings in One Ordered Ring. Part I1 J. R. ISBELL Department of Mathematics, Case Institute of Technology, Cleveland, Ohio Communicated by R. H. Bruck Received July 8, 1965 INTRODUCTION Two (totally) ordered rings will be called compatible if there exists an ordered ring in which both of them can be embedded. This paper concerns characterizations of the ordered rings compatible with a given ordered division ring K. Compatibility with K is equivalent to compatibility with the center of K; the proof of this depends heavily on Neumann’s theorem [S] that every ordered division ring is compatible with the real numbers. Moreover, only the subfield K, of real algebraic numbers in the center of K matters. For each Ks , the compatible ordered rings are characterized by a set of elementary conditions which can be expressed as polynomial identities in terms of ring and lattice operations. A finite set of identities, or even iden- tities in a finite number of variables, do not suffice, even in the commutative case. Explicit rules will be given for writing out identities which are necessary and sufficient for a commutative ordered ring E to be compatible with a given K (i.e., with K,). Probably the methods of this paper suffice for deriving corresponding rules for noncommutative E, but only the case K,, = Q is done here. If E is compatible with K,, , then E is embeddable in an ordered algebra over Ks and (obviously) E is compatible with the rational field Q.
    [Show full text]
  • Math 250A: Groups, Rings, and Fields. H. W. Lenstra Jr. 1. Prerequisites
    Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites This section consists of an enumeration of terms from elementary set theory and algebra. You are supposed to be familiar with their definitions and basic properties. Set theory. Sets, subsets, the empty set , operations on sets (union, intersection, ; product), maps, composition of maps, injective maps, surjective maps, bijective maps, the identity map 1X of a set X, inverses of maps. Relations, equivalence relations, equivalence classes, partial and total orderings, the cardinality #X of a set X. The principle of math- ematical induction. Zorn's lemma will be assumed in a number of exercises. Later in the course the terminology and a few basic results from point set topology may come in useful. Group theory. Groups, multiplicative and additive notation, the unit element 1 (or the zero element 0), abelian groups, cyclic groups, the order of a group or of an element, Fermat's little theorem, products of groups, subgroups, generators for subgroups, left cosets aH, right cosets, the coset spaces G=H and H G, the index (G : H), the theorem of n Lagrange, group homomorphisms, isomorphisms, automorphisms, normal subgroups, the factor group G=N and the canonical map G G=N, homomorphism theorems, the Jordan- ! H¨older theorem (see Exercise 1.4), the commutator subgroup [G; G], the center Z(G) (see Exercise 1.12), the group Aut G of automorphisms of G, inner automorphisms. Examples of groups: the group Sym X of permutations of a set X, the symmetric group S = Sym 1; 2; : : : ; n , cycles of permutations, even and odd permutations, the alternating n f g group A , the dihedral group D = (1 2 : : : n); (1 n 1)(2 n 2) : : : , the Klein four group n n h − − i V , the quaternion group Q = 1; i; j; ij (with ii = jj = 1, ji = ij) of order 4 8 { g − − 8, additive groups of rings, the group Gl(n; R) of invertible n n-matrices over a ring R.
    [Show full text]
  • Integral Closures of Ideals and Rings Irena Swanson
    Integral closures of ideals and rings Irena Swanson ICTP, Trieste School on Local Rings and Local Study of Algebraic Varieties 31 May–4 June 2010 I assume some background from Atiyah–MacDonald [2] (especially the parts on Noetherian rings, primary decomposition of ideals, ring spectra, Hilbert’s Basis Theorem, completions). In the first lecture I will present the basics of integral closure with very few proofs; the proofs can be found either in Atiyah–MacDonald [2] or in Huneke–Swanson [13]. Much of the rest of the material can be found in Huneke–Swanson [13], but the lectures contain also more recent material. Table of contents: Section 1: Integral closure of rings and ideals 1 Section 2: Integral closure of rings 8 Section 3: Valuation rings, Krull rings, and Rees valuations 13 Section 4: Rees algebras and integral closure 19 Section 5: Computation of integral closure 24 Bibliography 28 1 Integral closure of rings and ideals (How it arises, monomial ideals and algebras) Integral closure of a ring in an overring is a generalization of the notion of the algebraic closure of a field in an overfield: Definition 1.1 Let R be a ring and S an R-algebra containing R. An element x S is ∈ said to be integral over R if there exists an integer n and elements r1,...,rn in R such that n n 1 x + r1x − + + rn 1x + rn =0. ··· − This equation is called an equation of integral dependence of x over R (of degree n). The set of all elements of S that are integral over R is called the integral closure of R in S.
    [Show full text]
  • 5 Lecture 5: Huber Rings and Continuous Valuations
    5 Lecture 5: Huber rings and continuous valuations 5.1 Introduction The aim of this lecture is to introduce a special class of topological commutative rings, which we shall call Huber rings. These have associated spaces of valuations satisfying suitable continuity assumptions that will lead us to adic spaces later. We start by discussing some basic facts about Huber rings. Notation: If S; S0 are subsets of ring, we write S · S0 to denote the set of finite sums of products ss0 0 0 n for s 2 S and s 2 S . We define S1 ··· Sn similarly for subsets S1;:::;Sn, and likewise for S (with Si = S for 1 ≤ i ≤ n). For ideals in a ring this agrees with the usual notion of product among finitely many such. 5.2 Huber rings: preliminaries We begin with a definition: Definition 5.2.1 Let A be a topological ring. We say A is non-archimedean if it admits a base of neighbourhoods of 0 consisting of subgroups of the additive group (A; +) underlying A. Typical examples of non-archimedean rings are non-archimedean fields k and more generally k-affinoid algebras for such k. Example 5.2.2 As another example, let A := W (OF ), where OF is the valuation ring of a non- archimedean field of characteristic p > 0. A base of open neighbourhoods of 0 required in Definition 5.2.1 is given by n p A = f(0; ··· ; 0; OF ; OF ; ··· ); zeros in the first n slotsg; Q the p-adic topology on A is given by equipping A = n≥0 OF with the product topology in which each factor is discrete.
    [Show full text]
  • MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster
    MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster ZARISKI'S MAIN THEOREM, STRUCTURE OF SMOOTH, UNRAMIFIED, AND ETALE´ HOMOMORPHISMS, HENSELIAN RINGS AND HENSELIZATION, ARTIN APPROXIMATION, AND REDUCTION TO CHARACTERISTIC p Lecture of January 6, 2010 Throughout these lectures, unless otherwise indicated, all rings are commutative, asso- ciative rings with multiplicative identity and ring homomorphisms are unital, i.e., they are assumed to preserve the identity. If R is a ring, a given R-module M is also assumed to be unital, i.e., 1 · m = m for all m 2 M. We shall use N, Z, Q, and R and C to denote the nonnegative integers, the integers, the rational numbers, the real numbers, and the complex numbers, respectively. Our focus is very strongly on Noetherian rings, i.e., rings in which every ideal is finitely generated. Our objective will be to prove results, many of them very deep, that imply that many questions about arbitrary Noetherian rings can be reduced to the case of finitely generated algebras over a field (if the original ring contains a field) or over a discrete valuation ring (DVR), by which we shall always mean a Noetherian discrete valuation domain. Such a domain V is characterized by having just one maximal ideal, which is principal, say pV , and is such that every nonzero element can be written uniquely in the form upn where u is a unit and n 2 N. The formal power series ring K[[x]] in one variable over a field K is an example in which p = x. Another is the ring of p-adic integers for some prime p > 0, in which case the prime used does, in fact, generate the maximal ideal.
    [Show full text]
  • RING THEORY 1. Ring Theory a Ring Is a Set a with Two Binary Operations
    CHAPTER IV RING THEORY 1. Ring Theory A ring is a set A with two binary operations satisfying the rules given below. Usually one binary operation is denoted `+' and called \addition," and the other is denoted by juxtaposition and is called \multiplication." The rules required of these operations are: 1) A is an abelian group under the operation + (identity denoted 0 and inverse of x denoted x); 2) A is a monoid under the operation of multiplication (i.e., multiplication is associative and there− is a two-sided identity usually denoted 1); 3) the distributive laws (x + y)z = xy + xz x(y + z)=xy + xz hold for all x, y,andz A. Sometimes one does∈ not require that a ring have a multiplicative identity. The word ring may also be used for a system satisfying just conditions (1) and (3) (i.e., where the associative law for multiplication may fail and for which there is no multiplicative identity.) Lie rings are examples of non-associative rings without identities. Almost all interesting associative rings do have identities. If 1 = 0, then the ring consists of one element 0; otherwise 1 = 0. In many theorems, it is necessary to specify that rings under consideration are not trivial, i.e. that 1 6= 0, but often that hypothesis will not be stated explicitly. 6 If the multiplicative operation is commutative, we call the ring commutative. Commutative Algebra is the study of commutative rings and related structures. It is closely related to algebraic number theory and algebraic geometry. If A is a ring, an element x A is called a unit if it has a two-sided inverse y, i.e.
    [Show full text]
  • On Graded Weakly Primary Ideals 1. Introduction
    Quasigroups and Related Systems 13 (2005), 185 − 191 On graded weakly primary ideals Shahabaddin Ebrahimi Atani Abstract Let G be an arbitrary monoid with identity e. Weakly prime ideals in a commutative ring with non-zero identity have been introduced and studied in [1]. Here we study the graded weakly primary ideals of a G-graded commutative ring. Various properties of graded weakly primary ideals are considered. For example, we show that an intersection of a family of graded weakly primary ideals such that their homogeneous components are not primary is graded weakly primary. 1. Introduction Weakly prime ideals in a commutative ring with non-zero identity have been introduced and studied by D. D. Anderson and E. Smith in [1]. Also, weakly primary ideals in a commutative ring with non-zero identity have been introduced and studied in [2]. Here we study the graded weakly pri- mary ideals of a G-graded commutative ring. In this paper we introduce the concepts of graded weakly primary ideals and the structures of their homogeneous components. A number of results concerning graded weakly primary ideals are given. In section 2, we introduce the concepts primary and weakly primary subgroups (resp. submodules) of homogeneous compo- nents of a G-graded commutative ring. Also, we rst show that if P is a graded weakly primary ideal of a G-graded commutative ring, then for each , either is a primary subgroup of or 2 . Next, we show that g ∈ G Pg Rg Pg = 0 if P and Q are graded weakly primary ideals such that Pg and Qh are not primary for all g, h ∈ G respectively, then Grad(P ) = Grad(Q) = Grad(0) and P + Q is a graded weakly primary ideal of G(R).
    [Show full text]
  • Weak Singularity in Graded Rings -.:: Natural Sciences Publishing
    Math. Sci. Lett. 4, No. 1, 51-53 (2015) 51 Mathematical Sciences Letters An International Journal http://dx.doi.org/10.12785/msl/040111 Weak Singularity in Graded Rings Gayatri Das and Helen K. Saikia∗ Department of Mathematics, Gauhati University, Guwahati, 781014 India Received: 27 Jun. 2014, Revised: 27 Sep. 2014, Accepted: 18 Oct. 2014 Published online: 1 Jan. 2015 Abstract: In this paper we introduce the notion of graded weak singular ideals of a graded ring R. It is shown that every graded weak singular ideal of R is graded singular. A graded weakly nil ring is graded weak singular. If R is a graded weak non-singular ring then R is graded semiprime. Every graded strongly prime ring R is graded weak non-singular and the same holds for every reduced graded ring. Keywords: Graded Ring, Graded Ideals, Graded Singular Ideals, Graded Semiprime Ring. 1 Introduction We now present the following definitions that are needed in the sequel. The notion of singularity plays a very important role in the study of algebraic structures. It was remarked by Definition 2.1: The graded singular ideal of R, denoted Miguel Ferrero and Edmund R. Puczylowski in [3] that by Z(R) is defined as studying properties of rings one can usually say more Z(R)= {x ∈ R|annR(x) ∩ H = 0 for every nonzero graded assuming that the considered rings are either singular or ideal H of R} = {x ∈ h(R)|xK = 0 for some graded nonsingular. Therefore, in the studies of rings, the essential ideal K} importance of the concept of singularity is remarkable.
    [Show full text]