DOCSLIB.ORG

Foundations of Module and Ring Theory a Handbook for Study and Research

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Foundations of Module and Ring Theory a Handbook for Study and Research Foundations of Module and Ring Theory A Handbook for Study and Research Robert Wisbauer University of D¨usseldorf 1991 Gordon and Breach Science Publishers, Reading 2 Contents Preface ........................................................... v Symbols ......................................................... vii Chapter 1 Elementary properties of rings 1 Basic notions . 1 2 Special elements and ideals in rings . 7 3 Special rings . 14 4 Chain conditions for rings . 26 5 Algebras and group rings . 30 Chapter 2 Module categories 6 Elementary properties of modules . 36 7 The category of R-modules . 43 8 Internal direct sum . 57 9 Product, coproduct and subdirect product . 64 10 Pullback and pushout . 73 11 Functors, Hom-functors . 80 12 Tensor product, tensor functor . 90 Chapter 3 Modules characterized by the Hom-functor 13 Generators, trace . 105 14 Cogenerators, reject . 112 15 Subgenerators, the category σ[M] . 118 16 Injective modules . 127 17 Essential extensions, injective hulls . 137 18 Projective modules . 148 19 Superfluous epimorphisms, projective covers . 159 i ii Contents Chapter 4 Notions derived from simple modules 20 Semisimple modules and rings . 165 21 Socle and radical of modules and rings . 174 22 The radical of endomorphism rings . 185 23 Co-semisimple and good modules and rings . 190 Chapter 5 Finiteness conditions in modules 24 The direct limit . 196 25 Finitely presented modules . 207 26 Coherent modules and rings . 214 27 Noetherian modules and rings . 221 28 Annihilator conditions . 230 Chapter 6 Dual finiteness conditions 29 The inverse limit . 238 30 Finitely copresented modules . 248 31 Artinian and co-noetherian modules . 253 32 Modules of finite length . 265 Chapter 7 Pure sequences and derived notions 33 P-pure sequences, pure projective modules . 274 34 Purity in σ[M], R-MOD and ZZ-MOD . 281 35 Absolutely pure modules . 297 36 Flat modules . 304 37 Regular modules and rings . 313 38 Copure sequences and derived notions . 322 Chapter 8 Modules described by means of projectivity 39 (Semi)hereditary modules and rings . 328 40 Semihereditary and hereditary domains . 341 41 Supplemented modules . 348 42 Semiperfect modules and rings . 371 43 Perfect modules and rings . 382 Chapter 9 Relations between functors 44 Functorial morphisms . 393 45 Adjoint pairs of functors . 399 46 Equivalences of categories . 413 47 Dualities between categories . 425 48 Quasi-Frobenius modules and rings . 445 Contents iii Chapter 10 Functor rings 49 Rings with local units . 464 50 Global dimensions of modules and rings . 476 51 The functor Homb (V, −) .................................... 485 52 Functor rings of σ[M] and R-MOD . 506 53 Pure semisimple modules and rings . 521 54 Modules of finite representation type . 531 55 Serial modules and rings . 539 56 Homo-serial modules and rings . 560 Bibliography ................................................... 576 Index ........................................................... 599 iv Preface On the one hand this book intends to provide an introduction to module theory and the related part of ring theory. Starting from a basic understand- ing of linear algebra the theory is presented with complete proofs. From the beginning the approach is categorical. On the other hand the presentation includes most recent results and includes new ones. In this way the book will prove stimulating to those doing research and serve as a useful work of reference. Since the appearance of Cartan-Eilenberg’s Homological Algebra in the 1950s module theory has become a most important part of the theory of asso- ciative rings with unit. The category R-MOD of unital modules over a ring R also served as a pattern for the investigation of more general Grothendieck categories which are presented comprehensively in Gabriel’s work of 1962 (Bull.Soc.Math.France). Whereas ring theory and category theory initially followed different di- rections it turned out in the 1970s – e.g. in the work of Auslander – that the study of functor categories also reveals new aspects for module theory. In our presentation many of the results obtained this way are achieved by purely module theoretic methods avoiding the detour via abstract category theory (Chapter 10). The necessary extension of usual module theory to get this is gained by an artifice. From the very beginning the central point of our considerations is not the entire category R-MOD but a full subcategory of it: for an R-module M we construct the ’smallest’ subcategory of R-MOD which contains M and is a Grothendieck category. This is the subcategory σ[M] which is subgenerated by M, i.e. its objects are submodules of M-generated modules. The elaboration of module theoretic theorems in σ[M] is not more te- dious than in R-MOD. However, the higher generality gained this way with- out effort yields significant advantages. The correlation of (internal) properties of the module M with properties of the category σ[M] enables a homological classification of modules. Among other things, the Density Theorem has a new interpretation (in 15.8). All in all the approach chosen here leads to a clear refinement of the customary module theory and, for M = R, we obtain well-known results for the entire module category over a ring with unit. In addition the more general assertions also apply to rings without units and comprise the module theory for s-unital rings and rings with local units. This will be especially helpful for our investigations of functor rings. v vi For example, a new proof is obtained for the fact that a ring of left finite (representation) type is also of right finite type (see 54.3). For serial rings and artinian principal ideal rings we derive interesting characterizations in- volving properties of the functor rings (see 55.15, 56.10). Another special feature we could mention is the definition of linearly compact modules through an exactness condition on the inverse limit (in 29.7). This permits more transparent proofs in studying dualities between module categories (in section 47). Let us indicate some more applications of our methods which are not covered in the book. Categories of the type σ[M] are the starting point for a rich module theory over non-associative rings A. For this, A is considered as module over the (associative) multiplication algebra M(A) and the category σ[A] is investigated. Also torsion modules over a topological ring and graded modules over a graded ring form categories of the type σ[M]. For orientation, at the beginning of every section the titles of the para- graphs occurring in it are listed. At the end of the sections exercises are included to give further insight into the topics covered and to draw attention to related results in the literature. References can be found at the end of the paragraphs. Only those articles are cited which appeared after 1970. In citations of monographs the name of the author is printed in capital letters. This book has evolved from lectures given at the Universities of Nantes and D¨usseldorf from 1978 onwards. The printing was made possible through the technical assistance of the Rechenzentrum of the University of D¨usseldorf. I wish to express my sincere thanks to all who helped to prepare and complete the book. D¨usseldorf, Summer 1988 Besides several minor changes and improvements this English edition contains a number of new results. In 48.16 cogenerator modules with com- mutative endomorphism rings are characterized. In 51.13 we prove that a category σ[M] which has a generator with right perfect endomorphism ring also has a projective generator. In 52.7 and 52.8 the functor rings of regular and semisimple modules are described. Three more theorems are added in section 54. Also a number of additional exercises as well as references are included. I am very indebted to Patrick Smith and Toma Albu for their help in cor- recting the text. D¨usseldorf, Spring 1991 Robert Wisbauer Symbols N(R) nil radical of R 11 Np(R) sum of the nilpotent ideals in R 11 P (R) prime radical of R 11 RG semigroup ring 32 AnR(M) annihilator of an R-module M 42 ENS category of sets 44 GRP category of groups 45 AB category of abelian groups 45 R-MOD category of left R-modules 45 R-mod category of finitely generated left R-modules 46 TA,B morphism map for the functor T 81 T r(U,L) trace of U in L 107 Re(L, U) reject of U in L 113 σ[M] subcategory of R-MOD subgenerated by M 118 QM Λ Nλ product of Nλ in σ[M] 118 t(M) torsion submodule of a ZZ-module M 124 p(M) p-component of a ZZ-module M 124 ZZp∞ Pr¨ufer group 125 K E MK is an essential submodule of M 137 NMb -injective hull of N 141 K MK is a superfluous submodule of M 159 Soc M socle of M 174 Rad M radical of M 176 Jac R Jacobson radical of R 178 lim M direct limit of modules M 197 −→ i i An(K) annihilator of a submodule K ⊂ M 230 Ke(X) annihilator of a submodule X ⊂ HomR(N, M) 230 lim N inverse limit of modules N 239 ←− i i lg(M) length of M 267 L∗, L∗∗ U-dual and U-double dual module of L 411 σf [M] submodules of finitely M-generated modules 426 Homb (V, N) morphisms which are zero almost everywhere 485 Endb (V ) endomorphisms which are zero almost everywhere 485 vii 0 Chapter 1 Elementary properties of rings Before we deal with deeper results on the structure of rings with the help of module theory we want to provide elementary definitions and con- structions in this chapter. 1 Basic notions A ring is defined as a non-empty set R with two compositions + , · : R × R → R with the properties: (i) (R, +) is an abelian group (zero element 0); (ii) (R, · ) is a semigroup; (iii) for all a, b, c ∈ R the distributivity laws are valid: (a + b)c = ac + bc, a(b + c) = ab + ac.
Load more

