DOCSLIB.ORG

07 Define Ring, Subrings, Modules, and Submodules. Example 1. Rings

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
07 Define Ring, Subrings, Modules, and Submodules. Example 1. Rings RINGS AND FIELDS `07 RINGS AND FIELDS `07 De¯ne ring, subrings, modules, and submodules. Example 1. Rings: (a) We have the well-known rings; Z, Q, R, and C. (b) Inside C we ¯nd rings as follows; select an element ® that is n n¡1 n¡2 the root to some polynomial x +an¡1x +an¡2x +¢ ¢ ¢+a0 0 where the ajs are integers, and set R = Z[®] = ft 2 C j t = n¡1 n¡2 bn¡1® + bn¡2® + ¢ ¢ ¢ + b0; where each bi 2 Zg. (c) Given any ring R, we can construct a ring from the collection of n £ n matrices whose entries lie in R; S = Matn(R); where multiplication and addition are the standard matrix op- erations. (d) The upper, 2£2 matrices over a commutative ring R with equal diagonal entries forms a commutative subring of Mat2(R). Example 2. Modules Over a Ring R: (a) For an index set I, ¦I R and ©I R are modules over R. (b) An R-module F is called free on a subset X if for every map f : X ! A such that f(rx + sy) = rf(x) + sf(y) for x; y 2 X and r; s 2 R, where A is an R-module, there is a unique homomorphism h : M ! A such that hjX = f. (c) An R-module M is called projective if, for every epimorphism f : A ! B and homomorphism g : M ! B, there is a homo- morphism » Theorem 1. An R-module M is free if and only if M = ©I R. Theorem 2. An R-module M is projective if and only if M © N = F for some free module F . Let us use the projective and free modules as a foundation for our course. 1 2 RINGS AND FIELDS `07 Theorem 3. Every R-module is free if and only if R is a division ring. When is it true that every R-module is projective? Artin-Wedderburn Theorem . Every R-module is projective if and only if R is a ¯nite direct product of matrix rings over division rings; i.e., R = Matn1 (D1) £ Matn2 (D2) £ ¢ ¢ ¢ £ Matnk (Dk); for some natural numbers n1; n2; : : : ; nk and division rings D1;D2;:::;Dk. Example 3. Let H denote the (rational) Hamiltonian Quaternions; H = fa + bi + cj + dk j a; b; c; d 2 Qg; where addition is component-wise and multiplication extends linearly 2 2 2 from i = j = k = ¡1. Then, the left ideal of R = Mat2(H) consist- ing of the matrices with second column zero is a projective (left) ideal of R that is not free. p p pExample 4. Let R = Z[ ¡5] = fa + b ¡5 j a; b 2 Z and I = (3; 1 + ¡5). We claim that I is projective but not free. First we will argue that I 6= R. Notice 3Rp⊆ I. Modulop 3R, the general elementp of I can be represented as (1+ ¡5)¢p(a+b ¡5) = (a¡5b)+(a+b) ¡5, which is congruent to (a + b)[1 + ¡5] mod 3R. Therefore, I=3R »= Z=3Z, and since R=3R has order 9, I is properly contained in Rp. If I were free,p then I would be principal; say I = (a + b ¡5). Since I contains 3; 1+ ¡5, by computing norms, a2 +5b2 must divide 9 and 6. Hence a2 + 5b2 = 1 or 3. We rule out 1 since I 6= R. However, a2 + 5b2 = 3 is not possible. Therefore, I is not free. Set 2 p ® = (1 + ¡5); and ¯ = ¡1: 3 Note that ® ¢ I ⊆ R and ¯ ¢ I ⊆ R. De¯nep the homomorphism θ : F = R © R ! I by θ(r; s) = r3 + s(1 + ¡5). The epimorphism θ is split by the map ± : I ! F where ±(x) = (¯x; ®x). (Check: p 2 θ(±(x)) = θ((¯x; ®x)) = 3¯x + (1 + ¡5)®x = x(¡3 + 3 6) = x. Therefore, I is projective. p Example 5. The ring R = Z[ ¡5] of the last example has the property that every nonzero nonunit can be expressed as a product of irreducible elements (see homework), yet R is not a UFD (see the next example). RINGS AND FIELDS `07 3 Example 6. Let d be a square-free integer 6= 1, and de¯ne p R = Z[ d] provided d ´ 2; 3 (mod 4); or p 1 + d R = Z[ ] when d ´ 1(mod 4): 2 Then every ideal of R is projective. It is not known whether or not there are in¯nitely many d0s for which R is a PID. However, for such an R, R is a PID if and only if R is a UFD. 4 RINGS AND FIELDS `07 1. EXERCISE SET 1 In this homework set, R is an integral domain. A nonzero, nonunit r of R is said to be irreducible provided r = st for s; t 2 R can only happen when one of s or t is a unit. (Recall, u 2 R is a unit if uv = 1 for some v 2 R). A nonzero, nonunit r of R is said to be prime if r j ab for a; b 2 R, implies r j a or r j b. R is said to have the ascending chain condition on principal ideals, if any increasing chain of ideals (a1) ⊆ (a2) ⊆ (a3) ⊆ ¢ ¢ ¢ stablizes (i.e., there is an index n such that (am) = (an) for all m ¸ n). 1. Show that if R has the ascending chain condition on principal ideals, then every nonzero nonunit r of R is a product of ir- reducible elements. Hint: To argue that r has an irreducible factor, either r is irreducible, or r = r1s1 with r1; s1 nonzero nonunits. Note (r) is properly contained in (r1) in this case. Re- peat for r1 and use the hypothesis to eventually obtain r = s1t1 with s1 irreducible. Now write r = r1v1 = r1r2v2 = ::: with r1; r2;::: irreducible, and use the hypothesis to show that even- tually some vj is a unit. 2. Show that if R is a UFD then every irreducible element is prime and R has the ascending chain condition on principal ideals. 3. Show that if irreducible elements are prime in R and R has the ascending chain condition on principal ideals, then R is a UFD. 4. Show that R is a UFD if and only if every nonzero nonunit is a product of primes. 5. Show any PID is a UFD. RINGS AND FIELDS `07 5 2. Integral Domains Theorem 4. Let R be an integral domain. Every submodule of ©nR for any n is free if and only if R is a PID. Proof. An ideal of R is a submodule of R. Hence if the condition is in force, R is necessarily a PID. Conversely, assume that R is a PID. We will show, by induction on n, that every submodule of ©nR is free. When n = 1, the nonzero submodules of R are ideals and are principal (hence isomorphic to R). Inductively, let L be a nonzero submodule of F = ©nR. For ¼j : F ! th R equal to the projection map onto the j coordinate, I = ¼j(L) 6= 0 for some j. Since I = aR for some 0 6= a 2 R, we can de¯ne a splitting map f : aR ! L by f(ar) = rx where x 2 L is any element such that ¼j(x) = a. By the standard argument, » L = Im f © Ker ¼jjL = aR © Ker ¼jjL: th Note that Ker ¼jjL = fy 2 L j y has a zero j componentg · ©i6=jR; where the index i runs over 1; 2; : : : ; j ¡ 1; j + 1; : : : ; n. By induction, » » Ker ¼jjL = ©mR is free, and therefore, L = ©m+1R. ¤ Given an ideal I 6= 0 of R, de¯ne I¡1 = ft 2 Q j tIsubseteqRg: The ideal I is said to be invertible, if I ¢ I¡1 = R: Analogously, we have Theorem 5. Let R be an integral domain. Every submodule of ©nR for any n is projective if and only if every ideal of R is invertible (pro- jective). In order to see this we need a few observations. Bear Injective Test Lemma . The module U is injective if and only if U is injective relative to any sequence 0 ! I ! R where I is an ideal of R. Proof. Assume that U is injective with respect to any sequence 0 ! I ! R, and suppose that 0 ! A ! B is exact and f : A ! U. Consider the set C of all 2-tuples (g; C) where A · C · B and gjA = f: There is a maximal element (g0;C0). If C0 6= B let x 2 B n C0, and let I = fr 2 R j rx 2 C0g. Set 0 0 C = C0 + hxi. If I = 0, then hxi \ C0 = 0 and so C = C0 © hxi · B; 0 0 0 we then have the over-module C of C0 and can de¯ne g : C ! U by 6 RINGS AND FIELDS `07 0 g (c0; rx) = g(c0), contradicting the maximality of (g; C0). Therefore I 6= 0. By hypothesis, the map h : I ! U given by h(r) = g(rx) can be lifted to a map h0 : R ! U. We then de¯ne g0 : C0 ! U by 0 0 g (c0 + rx) = g(c0) + h (r). If c0 + rx = b0 + sx with c0; b0 2 C0 and r; s 2 R, then (r ¡ s)x = b0 ¡ c0 2 C0 and so r ¡ s 2 I. But then 0 0 0 g(b0 ¡ c0) = g((r ¡ s)x) = h(r ¡ s) = h (r ¡ s) = h (r) ¡ h (s) and 0 0 0 0 so g(b0) ¡ g(c0) = h (r) ¡ h (s) implying g(b0) + h (s) = g(c0) + h (r) making g0 well-de¯ned.
Load more

Recommended publications
  • 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]
  • On Field Γ-Semiring and Complemented Γ-Semiring with Identity
    BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 189-202 DOI: 10.7251/BIMVI1801189RA Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA LUKA ISSN 0354-5792 (o), ISSN 1986-521X (p) ON FIELD Γ-SEMIRING AND COMPLEMENTED Γ-SEMIRING WITH IDENTITY Marapureddy Murali Krishna Rao Abstract. In this paper we study the properties of structures of the semi- group (M; +) and the Γ−semigroup M of field Γ−semiring M, totally ordered Γ−semiring M and totally ordered field Γ−semiring M satisfying the identity a + aαb = a for all a; b 2 M; α 2 Γand we also introduce the notion of com- plemented Γ−semiring and totally ordered complemented Γ−semiring. We prove that, if semigroup (M; +) is positively ordered of totally ordered field Γ−semiring satisfying the identity a + aαb = a for all a; b 2 M; α 2 Γ, then Γ-semigroup M is positively ordered and study their properties. 1. Introduction In 1995, Murali Krishna Rao [5, 6, 7] introduced the notion of a Γ-semiring as a generalization of Γ-ring, ring, ternary semiring and semiring. The set of all negative integers Z− is not a semiring with respect to usual addition and multiplication but Z− forms a Γ-semiring where Γ = Z: Historically semirings first appear implicitly in Dedekind and later in Macaulay, Neither and Lorenzen in connection with the study of a ring. However semirings first appear explicitly in Vandiver, also in connection with the axiomatization of Arithmetic of natural numbers.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • Modules and Lie Semialgebras Over Semirings with a Negation Map 3
    MODULES AND LIE SEMIALGEBRAS OVER SEMIRINGS WITH A NEGATION MAP GUY BLACHAR Abstract. In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated and proved only in the ELT theory. When dealing with modules, we focus on linearly independent sets and spanning sets. We define a notion of lifting a module with a negation map, similarly to the tropicalization process, and use it to prove several theorems about semirings with a negation map which possess a lift. In the context of Lie semialgebras over semirings with a negation map, we first give basic definitions, and provide parallel constructions to the classical Lie algebras. We prove an ELT version of Cartan’s criterion for semisimplicity, and provide a counterexample for the naive version of the PBW Theorem. Contents Page 0. Introduction 2 0.1. Semirings with a Negation Map 2 0.2. Modules Over Semirings with a Negation Map 3 0.3. Supertropical Algebras 4 0.4. Exploded Layered Tropical Algebras 4 1. Modules over Semirings with a Negation Map 5 1.1. The Surpassing Relation for Modules 6 1.2. Basic Definitions for Modules 7 1.3. -morphisms 9 1.4. Lifting a Module Over a Semiring with a Negation Map 10 1.5. Linearly Independent Sets 13 1.6. d-bases and s-bases 14 1.7. Free Modules over Semirings with a Negation Map 18 2.
    [Show full text]
  • Irreducible Representations of Finite Monoids
    U.U.D.M. Project Report 2019:11 Irreducible representations of finite monoids Christoffer Hindlycke Examensarbete i matematik, 30 hp Handledare: Volodymyr Mazorchuk Examinator: Denis Gaidashev Mars 2019 Department of Mathematics Uppsala University Irreducible representations of finite monoids Christoffer Hindlycke Contents Introduction 2 Theory 3 Finite monoids and their structure . .3 Introductory notions . .3 Cyclic semigroups . .6 Green’s relations . .7 von Neumann regularity . 10 The theory of an idempotent . 11 The five functors Inde, Coinde, Rese,Te and Ne ..................... 11 Idempotents and simple modules . 14 Irreducible representations of a finite monoid . 17 Monoid algebras . 17 Clifford-Munn-Ponizovski˘ıtheory . 20 Application 24 The symmetric inverse monoid . 24 Calculating the irreducible representations of I3 ........................ 25 Appendix: Prerequisite theory 37 Basic definitions . 37 Finite dimensional algebras . 41 Semisimple modules and algebras . 41 Indecomposable modules . 42 An introduction to idempotents . 42 1 Irreducible representations of finite monoids Christoffer Hindlycke Introduction This paper is a literature study of the 2016 book Representation Theory of Finite Monoids by Benjamin Steinberg [3]. As this book contains too much interesting material for a simple master thesis, we have narrowed our attention to chapters 1, 4 and 5. This thesis is divided into three main parts: Theory, Application and Appendix. Within the Theory chapter, we (as the name might suggest) develop the necessary theory to assist with finding irreducible representations of finite monoids. Finite monoids and their structure gives elementary definitions as regards to finite monoids, and expands on the basic theory of their structure. This part corresponds to chapter 1 in [3]. The theory of an idempotent develops just enough theory regarding idempotents to enable us to state a key result, from which the principal result later follows almost immediately.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory William B. Hart Warwick Mathematics Institute Abstract. We give a short introduction to algebraic number theory. Algebraic number theory is the study of extension fields Q(α1; α2; : : : ; αn) of the rational numbers, known as algebraic number fields (sometimes number fields for short), in which each of the adjoined complex numbers αi is algebraic, i.e. the root of a polynomial with rational coefficients. Throughout this set of notes we use the notation Z[α1; α2; : : : ; αn] to denote the ring generated by the values αi. It is the smallest ring containing the integers Z and each of the αi. It can be described as the ring of all polynomial expressions in the αi with integer coefficients, i.e. the ring of all expressions built up from elements of Z and the complex numbers αi by finitely many applications of the arithmetic operations of addition and multiplication. The notation Q(α1; α2; : : : ; αn) denotes the field of all quotients of elements of Z[α1; α2; : : : ; αn] with nonzero denominator, i.e. the field of rational functions in the αi, with rational coefficients. It is the smallest field containing the rational numbers Q and all of the αi. It can be thought of as the field of all expressions built up from elements of Z and the numbers αi by finitely many applications of the arithmetic operations of addition, multiplication and division (excepting of course, divide by zero). 1 Algebraic numbers and integers A number α 2 C is called algebraic if it is the root of a monic polynomial n n−1 n−2 f(x) = x + an−1x + an−2x + ::: + a1x + a0 = 0 with rational coefficients ai.
    [Show full text]
  • A Topology for Operator Modules Over W*-Algebras Bojan Magajna
    Journal of Functional AnalysisFU3203 journal of functional analysis 154, 1741 (1998) article no. FU973203 A Topology for Operator Modules over W*-Algebras Bojan Magajna Department of Mathematics, University of Ljubljana, Jadranska 19, Ljubljana 1000, Slovenia E-mail: Bojan.MagajnaÄuni-lj.si Received July 23, 1996; revised February 11, 1997; accepted August 18, 1997 dedicated to professor ivan vidav in honor of his eightieth birthday Given a von Neumann algebra R on a Hilbert space H, the so-called R-topology is introduced into B(H), which is weaker than the norm and stronger than the COREultrastrong operator topology. A right R-submodule X of B(H) is closed in the Metadata, citation and similar papers at core.ac.uk Provided byR Elsevier-topology - Publisher if and Connector only if for each b #B(H) the right ideal, consisting of all a # R such that ba # X, is weak* closed in R. Equivalently, X is closed in the R-topology if and only if for each b #B(H) and each orthogonal family of projections ei in R with the sum 1 the condition bei # X for all i implies that b # X. 1998 Academic Press 1. INTRODUCTION Given a C*-algebra R on a Hilbert space H, a concrete operator right R-module is a subspace X of B(H) (the algebra of all bounded linear operators on H) such that XRX. Such modules can be characterized abstractly as L -matricially normed spaces in the sense of Ruan [21], [11] which are equipped with a completely contractive R-module multi- plication (see [6] and [9]).
    [Show full text]
  • On Finite Semifields with a Weak Nucleus and a Designed
    On finite semifields with a weak nucleus and a designed automorphism group A. Pi~nera-Nicol´as∗ I.F. R´uay Abstract Finite nonassociative division algebras S (i.e., finite semifields) with a weak nucleus N ⊆ S as defined by D.E. Knuth in [10] (i.e., satisfying the conditions (ab)c − a(bc) = (ac)b − a(cb) = c(ab) − (ca)b = 0, for all a; b 2 N; c 2 S) and a prefixed automorphism group are considered. In particular, a construction of semifields of order 64 with weak nucleus F4 and a cyclic automorphism group C5 is introduced. This construction is extended to obtain sporadic finite semifields of orders 256 and 512. Keywords: Finite Semifield; Projective planes; Automorphism Group AMS classification: 12K10, 51E35 1 Introduction A finite semifield S is a finite nonassociative division algebra. These rings play an important role in the context of finite geometries since they coordinatize projective semifield planes [7]. They also have applications on coding theory [4, 8, 6], combinatorics and graph theory [13]. During the last few years, computational efforts in order to clasify some of these objects have been made. For instance, the classification of semifields with 64 elements is completely known, [16], as well as those with 243 elements, [17]. However, many questions are open yet: there is not a classification of semifields with 128 or 256 elements, despite of the powerful computers available nowadays. The knowledge of the structure of these concrete semifields can inspire new general constructions, as suggested in [9]. In this sense, the work of Lavrauw and Sheekey [11] gives examples of constructions of semifields which are neither twisted fields nor two-dimensional over a nucleus starting from the classification of semifields with 64 elements.
    [Show full text]
  • Fields Besides the Real Numbers Math 130 Linear Algebra
    manner, which are both commutative and asso- ciative, both have identity elements (the additive identity denoted 0 and the multiplicative identity denoted 1), addition has inverse elements (the ad- ditive inverse of x denoted −x as usual), multipli- cation has inverses of nonzero elements (the multi- Fields besides the Real Numbers 1 −1 plicative inverse of x denoted x or x ), multipli- Math 130 Linear Algebra cation distributes over addition, and 0 6= 1. D Joyce, Fall 2015 Of course, one example of a field is the field of Most of the time in linear algebra, our vectors real numbers R. What are some others? will have coordinates that are real numbers, that is to say, our scalar field is R, the real numbers. Example 2 (The field of rational numbers, Q). Another example is the field of rational numbers. But linear algebra works over other fields, too, A rational number is the quotient of two integers like C, the complex numbers. In fact, when we a=b where the denominator is not 0. The set of discuss eigenvalues and eigenvectors, we'll need to all rational numbers is denoted Q. We're familiar do linear algebra over C. Some of the applications with the fact that the sum, difference, product, and of linear algebra such as solving linear differential quotient (when the denominator is not zero) of ra- equations require C as as well. tional numbers is another rational number, so Q Some applications in computer science use linear has all the operations it needs to be a field, and algebra over a two-element field Z (described be- 2 since it's part of the field of the real numbers R, its low).
    [Show full text]
  • Modules Over the Steenrod Algebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Tcwhcv’ Vol. 10. PD. 211-282. Pergamon Press, 1971. Printed in Great Britain MODULES OVER THE STEENROD ALGEBRA J. F. ADAMS and H. R. MARGOLIS (Received 4 November 1970 ; revised 26 March 197 1) 90. INTRODUCTION IN THIS paper we will investigate certain aspects of the structure of the mod 2 Steenrod algebra, A, and of modules over it. Because of the central role taken by the cohomology groups of spaces considered as A-modules in much of recent algebraic topology (e.g. [ 11, [2], [7]), it is not unreasonable to suppose that the algebraic structure that we elucidate will be of benefit in the study of topological problems. The main result of this paper, Theorem 3.1, gives a criterion for a module !M to be free over the Steenrod algebra, or over some subHopf algebra B of A. To describe this criterion consider a ring R and a left module over R, M; for e E R we define the map e: M -+ M by e(m) = em. If the element e satisfies the condition that e2 = 0 then im e c ker e, therefore we can define the homology group H(M, e) = ker elime. Then, for example, H(R, e) = 0 implies that H(F, e) = 0 for any free R-module F. We can now describe the criterion referred to above: for any subHopf algebra B of A there are elements e,-with ei2 = 0 and H(B, ei) = O-such that a connected B-module M is free over B if and only if H(M, ei) = 0 for all i.
    [Show full text]
  • A Gentle Introduction to Rings and Modules
    What We Need to Know about Rings and Modules Class Notes for Mathematics 700 by Ralph Howard October 31, 1995 Contents 1 Rings 1 1.1 The De¯nition of a Ring ::::::::::::::::::::::::::::::: 1 1.2 Examples of Rings :::::::::::::::::::::::::::::::::: 3 1.2.1 The Integers :::::::::::::::::::::::::::::::::: 3 1.2.2 The Ring of Polynomials over a Field :::::::::::::::::::: 3 1.2.3 The Integers Modulo n ::::::::::::::::::::::::::: 4 1.3 Ideals in Rings :::::::::::::::::::::::::::::::::::: 4 2 Euclidean Domains 5 2.1 The De¯nition of Euclidean Domain ::::::::::::::::::::::::: 5 2.2 The Basic Examples of Euclidean Domains ::::::::::::::::::::: 5 2.3 Primes and Factorization in Euclidean Domains :::::::::::::::::: 6 3 Modules 8 3.1 The De¯nition of a Module :::::::::::::::::::::::::::::: 8 3.2 Examples of Modules ::::::::::::::::::::::::::::::::: 9 3.2.1 R and its Submodules. :::::::::::::::::::::::::::: 9 3.2.2 The Coordinate Space Rn. :::::::::::::::::::::::::: 9 3.2.3 Modules over the Polynomial Ring F[x] De¯ned by a Linear Map. :::: 10 3.3 Direct Sums of Submodules ::::::::::::::::::::::::::::: 10 1 Rings 1.1 The De¯nition of a Ring We have been working with ¯elds, which are the natural generalization of familiar objects like the real, rational and complex numbers where it is possible to add, subtract, multiply and divide. However there are some other very natural objects like the integers and polynomials over a ¯eld where we can add, subtract, and multiply, but where it not possible to divide. We will call such rings. Here is the o±cial de¯nition: De¯nition 1.1 A commutative ring (R; +; ¢) is a set R with two binary operations + and ¢ (as usual we will often write x ¢ y = xy) so that 1 1.
    [Show full text]
  • On Coatomic Semimodules Over Commutative Semirings
    C¸ankaya University Journal of Science and Engineering Volume 8 (2011), No. 2, 189{200 On Coatomic Semimodules over Commutative Semirings S. Ebrahimi Atani1 and F. Esmaeili Khalil Saraei1;∗ 1Department of Mathematics, University of Guilan, P.O. Box 1914, Rasht, Iran ∗Corresponding author: [email protected] Ozet.¨ Bu makale, de˘gi¸smelihalkalar ¨uzerindekikoatomik mod¨ullerve yarıbasit mod¨uller hakkında iyi bilinen bazı sonu¸cları,de˘gi¸smeli yarıhalkalar ¨uzerindekikoatomik ve yarıbasit yarımod¨ulleregenelle¸stirmi¸stir.Benzer sonu¸claraula¸smadakitemel zorluk, altyarımod¨ulle- rin sa˘glaması gereken ekstra ¨ozellikleriortaya ¸cıkarmaktır. Yarı mod¨ullerin¸calı¸sılmasında yarımod¨ullerin k-altyarımod¨ullerinin¨onemlioldukları ispatlanmı¸stır.y Anahtar Kelimeler. Yarıhalka, koatomik yarımod¨uller, yarıbasit yarımod¨uller, k-t¨um- lenmi¸syarımod¨uller. Abstract. This paper generalizes some well known results on coatomic and semisimple modules in commutative rings to coatomic and semisimple semimodules over commutative semirings. The main difficulty is figuring out what additional hypotheses the subsemimod- ules must satisfy to get similar results. It is proved that k-subsemimodules of semimodules are important in the study of semimodules. Keywords. Semiring, coatomic semimodules, semisimple semimodules, k-supplemented semimodules. 1. Introduction Study of semirings has been carried out by several authors since there are numerous applications of semirings in various branches of mathematics and computer sciences (see [6],[7] and [9]). It is well known that for a finitely generated module M, every proper submodule of M is contained in a maximal submodule. As an attempt to generalize this property of finitely generated modules we have coatomic modules. In [12], Z¨oschinger calls a module M coatomic if every proper submodule of M is contained in a maximal submodule of M.
    [Show full text]