UNITAL BIMODULES OVER the SIMPLE JORDAN SUPERALGEBRA D(T)

Total Page:16

File Type:pdf, Size:1020Kb

UNITAL BIMODULES OVER the SIMPLE JORDAN SUPERALGEBRA D(T) TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 358, Number 8, Pages 3637–3649 S 0002-9947(05)03821-3 Article electronically published on December 21, 2005 UNITAL BIMODULES OVER THE SIMPLE JORDAN SUPERALGEBRA D(t) CONSUELO MART´INEZ AND EFIM ZELMANOV Abstract. We classify indecomposable finite dimensional bimodules over Jor- dan superalgebras D(t), t = −1, 0, 1. 1. Introduction Throughout this paper all algebras are considered over a ground field k of char- acteristic zero. A (linear) Jordan algebra is a vector space J with a binary bilinear operation (x, y) → xy satisfying the following identities: xy = yx, (x2y)x = x2(yx). Z Z Respectively a Jordan superalgebra is a /2 -graded algebra J = J0¯ + J1¯ satis- fying the graded identities xy =(−1)|x||y|yx, ((xy)z)t +(−1)|y||z|+|y||t|+|z||t|((xt)z)y +(−1)|x||y|+|x||z|+|x||t|+|z||t| ((yt)z)x =(xy)(zt)+(−1)|y||z|(xz)(yt)+(−1)|t|(|y|+|z|)(xt)(yz). In [K2] (see also I. L. Kantor [Ka1, Ka2]), V. Kac classified simple finite dimen- sional Jordan superalgebras over an algebraically closed field of zero characteristic. This classification included the 1-parametric family of 4-dimensional superalgebras Dt, which corresponds to the 1-parametric family of 17-dimensional Lie superalge- bras via the Tits-Kantor-Koecher construction, Dt =(ke1 + ke2)+(kx + ky), with the products 1 1 e2 = e ,ee =0,ex = x, e y = y, xy = e + te ,i=1, 2. i i 1 2 i 2 i 2 1 2 The superalgebra Dt is simple if t =0.For t = 0 the superalgebra D0 is a unital hull of the 3-dimensional nonunital Kaplansky superalgebra K3, D0 = K3 + k1. In the case t = −1, the superalgebra D−1 is isomorphic to the Jordan superalgebra + M1,1(k) of 2 × 2 matrices. Received by the editors December 15, 2003 and, in revised form, August 18, 2004 and August 28, 2004. 2000 Mathematics Subject Classification. Primary 17C70. The first author was partially supported by BFM 2001-3239-C03-01 and FICYT PR-01-GE-15. The second author was partially supported by NSF grant DMS-0071834. c 2005 American Mathematical Society 3637 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3638 CONSUELO MART´INEZ AND EFIM ZELMANOV A Jordan bimodule V over a Jordan (super)algebra J is a vector space with operations V × J → V , J × V → V such that the split null extension V + J is a Jordan (super)algebra (see [J1]). We denote a Jordan triple product by {x, y, z} =(xy)z +x(yz)−(−1)|x||y|y(xz). Let e be the identity of J and let V = {e, V, e} + {1 − e, V, e} + {1 − e, V, 1 − e} be the Peirce decomposition. Then {e, V, e} is a unital bimodule over J,thatis,e is an identity of {e, V, e} + J. The component {1 − e, V, e} is a one-sided module, that is, {J, {1 − e, V, e},J} =(0). Finally, {1 − e, V, 1 − e} is a bimodule with zero multiplication. One-sided finite dimensional bimodules over Dt were classified in [MZ]. In this paper we classify finite dimensional unital bimodules, thus finishing the classifi- cation of finite dimensional bimodules over Dt. Bimodules over semisimple finite dimensional Jordan algebras have been completely classified by N. Jacobson (see [J1], [J3]). 2. Irreducible modules For a set X let V (X) denote the free Dt-bimodule on the set of free generators X (see [J1]). Consider the linear operator R(a):V (X) → V (X), v → v · a, v ∈ V (X), a ∈ J. The algebra M(J) generated by all operators R(a), a ∈ J, is called the universal multiplicative enveloping algebra of J (see [J1]). Assume that t = −1 and consider the following elements of M(Dt): 2 −2 −2 E = R(x)2,F= R(y)2,H= (R(x)R(y)+R(y)R(x)). t +1 t +1 t +1 It is easy to see that [F, H]=2F ,[E,H]=−2E,[E,F]=H, kE + kF + kH sl2(k). Note that xH = −x, yH = y. ∈{¯ ¯} ∈{ 1 } ∈ Definition 2.1. For σ 0, 1 , i 0, 1, 2 , λ k,aVerma module V (σ, i, λ)is defined as a unital Dt-bimodule presented by one generator v of parity σ and the relations vR(e1)=iv, vR(y)=0,vH= λv. Remark. V (σ, i, λ)op = V (1 − σ, i, λ). ∈ 1 Lemma 2.1. For an arbitrary λ k, V (σ, 2 ,λ) =(0). Proof. Let (k, +) be the additive group of the field k. We will denote elements of µ µ ν µ+ν (k,+) as u , µ ∈ k, u u = u . Consider the group algebra Λ = k(k, +) = − { νi ∈ } µ → µ 1 i µiu ; µi,νi k and the derivation D : u µu of Λ. i − ∈ Let R = Λ,D = i≥0 ΛD , aD Da = D(a),a Λ, be the Weyl algebra. Consider the following 2 × 2 matrices over R: 0 −(t +1)D +(1− t)u−1 0 u x = ,y= , −(t +1)D 0 u 0 10 00 e = ,e = . 1 00 2 01 10 It is easy to see that 1 (xy − yx)= ,soe ,e ,x,y span a superalgebra 2 0 t 1 2 which is isomorphic to Dt. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use UNITAL BIMODULES OVER THE SIMPLE JORDAN SUPERALGEBRA D(t) 3639 0 uλ Consider the odd element v = .Thenv · e = 1 v and vy − yv =0. uλ 0 i 2 ¯ 1 It is straightforward to verify that vH = λv. This implies that V (1, 2 ,λ) =(0). ¯ 1 Consequently, the module V (0, 2 ,λ) = (0). Lemma 2.1 is proved. −2 Lemma 2.2. V (σ, 1,λ)=(0)unless λ = t+1 . Proof. Let U(x, y)=R(x)R(y)−R(y)R(x)−R([x, y]). Clearly, vU(x, y)=−{x, v, y} ∈{e2,V,e2}. Hence, vU(x, y)R(e1)=0.Wehave vU(x, y)R(e1)=v(R(x)R(y) − R(y)R(x) − R(e1 + te2))R(e1) = v(R(x)R(y)+R(y)R(x) − R(e1 + te2))R(e1) t +1 = v(− H − R(e + te ))R(e ) 2 1 2 1 t +1 t +1 = − λv − v = −(λ +1)v =0, 2 2 − 2 which implies v = 0 unless λ = t+1 . Lemma 2.2 is proved. −2t Lemma 2.3. V (σ, 0,λ)=0unless λ = t+1 . Proof. Arguing as above we get vU(x, y)R(e2)=v(R(x)R(y) − R(y)R(x) − R(e1 + te2))R(e2) t +1 t +1 = v(− H − R(e + te ))R(e )=(− λ − t)v =0, 2 1 2 2 2 − 2t which implies v = 0 unless λ = t+1 . Lemma 2.3 is proved. − 2 − 2t To establish that V (σ, 1, t+1 ) =(0),V (σ, 0, t+1 ) = (0) we need to recall some facts about one-sided bimodules (see [MZ]). A Jordan bimodule V over a Jordan (super)algebra J is said to be one-sided if {J, V, J} =(0).IfJ is special with a universal associative enveloping algebra U(J) (see [J1]), then a one-sided bimodule V can be viewed as a right U(J)-module. For ∈ ∈ · 1 a J, v V we have v a = 2 va, where the left-hand side is the bimodule action, whereas the right-hand side is the right module action by a ∈ U(J). Similarly, we 1 · can make V a left module over U(J)via 2 av = a v. The tensor product V ⊗ V is an associative bimodule over U(J): a(v ⊗ w)b = av ⊗ wb; a, b ∈ J; v, w ∈ V . 1 2 − 1 2 − 1 Consider the elements e = 4(1+t) x , f = 1+t y , h = 2(1+t) (xy + yx)in U(Dt). We have [e, f]=h, [f,h]=2f ,[e, h]=−2e. 1 In [MZ] the following one-sided Verma bimodules over Dt were introduced. The right module V1(t)overU(Dt) is presented by one even generator v and the 2 −1−2t relations ve1 = v, vy =0,vh =( 1+t )v. The right module V2(t)overU(Dt) is presented by one even generator v and the − 1 relations ve1 = v, vy =0,vh = 1+t v. The tensor square V2(t) ⊗ V2(t) is a bimodule over U(Dt), hence a Jordan bi- module over Dt via 1 (v ⊗ v) · a = (v ⊗ va +(−1)|a|(|v |+|v |)av ⊗ v). 2 1 1 − Our notation differs from [MZ]. For example, we assume that 2 (xy yx)=e1 +te2 in U(Dt). License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3640 CONSUELO MART´INEZ AND EFIM ZELMANOV We have 2 (v ⊗ v) · e = v ⊗ v, (v ⊗ v) · y =0, (v ⊗ v)H = − (v ⊗ v). 1 t +1 We proved − 2 Lemma 2.4. V (σ, 1, t+1 ) =(0). Now consider the tensor square V1(t) ⊗ V1(t)andtheelementvy ⊗ vy.Wehave ⊗ · ⊗ · ⊗ ⊗ · ⊗ − 2t ⊗ (vy vy) e1 =0,(vy vy) e2 = vy vy,(vy vy) y =0,(vy vy)H = t+1 vy vy. We proved − 2t Lemma 2.5. V (σ, 0, 1+t ) =(0). Lemma 2.6. For an arbitrary λ ∈ k: j j ≥ 1 (a) The elements vR(x) , vR(x)R(e1)R(x) , j 0,formabasisofV (σ, 2 ,λ).
Recommended publications
  • 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]
  • 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]
  • 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]
  • Deformations of Bimodule Problems
    FUNDAMENTA MATHEMATICAE 150 (1996) Deformations of bimodule problems by Christof G e i ß (M´exico,D.F.) Abstract. We prove that deformations of tame Krull–Schmidt bimodule problems with trivial differential are again tame. Here we understand deformations via the structure constants of the projective realizations which may be considered as elements of a suitable variety. We also present some applications to the representation theory of vector space categories which are a special case of the above bimodule problems. 1. Introduction. Let k be an algebraically closed field. Consider the variety algV (k) of associative unitary k-algebra structures on a vector space V together with the operation of GlV (k) by transport of structure. In this context we say that an algebra Λ1 is a deformation of the algebra Λ0 if the corresponding structures λ1, λ0 are elements of algV (k) and λ0 lies in the closure of the GlV (k)-orbit of λ1. In [11] it was shown, us- ing Drozd’s tame-wild theorem, that deformations of tame algebras are tame. Similar results may be expected for other classes of problems where Drozd’s theorem is valid. In this paper we address the case of bimodule problems with trivial differential (in the sense of [4]); here we interpret defor- mations via the structure constants of the respective projective realizations. Note that the bimodule problems include as special cases the representa- tion theory of finite-dimensional algebras ([4, 2.2]), subspace problems (4.1) and prinjective modules ([16, 1]). We also discuss some examples concerning subspace problems.
    [Show full text]
  • Bimodule Categories and Monoidal 2-Structure Justin Greenough University of New Hampshire, Durham
    University of New Hampshire University of New Hampshire Scholars' Repository Doctoral Dissertations Student Scholarship Fall 2010 Bimodule categories and monoidal 2-structure Justin Greenough University of New Hampshire, Durham Follow this and additional works at: https://scholars.unh.edu/dissertation Recommended Citation Greenough, Justin, "Bimodule categories and monoidal 2-structure" (2010). Doctoral Dissertations. 532. https://scholars.unh.edu/dissertation/532 This Dissertation is brought to you for free and open access by the Student Scholarship at University of New Hampshire Scholars' Repository. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of University of New Hampshire Scholars' Repository. For more information, please contact [email protected]. BIMODULE CATEGORIES AND MONOIDAL 2-STRUCTURE BY JUSTIN GREENOUGH B.S., University of Alaska, Anchorage, 2003 M.S., University of New Hampshire, 2008 DISSERTATION Submitted to the University of New Hampshire in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics September, 2010 UMI Number: 3430786 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. UMT Dissertation Publishing UMI 3430786 Copyright 2010 by ProQuest LLC. All rights reserved. This edition of the work is protected against unauthorized copying under Title 17, United States Code. ProQuest LLC 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106-1346 This thesis has been examined and approved.
    [Show full text]
  • Extensions of a Ring by a Ring with a Bimodule Structure
    EXTENSIONS OF A RING BY A RING WITH A BIMODULE STRUCTURE CARL W. KOHLS Abstract. A type of ring extension is considered that was intro- duced by J. Szendrei and generalizes many familiar examples, including the complex extension of the real field. We give a method for constructing a large class of examples of this type of extension, and show that for some rings all possible examples are obtained by this method. An abstract characterization of the extension is also given, among rings defined on the set product of two given rings. This paper is a sequel to [2 ], in which a class of examples was given of a type of ring extension defined in terms of two functions. Here we exhibit some other functions that may be used to construct such extensions, and show that in certain cases (in particular, when the first ring is an integral domain and the second is a commutative ring with identity), the functions must have a prescribed form. We also characterize this type of ring extension, which Szendrei defined di- rectly by the ring operations, in terms of the manner in which the two given rings are embedded in the extension. The reader is referred to [2] for background. Only the basic defini- tion is repeated here. Let A and B be rings. We define the ring A*B to be the direct sum of A and B as additive groups, with multiplication given by (1) (a,b)(c,d) = (ac+ {b,d},aad + b<rc+ bd), where a is a homomorphism from A onto a ring of permutable bimul- tiplications of B, and { •, • } is a biadditive function from BXB into A satisfying the equations (2) bo-{c,d) = o-[b.c)d, (3) {b,cd\ = {bc,d\, (4) {b,aac\ = {baa,c\, (5) \o-ab,c} = a{b,c}, and {&,c<ra} = \b,c\a, for all a£^4 and all b, c, dEB.
    [Show full text]
  • On Landauer's Principle and Bound for Infinite Systems
    On Landauer’s principle and bound for infinite systems Roberto Longo∗ Dipartimento di Matematica, Universit`adi Roma Tor Vergata, Via della Ricerca Scientifica, 1, I-00133 Roma, Italy E-mail: [email protected] Abstract Landauer’s principle provides a link between Shannon’s information entropy and Clausius’ thermodynamical entropy. We set up here a basic formula for the incremental free energy of a quantum channel, possibly relative to infinite systems, naturally arising by an Operator Algebraic point of view. By the Tomita-Takesaki modular theory, we can indeed describe a canonical evolution associated with a quantum channel state transfer. Such evolution is implemented both by a modular Hamiltonian and a physical Hamiltonian, the latter being determined by its functoriality properties. This allows us to make an intrinsic analysis, extending our QFT index formula, but without any a priori given dynamics; the associated incremental free energy is related to the logarithm of the Jones index and is thus quantised. This leads to a general lower bound for the incremental free energy of an irreversible quantum channel which is half of the Landauer bound, and to further bounds corresponding to the discrete series of the Jones index. In the finite dimensional context, or in the case of DHR charges in QFT, where the dimension is a positive integer, our lower bound agrees with Landauer’s bound. arXiv:1710.00910v2 [quant-ph] 15 Jan 2018 ∗Supported by the ERC Advanced Grant 669240 QUEST “Quantum Algebraic Structures and Models”, MIUR FARE R16X5RB55W QUEST-NET, GNAMPA-INdAM and Alexander von Humboldt Foundation. 1 1 Introduction Quantum information is an increasing lively subject.
    [Show full text]
  • Linear Source Invertible Bimodules and Green Correspondence
    Linear source invertible bimodules and Green correspondence Markus Linckelmann and Michael Livesey April 22, 2020 Abstract We show that the Green correspondence induces an injective group homomorphism from the linear source Picard group L(B) of a block B of a finite group algebra to the linear source Picard group L(C), where C is the Brauer correspondent of B. This homomorphism maps the trivial source Picard group T (B) to the trivial source Picard group T (C). We show further that the endopermutation source Picard group E(B) is bounded in terms of the defect groups of B and that when B has a normal defect group E(B) = L(B). Finally we prove that the rank of any invertible B-bimodule is bounded by that of B. 1 Introduction Let p be a prime and k a perfect field of characteristic p. We denote by O either a complete discrete valuation ring with maximal ideal J(O) = πO for some π ∈ O, with residue field k and field of fractions K of characteristic zero, or O = k. We make the blanket assumption that k and K are large enough for the finite groups and their subgroups in the statements below. Let A be an O-algebra. An A-A-bimodule M is called invertible if M is finitely generated projective as a left A-module, as a right A-module, and if there exits an A-A-bimodule N which is finitely generated projective as a left and right A-module such that M ⊗A N =∼ A =∼ N ⊗A M as A-A-bimodules.
    [Show full text]
  • Maximal Subalgebras of Finite-Dimensional Algebras
    Maximal Subalgebras of Finite-Dimensional Algebras Miodrag Cristian Iovanov University of Iowa, USA and University of Bucharest, Romania Alexander Sistko University of Iowa, USA August 31, 2017 Abstract We study maximal associative subalgebras of an arbitrary finite dimensional associative alge- bra B over a field K, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and then lifting to non-semisimple algebras. The results are sharpest in the case of algebraically closed fields, and take special forms for algebras presented by quivers with relations. We also relate representation theoretic properties of the algebra and its maximal and other subalgebras, and provide a series of embeddings between quivers, incidence algebras and other structures which relate indecompos- able representations of algebras and some subalgebras via induction/restriction functors. Some results in literature are also re-derived as a particular case, and other applications are given. 1 Introduction Given a mathematical object, it is often natural to consider its maximal subobjects as a means of further understanding it. Maximal subalgebras of (not-necessarily associative) algebras, and in particular maximal abelian subalgebras, have classically guided such inquiry. A well-known in- stance of this principle arises, of course, in the structure theory of finite-dimensional semisimple Lie algebras, where a central role is played by their Cartan subalgebras: over C, these are simply maximal abelian subalgebras, as seen in the classical papers [17], [34]. Others have subsequently generalized this work, and have applied similar ideas to maximal sub-structures of other possibly non-associative algebraic structures such as Malcev algebras, Jordan algebras, associative superal- gebras, or classical groups ([18], [21], [22], [23], [35], [45], [46], [47]).
    [Show full text]
  • Module (Mathematics) 1 Module (Mathematics)
    Module (mathematics) 1 Module (mathematics) In abstract algebra, the concept of a module over a ring is a generalization of the notion of vector space, wherein the corresponding scalars are allowed to lie in an arbitrary ring. Modules also generalize the notion of abelian groups, which are modules over the ring of integers. Thus, a module, like a vector space, is an additive abelian group; a product is defined between elements of the ring and elements of the module, and this multiplication is associative (when used with the multiplication in the ring) and distributive. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Motivation In a vector space, the set of scalars forms a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module concept represents a significant generalization. In commutative algebra, it is important that both ideals and quotient rings are modules, so that many arguments about ideals or quotient rings can be combined into a single argument about modules. In non-commutative algebra the distinction between left ideals, ideals, and modules becomes more pronounced, though some important ring theoretic conditions can be expressed either about left ideals or left modules. Much of the theory of modules consists of extending as many as possible of the desirable properties of vector spaces to the realm of modules over a "well-behaved" ring, such as a principal ideal domain.
    [Show full text]
  • Bimodules in Group Graded Rings
    Algebr Represent Theor DOI 10.1007/s10468-017-9696-x Bimodules in Group Graded Rings Johan Oinert¨ 1 Received: 10 January 2017 / Accepted: 20 April 2017 © The Author(s) 2017. This article is an open access publication Abstract In this article we introduce the notion of a controlled group graded ring. Let G be a group, with identity element e,andletR =⊕g∈GRg be a unital G-graded ring. We say that R is G-controlled if there is a one-to-one correspondence between subsets of the group G and (mutually non-isomorphic) Re-sub-bimodules of R,givenbyG ⊇ H →⊕h∈H Rh. For strongly G-graded rings, the property of being G-controlled is stronger than that of being simple. We provide necessary and sufficient conditions for a general G-graded ring to be G-controlled. We also give a characterization of strongly G-graded rings which are G-controlled. As an application of our main results we give a description of all intermediate subrings T with Re ⊆ T ⊆ R of a G-controlled strongly G-graded ring R. Our results generalize results for artinian skew group rings which were shown by Azumaya 70 years ago. In the special case of skew group rings we obtain an algebraic analogue of a recent result by Cameron and Smith on bimodules in crossed products of von Neumann algebras. Keywords Graded ring · Strongly graded ring · Crossed product · Skew group ring · Bimodule · Picard group Mathematics Subject Classification (2010) 16S35 · 16W50 · 16D40 1 Introduction Recently, Cameron and Smith [2] studied bimodules over a von Neumann algebra M in the context of an inclusion M ⊆ M α G,whereG is a group acting on M by ∗-automorphisms Presented by Kenneth Goodearl.
    [Show full text]
  • Ring Coproducts Embedded in Power-Series Rings
    Ring coproducts embedded in power-series rings Pere Ara and Warren Dicks November 26, 2012 Abstract Let R be a ring (associative, with 1), and let Rhha; bii denote the power- series R-ring in two non-commuting, R-centralizing variables, a and b. Let A be an R-subring of Rhhaii and B be an R-subring of Rhhbii, and let α denote the natural map A qR B ! Rhha; bii. This article describes some situations where α is injective and some where it is not. We prove that if A is a right Ore localization of R[a] and B is a right Ore localization of R[b], then α is injective. For example, the group ring over R ±1 ±1 of the free group on f1+ a; 1+ bg is R[(1+ a) ] qR R[(1+ b) ], which then embeds in Rhha; bii. We thus recover a celebrated result of R. H. Fox, via a proof simpler than those previously known. We show that α is injective if R is Π-semihereditary, that is, every finitely generated, torsionless, right R-module is projective. (This concept was first studied by M. F. Jones, who showed that it is left-right symmetric. It fol- lows from a result of I. I. Sahaev that if w.gl.dim R 6 1 and R embeds in a skew field, then R is Π-semihereditary. Also, it follows from a result of V. C. Cateforis that if R is right semihereditary and right self-injective, then R is Π-semihereditary.) The arguments and results extend easily from two variables to any set of variables.
    [Show full text]