Recommended publications
  • Extended Jacobson Density Theorem for Lie Ideals of Rings with Automorphisms
    Publ. Math. Debrecen 58 / 3 (2001), 325–335 Extended Jacobson density theorem for Lie ideals of rings with automorphisms By K. I. BEIDAR (Tainan), M. BRESARˇ (Maribor) and Y. FONG (Tainan) Abstract. We prove a version of the Chevalley–Jacobson density theorem for Lie ideals of rings with automorphisms and present some applications of the obtained results. 1. Introduction In the present paper we continue the project initiated recently in [7] and developed further in [3], [4]; its main idea is to connect the concept of a dense action on modules with the concept of outerness of derivations and automorphisms. In [3] an extended version of Chevalley–Jacobson density theorem has been proved for rings with automorphisms and derivations. In the present paper we consider a Lie ideal of a ring acting on simple modules via multiplication. Our goal is to extend to this context results obtained in [3]. We confine ourselves with the case of automorphisms. We note that Chevalley–Jacobson density theorem has been generalized in various directions [1], [10], [14], [12], [13], [17], [19]–[22] (see also [18, 15.7, 15.8] and [9, Extended Jacobson Density Theorem]). As an application we generalize results of Drazin on primitive rings with pivotal monomial to primitive rings whose noncentral Lie ideal has a pivotal monomial with automorphisms. Here we note that while Mar- tindale’s results on prime rings with generalized polynomial identity were extended to prime rings with generalized polynomial identities involving derivations and automorphisms, the corresponding program for results of Mathematics Subject Classification: 16W20, 16D60, 16N20, 16N60, 16R50.
    [Show full text]
  • On the Cohen-Macaulay Modules of Graded Subrings
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 357, Number 2, Pages 735{756 S 0002-9947(04)03562-7 Article electronically published on April 27, 2004 ON THE COHEN-MACAULAY MODULES OF GRADED SUBRINGS DOUGLAS HANES Abstract. We give several characterizations for the linearity property for a maximal Cohen-Macaulay module over a local or graded ring, as well as proofs of existence in some new cases. In particular, we prove that the existence of such modules is preserved when taking Segre products, as well as when passing to Veronese subrings in low dimensions. The former result even yields new results on the existence of finitely generated maximal Cohen-Macaulay modules over non-Cohen-Macaulay rings. 1. Introduction and definitions The notion of a linear maximal Cohen-Macaulay module over a local ring (R; m) was introduced by Ulrich [17], who gave a simple characterization of the Gorenstein property for a Cohen-Macaulay local ring possessing a maximal Cohen-Macaulay module which is sufficiently close to being linear, as defined below. A maximal Cohen-Macaulay module (abbreviated MCM module)overR is one whose depth is equal to the Krull dimension of the ring R. All modules to be considered in this paper are assumed to be finitely generated. The minimal number of generators of an R-module M, which is equal to the (R=m)-vector space dimension of M=mM, will be denoted throughout by ν(M). In general, the length of a finitely generated Artinian module M is denoted by `(M)(orby`R(M), if it is necessary to specify the ring acting on M).
    [Show full text]
  • Primitive Near-Rings by William
    PRIMITIVE NEAR-RINGS BY WILLIAM MICHAEL LLOYD HOLCOMBE -z/ Thesis presented to the University of Leeds _A tor the degree of Doctor of Philosophy. April 1970 ACKNOWLEDGEMENT I should like to thank Dr. E. W. Wallace (Leeds) for all his help and encouragement during the preparation of this work. CONTENTS Page INTRODUCTION 1 CHAPTER.1 Basic Concepts of Near-rings 51. Definitions of a Near-ring. Examples k §2. The right modules with respect to a near-ring, homomorphisms and ideals. 5 §3. Special types of near-rings and modules 9 CHAPTER 2 Radicals and Semi-simplicity 12 §1. The Jacobson Radicals of a near-ring; 12 §2. Basic properties of the radicals. Another radical object. 13 §3. Near-rings with descending chain conditions. 16 §4. Identity elements in near-rings with zero radicals. 20 §5. The radicals of related near-rings. 25. CHAPTER 3 2-primitive near-rings with identity and descending chain condition on right ideals 29 §1. A Density Theorem for 2-primitive near-rings with identity and d. c. c. on right ideals 29 §2. The consequences of the Density Theorem 40 §3. The connection with simple near-rings 4+6 §4. The decomposition of a near-ring N1 with J2(N) _ (0), and d. c. c. on right ideals. 49 §5. The centre of a near-ring with d. c. c. on right ideals 52 §6. When there are two N-modules of type 2, isomorphic in a 2-primitive near-ring? 55 CHAPTER 4 0-primitive near-rings with identity and d. c.
    [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]
  • Change of Rings Theorems
    CHANG E OF RINGS THEOREMS CHANGE OF RINGS THEOREMS By PHILIP MURRAY ROBINSON, B.SC. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for the Degree Master of Science McMaster University (July) 1971 MASTER OF SCIENCE (1971) l'v1cHASTER UNIVERSITY {Mathematics) Hamilton, Ontario TITLE: Change of Rings Theorems AUTHOR: Philip Murray Robinson, B.Sc. (Carleton University) SUPERVISOR: Professor B.J.Mueller NUMBER OF PAGES: v, 38 SCOPE AND CONTENTS: The intention of this thesis is to gather together the results of various papers concerning the three change of rings theorems, generalizing them where possible, and to determine if the various results, although under different hypotheses, are in fact, distinct. {ii) PREFACE Classically, there exist three theorems which relate the two homological dimensions of a module over two rings. We deal with the first and last of these theorems. J. R. Strecker and L. W. Small have significantly generalized the "Third Change of Rings Theorem" and we have simply re­ organized their results as Chapter 2. J. M. Cohen and C. u. Jensen have generalized the "First Change of Rings Theorem", each with hypotheses seemingly distinct from the other. However, as Chapter 3 we show that by developing new proofs for their theorems we can, indeed, generalize their results and by so doing show that their hypotheses coincide. Some examples due to Small and Cohen make up Chapter 4 as a completion to the work. (iii) ACKNOW-EDGMENTS The author expresses his sincere appreciation to his supervisor, Dr. B. J. Mueller, whose guidance and helpful criticisms were of greatest value in the preparation of this thesis.
    [Show full text]
  • Projective, Flat and Multiplication Modules
    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 31 (2002), 115-129 PROJECTIVE, FLAT AND MULTIPLICATION MODULES M a j i d M . A l i a n d D a v i d J. S m i t h (Received December 2001) Abstract. In this note all rings are commutative rings with identity and all modules are unital. We consider the behaviour of projective, flat and multipli­ cation modules under sums and tensor products. In particular, we prove that the tensor product of two multiplication modules is a multiplication module and under a certain condition the tensor product of a multiplication mod­ ule with a projective (resp. flat) module is a projective (resp. flat) module. W e investigate a theorem of P.F. Smith concerning the sum of multiplication modules and give a sufficient condition on a sum of a collection of modules to ensure that all these submodules are multiplication. W e then apply our result to give an alternative proof of a result of E l-B ast and Smith on external direct sums of multiplication modules. Introduction Let R be a commutative ring with identity and M a unital i?-module. Then M is called a multiplication module if every submodule N of M has the form IM for some ideal I of R [5]. Recall that an ideal A of R is called a multiplication ideal if for each ideal B of R with B C A there exists an ideal C of R such that B — AC. Thus multiplication ideals are multiplication modules. In particular, invertible ideals of R are multiplication modules.
    [Show full text]
  • QUIVER BIALGEBRAS and MONOIDAL CATEGORIES 3 K N ≥ 0
    QUIVER BIALGEBRAS AND MONOIDAL CATEGORIES HUA-LIN HUANG (JINAN) AND BLAS TORRECILLAS (ALMER´IA) Abstract. We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed monoidal categories. 1. Introduction This paper is devoted to the study of natural bialgebra structures on the path coalgebra of an arbitrary quiver and monoidal structures on the category of its locally nilpotent and locally finite representations. A further purpose is to establish a quiver setting for general pointed bialgebras and pointed monoidal categories. Our original motivation is to extend the Hopf quiver theory [4, 7, 8, 12, 13, 25, 31] to the setting of generalized Hopf structures. As bialgebras are a fundamental generalization of Hopf algebras, we naturally initiate our study from this case. The basic problem is to determine what kind of quivers can give rise to bialgebra structures on their associated path algebras or coalgebras. It turns out that the path coalgebra of an arbitrary quiver admits natural bial- gebra structures, see Theorem 3.2. This seems a bit surprising at first sight by comparison with the Hopf case given in [8], where Cibils and Rosso showed that the path coalgebra of a quiver Q admits a Hopf algebra structure if and only if Q is a Hopf quiver which is very special.
    [Show full text]
  • NOTES on MODULES and ALGEBRAS 1. Some Remarks About Categories Throughout These Notes, We Will Be Using Some of the Basic Termin
    NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminol- ogy and notation from category theory. Roughly speaking, a category C consists of some class of mathematical structures, called the objects of C, together with the appropriate type of mappings between objects, called the morphisms, or arrows, of C. Here are a few examples: Category Objects Morphisms Set sets functions Grp groups group homomorphisms Ab abelian groups group homomorphisms ModR left R-modules (where R-linear maps R is some fixed ring) For objects A and B belonging to a category C we denote by C(A, B) the set of all morphisms from A to B in C and, for any f ∈ C(A, B), the objects A and B are called, respectively, the domain and codomain of f. For example, if A and B are abelian groups, and we denote by U(A) and U(B) the underlying sets of A and B, then Ab(A, B) is the set of all group homomorphisms having domain A and codomain B, while Set(U(A), U(B)) is the set of all functions from A to B, where the group structure is ignored. Whenever it is understood that A and B are objects in some category C then by a morphism from A to B we shall always mean a morphism from A to B in the category C. For example if A and B are rings, a morphism f : A → B is a ring homomorphism, not just a homomorphism of underlying additive abelian groups or multiplicative monoids, or a function between underlying sets.
    [Show full text]
  • Modules Embedded in a Flat Module and Their Approximations
    International Journal of Recent Development in Engineering and Technology Website: www.ijrdet.com (ISSN 2347 - 6435 (Online)) Volume 2, Issue 3, March 2014) Modules Embedded in a Flat Module and their Approximations Asma Zaffar1, Muhammad Rashid Kamal Ansari2 Department of Mathematics Sir Syed University of Engineering and Technology Karachi-75300S Abstract--An F- module is a module which is embedded in a Finally, the theory developed above is applied to flat flat module F. Modules embedded in a flat module approximations particularly the I (F)-flat approximations. demonstrate special generalized features. In some aspects We start with some necessary definitions. these modules resemble torsion free modules. This concept generalizes the concept of modules over IF rings and modules 1.1 Definition: Mmod-A is said to be a right F-module over rings whose injective hulls are flat. This study deals with if it is embedded in a flat module F ≠ M mod-A. Similar F-modules in a non-commutative scenario. A characterization definition holds for a left F-module. of F-modules in terms of torsion free modules is also given. Some results regarding the dual concept of homomorphic 1.2 Definition: A ring A is said to be an IF ring if its every images of flat modules are also obtained. Some possible injective module is flat [4]. applications of the theory developed above to I (F)-flat module approximation are also discussed. 1.3 Definition [Von Neumann]: A ring A is regular if, for each a A, and some another element x A we have axa Keyswords-- 16E, 13Dxx = a.
    [Show full text]
  • Topics in Module Theory
    Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and construc- tions concerning modules over (primarily) noncommutative rings that will be needed to study group representation theory in Chapter 8. 7.1 Simple and Semisimple Rings and Modules In this section we investigate the question of decomposing modules into \simpler" modules. (1.1) De¯nition. If R is a ring (not necessarily commutative) and M 6= h0i is a nonzero R-module, then we say that M is a simple or irreducible R- module if h0i and M are the only submodules of M. (1.2) Proposition. If an R-module M is simple, then it is cyclic. Proof. Let x be a nonzero element of M and let N = hxi be the cyclic submodule generated by x. Since M is simple and N 6= h0i, it follows that M = N. ut (1.3) Proposition. If R is a ring, then a cyclic R-module M = hmi is simple if and only if Ann(m) is a maximal left ideal. Proof. By Proposition 3.2.15, M =» R= Ann(m), so the correspondence the- orem (Theorem 3.2.7) shows that M has no submodules other than M and h0i if and only if R has no submodules (i.e., left ideals) containing Ann(m) other than R and Ann(m). But this is precisely the condition for Ann(m) to be a maximal left ideal. ut (1.4) Examples. (1) An abelian group A is a simple Z-module if and only if A is a cyclic group of prime order.
    [Show full text]
  • A Review of Commutative Ring Theory Mathematics Undergraduate Seminar: Toric Varieties
    A REVIEW OF COMMUTATIVE RING THEORY MATHEMATICS UNDERGRADUATE SEMINAR: TORIC VARIETIES ADRIANO FERNANDES Contents 1. Basic Definitions and Examples 1 2. Ideals and Quotient Rings 3 3. Properties and Types of Ideals 5 4. C-algebras 7 References 7 1. Basic Definitions and Examples In this first section, I define a ring and give some relevant examples of rings we have encountered before (and might have not thought of as abstract algebraic structures.) I will not cover many of the intermediate structures arising between rings and fields (e.g. integral domains, unique factorization domains, etc.) The interested reader is referred to Dummit and Foote. Definition 1.1 (Rings). The algebraic structure “ring” R is a set with two binary opera- tions + and , respectively named addition and multiplication, satisfying · (R, +) is an abelian group (i.e. a group with commutative addition), • is associative (i.e. a, b, c R, (a b) c = a (b c)) , • and the distributive8 law holds2 (i.e.· a,· b, c ·R, (·a + b) c = a c + b c, a (b + c)= • a b + a c.) 8 2 · · · · · · Moreover, the ring is commutative if multiplication is commutative. The ring has an identity, conventionally denoted 1, if there exists an element 1 R s.t. a R, 1 a = a 1=a. 2 8 2 · ·From now on, all rings considered will be commutative rings (after all, this is a review of commutative ring theory...) Since we will be talking substantially about the complex field C, let us recall the definition of such structure. Definition 1.2 (Fields).
    [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]