DOCSLIB.ORG

REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder Theorem And

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder Theorem And REPRESENTATION THEORY WEEK 9 1. Jordan-Holder¨ theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence submodules M1 ⊂ M2 ⊂ ... and any decreasing sequence M1 ⊃ M2 ⊃ ... are finite. Then it is easy to see that there exists a finite sequence M = M0 ⊃ M1 ⊃···⊃ Mk = 0 such that Mi/Mi+1 is a simple module. Such a sequence is called a Jordan-H¨older series. We say that two Jordan H¨older series M = M0 ⊃ M1 ⊃···⊃ Mk = 0, M = N0 ⊃ N1 ⊃···⊃ Nl = 0 ∼ are equivalent if k = l and for some permutation s Mi/Mi+1 = Ns(i)/Ns(i)+1. Theorem 1.1. Any two Jordan-H¨older series are equivalent. Proof. We will prove that if the statement is true for any submodule of M then it is true for M. (If M is simple, the statement is trivial.) If M1 = N1, then the ∼ statement is obvious. Otherwise, M1 + N1 = M, hence M/M1 = N1/ (M1 ∩ N1) and ∼ M/N1 = M1/ (M1 ∩ N1). Consider the series M = M0 ⊃ M1 ⊃ M1∩N1 ⊃ K1 ⊃···⊃ Ks = 0, M = N0 ⊃ N1 ⊃ N1∩M1 ⊃ K1 ⊃···⊃ Ks = 0. They are obviously equivalent, and by induction assumption the first series is equiv- alent to M = M0 ⊃ M1 ⊃ ··· ⊃ Mk = 0, and the second one is equivalent to M = N0 ⊃ N1 ⊃···⊃ Nl = {0}. Hence they are equivalent. Thus, we can define a length l (M) of a module M satisfying ACC and DCC, and if M is a proper submodule of N, then l (M) <l (N). A module M is indecomposable if M = M1 ⊕ M2 implies M1 =0 or M2 = 0. Lemma 1.2. Let M and N be indecomposable, α ∈ HomR (M, N), β ∈ HomR (N, M) be such that β ◦ α is an isomorphism. Then α and β are isomorphisms. Proof. We claim that N = Im α⊕Ker β. Indeed, Im α∩Ker β = 0 and for any x ∈ N one can write x = y + z, where y = α ◦ (β ◦ α)−1 ◦ β (x), z = x − y. Then since N is indecomposable, Im α = N, Ker β = 0 and N =∼ M. Date: November 7, 2005. 1 2 REPRESENTATION THEORY WEEK 9 Lemma 1.3. Let M be indecomposable module of finite length and ϕ ∈ EndR (M), then either ϕ is an isomorphism or ϕ is nilpotent. Proof. There is n > 0 such that Ker ϕn = Ker ϕn+1, Im ϕn = Im ϕn+1. In this case Ker ϕn ∩ Im ϕn = 0 and hence M ∼= Ker ϕn ⊕ Im ϕn. Either Ker ϕn = 0, Im ϕn = M or Ker ϕn = M. Hence the lemma. Lemma 1.4. Let M be as in Lemma 1.3 and ϕ,ϕ1,ϕ2 ∈ EndR (M), ϕ = ϕ1 + ϕ2. If ϕ is an isomorphism then at least one of ϕ1, ϕ2 is also an isomorphism. Proof. Without loss of generality we may assume that ϕ = id. But in this case ϕ1 and ϕ2 commute. If both ϕ1 and ϕ2 are nilpotent, then ϕ1 + ϕ2 is nilpotent, but this is impossible as ϕ1 + ϕ2 = id. Corollary 1.5. Let M be as in Lemma 1.3. Let ϕ = ϕ1 + ··· + ϕk ∈ EndR (M). If ϕ is an isomorphism then ϕi is an isomorphism at least for one i. It is obvious that if M satisfies ACC and DCC then M has a decomposition M = M1 ⊕···⊕ Mk, where all Mi are indecomposable. Theorem 1.6. (Krull-Schmidt) Let M be a module of finite length and M = M1 ⊕···⊕ Mk = N1 ⊕···⊕ Nl for some indecomposable Mi and Nj . Then k = l and there exists a permutation s ∼ such that Mi = Ns(j). Proof. Let pi : M1 → Ni be the restriction to M1 of the natural projection M → Ni, and qj : Nj → M1 be the restriction to Nj of the natural projection M → M1. Then obviously q1p1 + ··· + qlpl = id, and by Corollary 1.5 there exists i such that qipi is an isomorphism. Lemma 1.2 implies that M1 =∼ Ni. Now one can easily finish the proof by induction on k. 2. Some facts from homological algebra The complex is the graded abelian group C· = ⊕i≥0Ci. We will assume later that all Ci are R-modules for some ring R. A differential is an R-morphism of degree −1 2 such that d = 0. Usually we realize C· by the picture d d −→· · · → C1 −→ C0 → 0. We also consider d of degree 1, in this case the superindex C· and d d 0 → C0 −→ C1 −→ ... All the proofs are similar for these two cases. Homology group is Hi (C) = (Ker d ∩ Ci) /dCi+1. REPRESENTATION THEORY WEEK 9 3 ′ ′ ′ Given two complexes (C·, d) and (C· , d ). A morphism f : C· → C· preserving grading and satisfying f ◦ d = d′ ◦ f is called a morphism of complexes. A morphism ′ of complexes induces the morphism f∗ : H· (C) → H· (C ). Theorem 2.1. (Long exact sequence). Let g ′ f ′′ 0 → C· −→ C· −→ C· → 0 be a short exact sequence, then the long exacts sequence δ g∗ ′ f∗ ′′ δ g∗ −→ Hi (C) −→ Hi (C ) −→ Hi (C ) −→ Hi−1 (C) −→ ... where δ = g−1 ◦ d′ ◦ f −1, is exact. ′ Let f, g : C· → C· be two morphisms of complexes. We say that f and g are ′ homotopically equivalent if there exists h : C· → C· (+1) (the morphism of degree 1) such that f − g = h ◦ d + d′ ◦ h. Lemma 2.2. If f and g are homotopically equivalent then f∗ = g∗. Proof. Let φ = f − g, x ∈ Ci and dx = 0. Then φ (x)= h (dx)+ d′ (hx)= d′ (hx) ∈ Im d′. Hence f∗ − g∗ = 0. ′ We say that complexes C· and C· are homotopically equivalent if there exist f : ′ ′ C· → C· and g : C· → C· such that f ◦ g is homotopically equivalent to idC′ and g ◦ f is homotopically equivalent to idC . Lemma 2.2 implies that homotopically equivalent complexes have isomorphic homology. The following Lemma is straightforward. ′ Lemma 2.3. If C· and C· are homotopically equivalent then the complexes HomR (C·, B) ′ and HomR (C· ) are also homotopically equivalent. Note that the differential in HomR (C·, B) has degree 1. 3. Projective modules An R-module P is projective if for any surjective morphism φ : M → N and any ψ : P → N there exists f : P → M such that ψ = φ ◦ f. Example. A free module is projective. Indeed, let {ei}i∈Ibe the set of free generators of a free module F , i.e. F = ⊕i∈IRei. Define f : F → M by f (ei) = −1 φ (ψ (ei)). Lemma 3.1. The following conditions on a module P are equivalent (1) P is projective; (2) There exists a free module F such that F =∼ P ⊕ P ′; (3) Any exact sequence 0 → N → M → P → 0 splits. 4 REPRESENTATION THEORY WEEK 9 Proof. (1) ⇒ (3) Consider the exact sequence ϕ ψ 0 → N −→ M −→ P → 0, then since ψ is surjective, there exists f : P → M such that ψ ◦ f = idP . (3) ⇒ (2) Every module is a quotient of a free module. Therefore we just have to apply (3) to the exact sequence 0 → N → F → P → 0 for a free module F . (2) ⇒ (1) Let φ : M → N be surjective and ψ : P → N. Choose a free module F so that F = P ⊕P ′. Then extend ψ to F → N in the obvious way and let f : F → M be such that φ◦f = ψ. Then the last identity is true for the restriction of f to P . A projective resolution of M is a complex P· of projective modules such that ∼ Hi (P·)=0for i> 0 and H0 (P·) = M. A projective resolution always exists since one can easily construct a resolution by free modules. Below we prove the “uniqueness” statement. ′ Lemma 3.2. Let P· and P· be two projective resolutions of the same module M. ′ Then there exists a morphism f : P· → P· of complexes such that f∗ : H0 (P·) → ′ H0 (P· ) induces the identity idM . Any two such morphisms f and g are homotopically equivalent. ′ ′ Proof. Construct f inductively. Let p : P0 → M and p : P0 → M be the natural ′ ′ projections, define f : P0 → P0 so that p ◦ f = p. Then ′ ′ ′ ′ f (Ker p) ⊂ Ker p , Ker p = d (P1), Ker p = d (P1) , ′ ′ ′ ′ hence f ◦ d (P1) ⊂ d (P1), and one can construct f : P1 → P1 such that f ◦ d = d ◦ f. Proceed in the same manner to construct f : Pi → Pi. To check the second statement, let ϕ = f − g. Then p′ ◦ ϕ = 0. Hence ′ ′ ′ ϕ (P0) ⊂ Ker p = d (P1) . ′ ′ Therefore one can find h : P0 → P1 such that d ◦ h = ϕ. Furthermore, d′ ◦ h ◦ d = ϕ ◦ d = d′ ◦ ϕ, hence ′ ′ ′ ′ (ϕ − h ◦ d)(P1) ⊂ P1 ∩ Ker d = d (P2) . ′ ′ Thus one can construct h : P1 → P2 such that d ◦ h = ϕ − h ◦ d. Then proceed ′ inductively to define h : Pi → Pi+1. Corollary 3.3. Every two projective resolutions of M are homotopically equivalent. REPRESENTATION THEORY WEEK 9 5 Let M and N be two modules and P· be a projective resolution of M. Consider the complex 0 → HomR (P0, N) → HomR (P1, N) → ..., where the differential is defined naturally. The cohomology of this complex is denoted · · by ExtR (M, N). Lemma 2.3 implies that ExtR (M, N) does not depend on a choice 0 of projective resolution for M. Check that ExtR (M, N) = HomR (M, N). Example 1. Let R = C [x] be the polynomial ring. Any simple R-module is one-dimensional and isomorphic to C [x] / (x − λ). Denote such module by Cλ.
Load more

Recommended publications
  • Modular Representation Theory of Finite Groups Jun.-Prof. Dr
    Modular Representation Theory of Finite Groups Jun.-Prof. Dr. Caroline Lassueur TU Kaiserslautern Skript zur Vorlesung, WS 2020/21 (Vorlesung: 4SWS // Übungen: 2SWS) Version: 23. August 2021 Contents Foreword iii Conventions iv Chapter 1. Foundations of Representation Theory6 1 (Ir)Reducibility and (in)decomposability.............................6 2 Schur’s Lemma...........................................7 3 Composition series and the Jordan-Hölder Theorem......................8 4 The Jacobson radical and Nakayama’s Lemma......................... 10 Chapter5 2.Indecomposability The Structure of and Semisimple the Krull-Schmidt Algebras Theorem ...................... 1115 6 Semisimplicity of rings and modules............................... 15 7 The Artin-Wedderburn structure theorem............................ 18 Chapter8 3.Semisimple Representation algebras Theory and their of Finite simple Groups modules ........................ 2226 9 Linear representations of finite groups............................. 26 10 The group algebra and its modules............................... 29 11 Semisimplicity and Maschke’s Theorem............................. 33 Chapter12 4.Simple Operations modules on over Groups splitting and fields Modules............................... 3436 13 Tensors, Hom’s and duality.................................... 36 14 Fixed and cofixed points...................................... 39 Chapter15 5.Inflation, The Mackey restriction Formula and induction and Clifford................................ Theory 3945 16 Double cosets...........................................
    [Show full text]
  • Block Theory with Modules
    JOURNAL OF ALGEBRA 65, 225--233 (1980) Block Theory with Modules J. L. ALPERIN* AND DAVID W. BURRY* Department of Mathematics, University of Chicago, Chicago, Illinois 60637 and Department of Mathematics, Yale University, New Haven, Connecticut 06520 Communicated by Walter Felt Received October 2, 1979 1. INTRODUCTION There are three very different approaches to block theory: the "functional" method which deals with characters, Brauer characters, Carton invariants and the like; the ring-theoretic approach with heavy emphasis on idempotents; module-theoretic methods based on relatively projective modules and the Green correspondence. Each approach contributes greatly and no one of them is sufficient for all the results. Recently, a number of fundamental concepts and results have been formulated in module-theoretic terms. These include Nagao's theorem [3] which implies the Second Main Theorem, Green's description of the defect group in terms of vertices [4, 6] and a module description of the Brauer correspondence [1]. Our purpose here is to show how much of block theory can be done by statring with module-theoretic concepts; our contribution is the methods and not any new results, though we do hope these ideas can be applied elsewhere. We begin by defining defect groups in terms of vertices and so use Green's theorem to motivate the definition. This enables us to show quickly the fact that defect groups are Sylow intersections [4, 6] and can be characterized in terms of the vertices of the indecomposable modules in the block. We then define the Brauer correspondence in terms of modules and then prove part of the First Main Theorem, Nagao's theorem in full and results on blocks and normal subgroups.
    [Show full text]
  • INJECTIVE MODULES OVER a PRTNCIPAL LEFT and RIGHT IDEAL DOMAIN, \Ryith APPLICATIONS
    INJECTIVE MODULES OVER A PRTNCIPAL LEFT AND RIGHT IDEAL DOMAIN, \ryITH APPLICATIONS By Alina N. Duca SUBMITTED IN PARTTAL FULFILLMENT OF THE REQUIREMENTS FOR TI{E DEGREE OF DOCTOR OFPHILOSOPHY AT UMVERSITY OF MAMTOBA WINNIPEG, MANITOBA April 3,2007 @ Copyright by Alina N. Duca, 2007 THE T.TNIVERSITY OF MANITOBA FACULTY OF GRADUATE STI]DIES ***** COPYRIGHT PERMISSION INJECTIVE MODULES OVER A PRINCIPAL LEFT AND RIGHT IDEAL DOMAIN, WITH APPLICATIONS BY Alina N. Duca A Thesis/Practicum submitted to the Faculty of Graduate Studies of The University of Manitoba in partial fulfïllment of the requirement of the degree DOCTOR OF PHILOSOPHY Alina N. Duca @ 2007 Permission has been granted to the Library of the University of Manitoba to lend or sell copies of this thesidpracticum, to the National Library of Canada to microfilm this thesis and to lend or sell copies of the film, and to University MicrofïIms Inc. to pubtish an abstract of this thesiVpracticum. This reproduction or copy of this thesis has been made available by authority of the copyright owner solely for the purpose of private study and research, and may only be reproduced and copied as permitted by copyright laws or with express written authorization from the copyright owner. UNIVERSITY OF MANITOBA DEPARTMENT OF MATIIEMATICS The undersigned hereby certify that they have read and recommend to the Faculty of Graduate Studies for acceptance a thesis entitled "Injective Modules over a Principal Left and Right ldeal Domain, with Applications" by Alina N. Duca in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Dated: April3.2007 External Examiner: K.R.Goodearl Research Supervisor: T.G.Kucera Examining Committee: G.Krause Examining Committee: W.Kocay T]NTVERSITY OF MANITOBA Date: April3,2007 Author: Alina N.
    [Show full text]
  • The (Cyclic) Enhanced Nilpotent Cone Via Quiver Representations
    The (cyclic) enhanced nilpotent cone via quiver representations Gwyn Bellamy 1 and Magdalena Boos 2 Abstract The GL(V )-orbits in the enhanced nilpotent cone V × N (V ) are (essentially) in bi- jection with the orbits of a certain parabolic P ⊆ GL(V ) (the mirabolic subgroup) in the nilpotent cone N (V ). We give a new parameterization of the orbits in the enhanced nilpotent cone, in terms of representations of the underlying quiver. This parameteriza- tion generalizes naturally to the enhanced cyclic nilpotent cone. Our parameterizations are different to the previous ones that have appeared in the literature. Explicit transla- tions between the different parametrizations are given. Contents 1 Introduction 2 1.1 A representation theoretic parameterization . .2 1.2 Parabolic conjugacy classes in the nilpotent cone . .4 1.3 Admissible D-modules . .4 1.4 Outline of the article . .5 1.5 Outlook . .5 2 Theoretical background 5 2.1 Quiver representations . .5 2.2 Representation types . .6 2.3 Group actions . .7 3 Combinatorial objects 8 3.1 (Frobenius) Partitions and Young diagrams . .8 arXiv:1609.04525v4 [math.RT] 27 Sep 2017 3.2 The affine root system of type A .........................9 3.3 Matrices . .9 3.4 Circle diagrams . 10 1School of Mathematics and Statistics, University of Glasgow, 15 University Gardens, Glasgow, G12 8QW, United Kingdom. [email protected] 2Ruhr-Universität Bochum, Faculty of Mathematics, D - 44780 Bochum, Germany. Magdalena.Boos- [email protected] 1 4 The enhanced nilpotent cone 12 4.1 Representation types . 13 4.2 The indecomposable representations . 14 4.3 Translating between the different parameterizations .
    [Show full text]
  • Normal Forms for Representations of Representation-Finite Algebras
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector J. Symbolic Computation (2001) 32, 491{497 doi:10.1006/jsco.2000.0480 Available online at http://www.idealibrary.com on Normal Forms for Representations of Representation-finite Algebras ¨ PETER DRAXLERy Fakult¨atf¨urMathematik, Universit¨atBielefeld, P. O. Box 100131, D-33501 Bielefeld, Germany Using the CREP system we show that matrix representations of representation-finite algebras can be transformed into normal forms consisting of (0; 1)-matrices. c 2001 Academic Press 1. Introduction and Main Result Why is representation theory of algebras important for applications? Besides well-known answers like the occurrence of structures like symmetries, operator algebras or quantum groups there is a less popular and more naive answer to this question. Namely, repre- sentation theory of finite-dimensional algebras deals with normal forms of matrices. But finding normal forms for matrices is an important technique in many areas where math- ematics is applied. A student probably encounters this for the first time when trying to solve a system of linear differential equations describing some physical or biological system or when trying to find the main axes of a symmetric matrix describing the inertia or the magnetic momentum of a solid body. Representation theory of finite-dimensional algebras provides a general environment to deal with problems of this shape. In our paper we will show how a symbolic computation is applied to obtain information about certain types of normal forms. The symbols we use are finite partially ordered sets and finite quivers.
    [Show full text]
  • Indecomposable Modules and Gelfand Rings Francois Couchot
    Indecomposable modules and Gelfand rings Francois Couchot To cite this version: Francois Couchot. Indecomposable modules and Gelfand rings. Communications in Algebra, Taylor & Francis, 2007, 35, pp.231–241. 10.1080/00927870601041615. hal-00009474v2 HAL Id: hal-00009474 https://hal.archives-ouvertes.fr/hal-00009474v2 Submitted on 7 Mar 2007 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. INDECOMPOSABLE MODULES AND GELFAND RINGS FRANC¸OIS COUCHOT Abstract. It is proved that a commutative ring is clean if and only if it is Gelfand with a totally disconnected maximal spectrum. It is shown that each indecomposable module over a commutative ring R satisfies a finite condition if and only if RP is an artinian valuation ring for each maximal prime ideal P . Commutative rings for which each indecomposable module has a local endomorphism ring are studied. These rings are clean and elementary divisor rings. It is shown that each commutative ring R with a Hausdorff and totally disconnected maximal spectrum is local-global. Moreover, if R is arithmetic then R is an elementary divisor ring. In this paper R is a commutative ring with unity and modules are unitary.
    [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]
  • Arxiv:Math/0409519V1
    INJECTIVE MODULES AND FP-INJECTIVE MODULES OVER VALUATION RINGS F. COUCHOT Abstract. It is shown that each almost maximal valuation ring R, such that every indecomposable injective R-module is countably generated, satisfies the following condition (C): each fp-injective R-module is locally injective. The converse holds if R is a domain. Moreover, it is proved that a valuation ring R that satisfies this condition (C) is almost maximal. The converse holds if Spec(R) is countable. When this last condition is satisfied it is also proved that every ideal of R is countably generated. New criteria for a valuation ring to be almost maximal are given. They generalize the criterion given by E. Matlis in the domain case. Necessary and sufficient conditions for a valuation ring to be an IF-ring are also given. In the first part of this paper we study the valuation rings that satisfy the following condition (C): every fp-injective module is locally injective. In his paper [5], Alberto Facchini constructs an example of an almost maximal valuation domain satisfying (C) which is not noetherian and gives a negative answer to the following question asked in [1] by Goro Azumaya: if R is a ring that satisfies (C), is R a left noetherian ring? From [5, Theorem 5] we easily deduce that a valuation domain R satisfies (C) if and only if R is almost maximal and its classical field of fractions is countably generated. In this case every indecomposable injective R-module is countably generated. So, when an almost maximal valuation ring R, with eventually non-zero zerodivisors, verifies this last condition, we prove that R satisfies (C).
    [Show full text]
  • Purity, Algebraic Compactness, Direct Sum Decompositions, And
    PURITY, ALGEBRAIC COMPACTNESS, DIRECT SUM DECOMPOSITIONS, AND REPRESENTATION TYPE Birge Huisgen-Zimmermann Helmut Lenzing zu seinem 60. Geburtstag gewidmet Introduction The idea of purity pervades human culture, from religion through sexual and moral codes, cleansing rituals and dietary rules, to stratifications of societies into castes. It does so to an extent which is hardly backed up by the following definition found in the Oxford English Dictionary: freedom from admixture of any foreign substance or matter. In fact, in a process of blending and fusing of ideas and ideals (which stands in stark contrast to the dictionary meaning of the term itself), the concept has acquired dozens of additional connotations. They have proved notoriously hard to pin down, to judge by the incongruence of the emotional and poetic reactions they have elicited. Here is a small sample: Purity is obscurity. Ogden Nash. One cannot be precise and still be pure. Marc Chagall. Unto the pure all things are pure. New Testament. To the pure all things are impure. Mark Twain. To the pure all things are indecent. Oscar Wilde. Blessed are the pure in heart for they have so much more to talk about. Edith Wharton. Be thou as chaste as ice, as pure as snow, thou shalt not escape calumny. Get thee to a nunnery, go. W. Shakespeare. arXiv:1407.2360v1 [math.RA] 9 Jul 2014 Necessary, for ever necessary, to burn out false shames and smelt the heaviest ore of the body into purity. D. H. Lawrence. Mathematics possesses not only truth, but supreme beauty – a beauty cold and austere, like that of a sculpture, without appeal to any part of our weaker nature, sublimely pure, and capable of a stern perfection such as only the greatest art can show.
    [Show full text]
  • Arxiv:Math/0603304V3
    COMPUTING THE ADDITIVE STRUCTURE OF INDECOMPOSABLE MODULES OVER DEDEKIND-LIKE RINGS USING GROBNER¨ BASES. MARIA A. AVINO-DIAZ˜ AND LUIS D. GARCIA-PUENTE Abstract. We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M. This algorithm is based on Gr¨obner bases theory. We apply this method to determine the additive structure of indecomposable modules over the following Dedeking-like rings: ZCp, where Cp is the cyclic group of order a prime p, and the p−pullback {Z → Zp ← Z} of Z ⊕ Z. 1. Introduction Let R be an algebra. Finding the additive structure of an R-module as an Abelian group associated to a representation is a classical problem solved in a similar way to obtaining the Jordan canonical form of a matrix over a field, see [7, Chapter III] and [2, Chapter 12, §2]. This information is used, for example, to determine the matrices associated to the group representation. This is accomplished by finding a p-basis for the torsion part of the group that permits a unique matrix representation for this Abelian finite p-group. In 1949, Szekeres started the classification and matrix description of modules over Zpn Cp. Since then it has been studied in detail, see [1, 4, 12, 13, 14, 15, 17]. In [12, 13], Levy studied these modules in the more general context of modules over a pullback of two Dedekind rings with a common field, which he called Dedekind-like rings. Until now, the simplest way to find the additive structure of an R-module con- sists in writing the relations as a matrix with entries in Z, performing elementary transformations over an Euclidean domain (like Z), and using the division algorithm to write the matrix in a canonical form, see [7, Theorem 16.8].
    [Show full text]
  • Adequate Groups and Indecomposable Modules
    ADEQUATE SUBGROUPS AND INDECOMPOSABLE MODULES ROBERT GURALNICK, FLORIAN HERZIG, AND PHAM HUU TIEP Abstract. The notion of adequate subgroups was introduced by Jack Thorne [59]. It is a weakening of the notion of big subgroups used by Wiles and Taylor in proving auto- morphy lifting theorems for certain Galois representations. Using this idea, Thorne was able to strengthen many automorphy lifting theorems. It was shown in [22] and [23] that if the dimension is smaller than the characteristic then almost all absolutely irreducible representations are adequate. We extend the results by considering all absolutely irre- ducible modules in characteristic p of dimension p. This relies on a modified definition of adequacy, provided by Thorne in [60], which allows p to divide the dimension of the a module. We prove adequacy for almost all irreducible representations of SL2(p ) in the natural characteristic and for finite groups of Lie type as long as the field of definition is sufficiently large. We also essentially classify indecomposable modules in characteris- tic p of dimension less than 2p − 2 and answer a question of Serre concerning complete reducibility of subgroups in classical groups of low dimension. Contents 1. Introduction 2 2. Linear groups of low degree 7 3. Extensions and self-extensions 11 4. Finite groups with indecomposable modules of dimension ≤ 2p − 2 15 1 1 ∗ 5. Bounding ExtG(V; V ) and ExtG(V; V ) 20 6. Modules of dimension p 28 6.1. Imprimitive case 29 6.2. Chevalley groups in characteristic p 30 6.3. Remaining cases 31 7. Certain PIMs for simple groups 38 n 7.1.
    [Show full text]
  • Rings with Indecomposable Modules Local
    Beitr¨agezur Algebra und Geometrie Contributions to Algebra and Geometry Volume 45 (2004), No. 1, 239-251. Rings with Indecomposable Modules Local Surjeet Singh Hind Al-Bleehed Department of Mathematics, King Saud University PO Box 2455, Riyadh 11451, Saudi Arabia Abstract. Every indecomposable module over a generalized uniserial ring is uni- serial and hence a local module. This motivates us to study rings R satisfying the following condition: (∗) R is a right artinian ring such that every finitely generated right R-module is local. The rings R satisfying (∗) were first studied by Tachikawa in 1959, by using duality theory, here they are endeavoured to be studied without using duality. Structure of a local right R-module and in particular of an indecomposable summand of RR is determined. Matrix representation of such rings is discussed. MSC 2000: 16G10 (primary), 16P20 (secondary) Keywords: left serial rings, generalized uniserial rings, exceptional rings, uniserial modules, injective modules, injective cogenerators and quasi-injective modules Introduction It is well known that an artinian ring R is generalized uniserial if and only if every inde- composable right R-module is uniserial. Every uniserial module is local. This motivated Tachikawa [8] to study rings R satisfying the condition (∗): R is a right artinian ring such that every finitely generated indecomposable right R-module is local. Consider the dual con- dition (∗∗): R is a left artinian ring such that every finitely generated indecomposable left R-module has unique minimal submodule. If a ring R satifies (∗), it admits a finitely gener- ated injective cogenerator QR. Let a right artinian ring R admit a finitely generated injective cogenerator QR and B = End(QR) acting on the left.
    [Show full text]