Modular Representation Theory of Finite Groups Peter Schneider
Modular Representation Theory of Finite Groups Peter Schneider Department of Mathematics University of Münster Münster Germany
ISBN 978-1-4471-4831-9 ISBN 978-1-4471-4832-6 (eBook) DOI 10.1007/978-1-4471-4832-6 Springer Dordrecht Heidelberg New York London
Library of Congress Control Number: 2012954001
Mathematics Subject Classification: 20C20, 20C05
© Springer-Verlag London 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of pub- lication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com) Preface
The nature of the representation theory of a finite group G in (finite-dimensional) vector spaces over some field k depends very much on the relation between the order |G| of the group G and the characteristic char(k) of the field k. If char(k) does not divide |G| then all representations are semisimple, i.e. are direct sums of irreducible representations. The reason for this is the semisimplicity of the group al- gebra k[G] in this situation. By the modular representation theory of G one means, on the other hand, the case where char(k) is a divisor of |G| (so that, in particular, char(k) must be a prime number). The group algebra k[G] now may be far from be- ing semisimple. In the extreme case, for example, where |G| is a power of char(k), it is a local ring; there is then a single irreducible representation, which is the trivial one, whereas the structure of a general representation will still be very complicated. As a consequence a whole range of additional tools have to be developed and used in the course of the investigation. To mention some, there is the systematic use of Grothendieck groups (Chap. 2) as well as Green’s direct analysis of indecompos- able representations (Chap. 4). There also is the strategy of writing the category of all k[G]-modules as the direct product of certain subcategories, the so-called blocks of G, by using the action of the primitive idempotents in the center of k[G]. Brauer’s approach then establishes correspondences between the blocks of G and blocks of certain subgroups of G (Chap. 5), the philosophy being that one is thereby reduced to a simpler situation. This allows us, in particular, to measure how nonsemisimple a category a block is by the size and structure of its so-called defect group. Begin- ning in Sect. 4.4 all these concepts are made explicit for the example of the group G = SL2(Fp). The present book is to be thought of as an introduction to the major tools and strategies of modular representation theory. Its content was taught during a course lasting the full academic year 2010/2011 at Münster. Some basic algebra together with the semisimple case were assumed to be known, although all facts to be used are restated (without proofs) in the text. Otherwise the book is entirely self- contained. The references [1Ð10] provide a complete list of the sources I have drawn upon. Of course, there already exist several textbooks on the subject. The older ones like [5] and [6] are written in a mostly group theoretic language. The beautiful
v vi Preface book [1] develops the theory entirely from the module theoretic point of view but leaves out completely the comparison with group theoretic concepts. For example, the concept of defect groups can be introduced either purely group theoretically or purely module theoretically. To my knowledge all existing books essentially restrict themselves to a discussion of one of these approaches only. Although my presenta- tion is strongly biased towards the module theoretic point of view, I make an attempt to strike a certain balance by also showing the reader the other aspect. In particular, in the case of defect groups a detailed proof of the equivalence of the two approaches will be given. This book is not addressed to experts. It does not discuss any very advanced aspects nor any specialized results of the theory. The aim is to familiarize students at the masters level with the basic results, tools, and techniques of a beautiful and important algebraic theory, hopefully enabling them to subsequently pursue their own more specialized problems. I wish to thank T. Schmidt for carefully reading a first draft and I. Reckermann and G. Dierkes for their excellent typesetting of the manuscript. Münster, Germany Peter Schneider Contents
1 Prerequisites in Module Theory ...... 1 1.1ChainConditionsandMore...... 1 1.2Radicals...... 3 1.3 I -Adic Completeness ...... 4 1.4 Unique Decomposition ...... 9 1.5 Idempotents and Blocks ...... 15 1.6 Projective Modules ...... 26 1.7 Grothendieck Groups ...... 34 2 The Cartan–Brauer Triangle ...... 43 2.1 The Setting ...... 43 2.2 The Triangle ...... 46 2.3 The Ring Structure of RF (G), and Induction ...... 54 2.4TheBurnsideRing...... 59 2.5 Clifford Theory ...... 67 2.6 Brauer’s Induction Theorem ...... 71 2.7 Splitting Fields ...... 75 2.8 Properties of the CartanÐBrauer Triangle ...... 78 3 The Brauer Character ...... 87 3.1Definitions...... 87 3.2 Properties ...... 91 4 Green’s Theory of Indecomposable Modules ...... 97 4.1 Relatively Projective Modules ...... 97 4.2 Vertices and Sources ...... 105 4.3 The Green Correspondence ...... 110 4.4 An Example: The Group SL2(Fp) ...... 119 4.5 Green’s Indecomposability Theorem ...... 140 5 Blocks ...... 147 5.1 Blocks and Simple Modules ...... 147
vii viii Contents
5.2CentralCharacters...... 151 5.3 Defect Groups ...... 153 5.4 The Brauer Correspondence ...... 159 5.5 Brauer Homomorphisms ...... 165 References ...... 175 Index ...... 177 Chapter 1 Prerequisites in Module Theory
Let R be an arbitrary (not necessarily commutative) ring (with unit). By an R-module we will always mean a left R-module. All ring homomorphisms respect the unit element, but a subring may have a different unit element.
1.1 Chain Conditions and More
For an R-module M we have the notions of being
finitely generated, artinian, noetherian, simple, and semisimple.
The ring R is called left artinian, resp. left noetherian, resp. semisimple, if it has this property as a left module over itself.
Proposition 1.1.1 i. The R-module M is noetherian if and only if any submodule of M is finitely generated. ii. Let L ⊆ M be a submodule; then M is artinian, resp. noetherian, if and only if L and M/L are artinian, resp. noetherian. iii. If R is left artinian, resp. left noetherian, then every finitely generated R-module M is artinian, resp. noetherian. iv. If R is left noetherian then an R-module M is noetherian if and only if it is finitely generated.
Proposition 1.1.2 (Jordan–Hölder) For any R-module M the following conditions are equivalent: i. M is artinian and noetherian; ii. M has a composition series {0}=M0 ⊆ M1 ⊆ ··· ⊆ Mn = M such that all Mi/Mi−1 are simple R-modules.
P. Schneider, Modular Representation Theory of Finite Groups, 1 DOI 10.1007/978-1-4471-4832-6_1, © Springer-Verlag London 2013 2 1 Prerequisites in Module Theory
In this case two composition series {0}=M0 ⊆ M1 ⊆···⊆Mn = M and {0}= ∼ L0 ⊆ L1 ⊆···⊆Lm = M satisfy n = m and Li/Li−1 = Mσ(i)/Mσ(i)−1, for any 1 ≤ i ≤ m, where σ is an appropriate permutation of {1,...,n}.
An R-module M which satisfies the conditions of Proposition 1.1.2 is called of finite length and the integer l(M) := n is its length.Let
Rˆ := set of all isomorphism classes of simple R-modules.
For τ ∈ Rˆ and an R-module M the τ -isotypic component of M is
M(τ):= sum of all simple submodules of M in τ .
Lemma 1.1.3 For any R-module homomorphism f : L −→ M we have f(L(τ))⊆ M(τ).
Proposition 1.1.4 i. For any R-module M the following conditions are equivalent: a. M is semisimple, i.e. isomorphic to a direct sum of simple R-modules; b. M is the sum of its simple submodules; c. every submodule of M has a complement. ii. Submodules and factor modules of semisimple modules are semisimple. iii. If R is semisimple then any R-module is semisimple. iv. Any τ -isotypic component M(τ) of any R-module M is semisimple. = v. If the R-module M is semisimple then M τ∈Rˆ M(τ). = vi. If R is semisimple then R τ∈Rˆ R(τ) as rings.
Lemma 1.1.5 Any R-module M contains a unique maximal submodule which is semisimple (and which is called the socle soc(M) of M). := Proof We define soc(M) τ∈Rˆ M(τ). By Proposition 1.1.4.i the submodule soc(M) is semisimple. On the other hand if L ⊆ M is any semisimple submod- = ⊆ ule then L τ L(τ) by Proposition 1.1.4.v. But L(τ) M(τ) by Lemma 1.1.3 and hence L ⊆ soc(M).
Definition An R-module M is called decomposable if there exist nonzero submod- ules M1,M2 ⊆ M such that M = M1 ⊕ M2; correspondingly, M is called indecom- posable if it is nonzero and not decomposable.
Lemma 1.1.6 If M is artinian or noetherian then M is the direct sum of finitely many indecomposable submodules.
Proof We may assume that M = {0}. Step 1: We claim that M has a nonzero in- decomposable direct summand N.IfM is artinian take a minimal element N of 1.2 Radicals 3 the set of all nonzero direct summands of M.IfM is noetherian let N be a max- imal element of the set of all direct summands = M of M, and take N such that = ⊕ = ⊕ = { } M N N. Step 2: By Step 1 we find M M1 M1 with M1 0 indecom- = { } = ⊕ = { } posable. If M1 0 then similarly M1 M2 M2 with M2 0 indecomposable. Inductively we obtain in this way a strictly increasing sequence
{0} M1 M1 ⊕ M2 ··· as well as a strictly decreasing sequence ··· M1 M2 of submodules of M. Since one of the two (depending on M being artinian or ={ } noetherian) stops after finitely many steps we must have Mn 0 for some n. Then M = M1 ⊕···⊕Mn is the direct sum of the finitely many indecomposable submodules M1,...,Mn.
Exercise The Z-modules Z and Z/pnZ, for any prime number p and any n ≥ 1, are indecomposable.
1.2 Radicals
The radical of an R-module M is the submodule
rad(M) := intersection of all maximal submodules of M.
The Jacobson radical of R is Jac(R) := rad(R).
Proposition 1.2.1 i. If M = {0} is finitely generated then rad(M) = M. ii. If M is semisimple then rad(M) ={0}. iii. If M is artinian with rad(M) ={0} then M is semisimple. iv. The Jacobson radical
Jac(R) = intersection of all maximal left ideals of R = intersection of all maximal right ideals of R × = a ∈ R : 1 + Ra ⊆ R
is a two-sided ideal of R. v. Any left ideal which consists of nilpotent elements is contained in Jac(R). vi. If R is left artinian then the ideal Jac(R) is nilpotent and the factor ring R/Jac(R) is semisimple. vii. If R is left artinian then rad(M) = Jac(R)M for any finitely generated R-module M. 4 1 Prerequisites in Module Theory
Corollary 1.2.2 If R is left artinian then any artinian R-module is noetherian and, in particular, R is left noetherian and any finitely generated R-module is of finite length.
Lemma 1.2.3 (Nakayama) If L ⊆ M is a submodule of an R-module M such that M/L is finitely generated, then L + Jac(R)M = M implies that L = M.
Lemma 1.2.4 If R is left noetherian and R/Jac(R) is left artinian then R/Jac(R)m is left noetherian and left artinian for any m ≥ 1.
Proof It suffices to show that R/Jac(R)m is noetherian and artinian as an R- module. By Proposition 1.1.1.ii it further suffices to prove that the R-module Jac(R)m/ Jac(R)m+1, for any m ≥ 0, is artinian. Since R is left noetherian it cer- tainly is a finitely generated R-module and hence a finitely generated R/Jac(R)- module. The claim therefore follows from Proposition 1.1.1.iii.
Lemma 1.2.5 The Jacobson ideal of the matrix ring Mn×n(R), for any n ∈ N, is the ideal Jac(Mn×n(R)) = Mn×n(Jac(R)) of all matrices with entries in Jac(R).
1.3 I-Adic Completeness
We begin by introducing the following general construction. Let
fn (Mn+1 −−→ Mn)n∈N be a sequence of R-module homomorphisms, usually visualized by the diagram
fn+1 fn fn−1 f1 ···−−−→ Mn+1 −−→ Mn −−−→···−−→ M1. In the direct product module n∈N Mn we then have the submodule := ∈ : = ∈ N ←lim− Mn (xn)n Mn fn(xn+1) xn for any n , n which is called the projective limit of the above sequence. Although suppressed in the notation the construction depends crucially, of course, on the homomorphisms fn and not only on the modules Mn. Let us fix now a two-sided ideal I ⊆ R. Its powers form a descending sequence
R ⊇ I ⊇ I 2 ⊇···⊇I n ⊇··· of two-sided ideals. More generally, for any R-module M we have the descending sequence of submodules
M ⊇ IM ⊇ I 2M ⊇···⊇I nM ⊇··· 1.3 I -Adic Completeness 5 and correspondingly the sequence of residue class projections
pr pr ···−→M/In+1M −→ M/InM −→···−→M/I2M −→ M/IM.
We form the projective limit of the latter
n ←lim− M/I M n n n = + ∈ : + − ∈ ∈ N xn I M n M/I M xn 1 xn I M for any n . n
There is the obvious R-module homomorphism
I : −→ n πM M ←lim− M/I M
−→ + n x x I M n.
Definition The R-module M is called I -adically separated, resp. I -adically com- I n ={ } plete, if πM is injective (i.e. if n I M 0 ), resp. is bijective.
n Exercise If I 0 M ={0} for some n0 ∈ N then M is I -adically complete.
Lemma 1.3.1 Let J ⊆ R be another two-sided ideal such that I n0 ⊆ J ⊆ I for some n0 ∈ N; then M is J -adically separated, resp. complete, if and only if it is I -adically separated, resp. complete.
Proof We have I nn0 M ⊆ J nM ⊆ I nM for any n ∈ N. This makes obvious the separatedness part of the assertion. Furthermore, by the right-hand inclusions we have the well-defined map
: n −→ n α ←lim− M/J M ←lim− M/I M
+ n −→ + n xn J M n xn I M n. ◦ J = I Since α πM πM it suffices for the completeness part of the assertion to show that = + n ∈ n ∈ n α is bijective. That α(ξ) 0for(xn J M)n ←lim− M/J M means that xn I M ∈ N ∈ nn0 ⊆ n − ∈ n for any n . Hence xnn0 I M J M. On the other hand xnn0 xn J M. n It follows that xn ∈ J M for any n, i.e. that ξ = 0. For the surjectivity of α let (yn + n ∈ n := + − = I M)n ←lim− M/I M be any element. We define xn ynn0 . Then xn 1 xn + − ∈ nn0 ⊆ n + n ∈ n ynn0 n0 ynn0 I M J M and hence (xn J M)n ←lim− M/J M. Moreover, + n = + n = + n + n = + xn I M ynn0 I M yn I M which shows that α((xn J M)n) (yn n I M)n.
Lemma 1.3.2 If R is I -adically complete then I ⊆ Jac(R). 6 1 Prerequisites in Module Theory
Proof Let a ∈ I be any element. Then
+ +···+ n−1 + n ∈ n 1 a a I n ←lim− R/I . Therefore, by assumption, there is an element c ∈ R such that
− c + I n = 1 + a +···+an 1 + I n for any n ∈ N.
It follows that
− (1 − a)c ∈ (1 − a) 1 + a +···+an 1 + I n = 1 − an + I n ={1} n n and similarly that c(1 − a) = 1. This proves that 1 + I ⊆ R×. The assertion now follows from Proposition 1.2.1.iv.
Lemma 1.3.3 Let f : M −→ N be a surjective R-module homomorphism and sup- pose that M is I -adically complete; if N is I -adically separated then it already is I -adically complete.
Proof The R-module homomorphism : n −→ n φ ←lim− M/I M ←lim− N/I N
+ n −→ + n xn I M n f(xn) I N n fits into the commutative diagram
f M N
I =∼ I αM αN φ n n ←lim− M/I M ←lim− N/I N.
+ n ∈ n Hence it suffices to show that φ is surjective. Let (yn I N)n ←lim− N/I N be an arbitrary element. By the surjectivity of f we find an x1 ∈ M such that f(x1) = y1. We now proceed by induction and assume that elements x1,...,xn ∈ M have been found such that j xj+1 − xj ∈ I M for 1 ≤ j − ∈ − + n = n f xn+1 xn yn+1 yn I N I N. 1.3 I -Adic Completeness 7 f Since the restricted map I nM −→ I nN still is surjective we find an element z ∈ ker(f ) such that − − ∈ n xn+1 xn z I M. := − − ∈ n = Therefore, if we put xn+1 xn+1 z then xn+1 xn I M and f(xn+1) = f(xn+1) yn+1. Proposition 1.3.4 Suppose that R is commutative and noetherian and that I ⊆ Jac(R); then any finitely generated R-module M is I -adically separated. := n Proof We have to show that the submodule M0 n I M is zero. Since R is noetherian M0 is finitely generated by Proposition 1.1.1. We therefore may apply the Nakayama lemma 1.2.3 to M0 (and its submodule {0}) and see that it suffices to show that IM0 = M0. Obviously IM0 ⊆ M0. Again since R is noetherian we find a submodule IM0 ⊆ L ⊆ M which is maximal with respect to the property that L ∩ M0 = IM0. In an intermediate step we establish that for any a ∈ I there is an integer n0(a) ≥ 1 such that an0(a)M ⊆ L. j Fixing a we put Mj := {x ∈ M : a x ∈ L} for j ≥ 1. Since R is commutative the Mj ⊆ Mj+1 form an increasing sequence of submodules of M. Since R is noethe- rian this sequence ⊆···⊆ = =··· M1 Mn0(a) Mn0(a)+1 n (a) has to stabilize. We trivially have IM0 ⊆ (a 0 M + L) ∩ M0. Consider any n (a) element x0 = a 0 x + y, with x ∈ M and y ∈ L, in the right-hand side. We n (a)+1 have ax0 ∈ IM0 ⊆ L and ay ∈ L, hence a 0 x = ax0 − ay ∈ L or equiva- ∈ = n0(a) ∈ lently x Mn0(a)+1.ButMn0(a)+1 Mn0(a) so that a x L and consequently n (a) x0 ∈ L ∩ M0 = IM0. This shows that IM0 = (a 0 M + L) ∩ M0 holds true. The maximality of L then implies that an0(a)M ⊆ L. The ideal I in the noetherian ring R can be generated by finitely many elements a1,...,ar . We put n0 := maxi n0(ai) and n1 := rn0. Then n1 = +···+ rn0 ⊆ n0 +···+ n0 ⊆ n0(a1) +···+ n0(ar ) I (Ra1 Rar ) Ra1 Rar Rar Rar and hence I n1 M ⊆ L which implies M = I nM ⊆ I n1 M ⊆ L and therefore M = L ∩ M = IM . 0 0 0 0 n Let R0 be a commutative ring. If α : R0 −→ Z(R) is a ring homomorphism into the center Z(R) of R then we call R an R0-algebra (with respect to α). In particular, R then is an R0-module. More generally, by restriction of scalars, any R-module also is an R0-module. 8 1 Prerequisites in Module Theory For any R-module M we have the two endomorphism rings EndR(M) ⊆ EndR0 (M).BothareR0-algebras with respect to the homomorphism R0 −→ EndR(M) a0 −→ a0 · idM . Lemma 1.3.5 Suppose that R is an R0-algebra which as an R0-module is finitely generated, and assume R0 to be noetherian; we than have: i. R is left and right noetherian; ii. for any finitely generated R-module M its ring EndR(M) of endomorphisms is left and right noetherian and is finitely generated as an R0-module; iii. Jac(R0)R ⊆ Jac(R). Proof i. Any left or right ideal of R is a submodule of the noetherian R0-module R and hence is finitely generated (cf. Proposition 1.1.1). ii. Step 1: We claim that, for any finitely generated R0-module M0,theR0- module EndR0 (M0) is finitely generated. Let x1,...,xr be generators of the R0- module M0. Then EndR (M0) −→ M0 ⊕···⊕M0 0 f −→ f(x1),...,f(xr ) is an injective R0-module homomorphism. The right-hand side is finitely generated by assumption and so is then the left-hand side since R0 is noetherian. Step 2: By assumption M is finitely generated over R, and R is finitely generated over R0. Hence M is finitely generated over R0, Step 1 applies, and EndR0 (M) is a finitely generated R0-module. Since R0 is noetherian the submodule EndR(M) is finitely generated as well. Furthermore, since any left or right ideal of EndR(M) is an R0- submodule the ring EndR(M) is left and right noetherian. iii. Set L ⊆ R be a maximal left ideal. Then M := R/L is a simple R-module. By ii. the R0-module EndR(M) is finitely generated. It is nonzero since M is nonzero. The Nakayama lemma 1.2.3 therefore implies that Jac(R0) EndR(M) = EndR(M).ButEndR(M), by Schur’s lemma, is a skew field. It follows that Jac(R0) EndR(M) ={0}. Hence Jac(R0)M = idM Jac(R0)M = Jac(R0) idM (M) ={0} or equivalently Jac(R0)R ⊆ L. Since L was arbitrary we obtain the assertion. For simplicity we call an R-module complete if it is Jac(R)-adically complete. Proposition 1.3.6 Suppose that R is an R0-algebra which as an R0-module is finitely generated, and assume that R0 is noetherian and complete and that R0/ Jac(R0) is artinian; for any of the rings S = R or S = EndR(M), where M is a finitely generated R-module, we then have: 1.4 Unique Decomposition 9 i. S is left and right noetherian; ii. S/Jac(S) is left and right artinian; iii. any finitely generated S-module is complete. Proof By Lemma 1.3.5.ii the case S = R contains the case S = EndR(M). Lemma 1.3.5.i says that R is left and right noetherian. Since R0 maps to the cen- ter of R the right ideal Jac(R0)R in fact is two-sided. Being finitely generated as an R0/ Jac(R0)-module the ring R/Jac(R0)R is left and right artinian by Proposi- tion 1.1.1.iii. According to Lemma 1.3.5.iii the ring R/Jac(R) is a factor ring of R/Jac(R0)R and therefore, by Proposition 1.1.1.ii, is left and right artinian as well. Using Proposition 1.2.1.vi it also follows that n0 Jac(R) ⊆ Jac(R0)R ⊆ Jac(R) for some n0 ∈ N. Because of Lemma 1.3.1 it therefore remains to show that any finitely generated R-module N is Jac(R0)R-adically complete. Since n n Jac(R0)R N = Jac(R0) N for any n ≥ 1 this further reduces to the statement that any finitely generated R0-module N is com- plete. We know from Proposition 1.3.4 that the R0-module N is Jac(R0)-adically separated. On the other hand, by finite generation we find, for some m ∈ N,asur- m m jective R0-module homomorphism R0 N. With R0 also R0 is complete by as- sumption. We therefore may apply Lemma 1.3.3 and obtain that N is complete. 1.4 Unique Decomposition We first introduce the following concept. Definition 1 AringA is called local if A \ A× is a two-sided ideal of A. We note that a local ring A is nonzero since 1 ∈ A× whereas 0 must lie in the ideal A \ A×. Proposition 1.4.1 For any nonzero ring A the following conditions are equivalent: i. A is local; ii. A \ A× is additively closed; iii. A \ Jac(A) ⊆ A×; iv. A/Jac(A) is a skew field; v. A contains a unique maximal left ideal; vi. A contains a unique maximal right ideal. Proof We note that A = {0} implies that Jac(A) = A is a proper ideal. 10 1 Prerequisites in Module Theory i. =⇒ ii. This is obvious. ii. =⇒ iii. Let b ∈ A \ A× be any element. Then also −b/∈ A×. Suppose that 1 + ab∈ / A× for some a ∈ A. Using that A \ A× is additively closed we first obtain that −ab ∈ A× and in particular that −a,a∈ / A×. It then follows that a + b/∈ A× and that 1 + a,1+ b ∈ A×. But in the identity (1 + ab) + (a + b) = (1 + a)(1 + b) now the right-hand side is contained in A× whereas the left-hand side is not. This contradiction proves that 1 + Ab ⊆ A× and therefore, by Proposition 1.2.1.iv, that b ∈ Jac(A). We conclude that A ⊆ A× ∪ Jac(A). iii. =⇒ iv. It immediately follows from iii. that any nonzero element in A/Jac(A) is a unit. iv. =⇒ v., vi. Let L ⊆ A be any maximal left, resp. right, ideal. Then Jac(A) ⊆ L A by Proposition 1.2.1.iv. Since the only proper left, resp. right, ideal of a skew field is the zero ideal we obtain L = Jac(A). v., vi. =⇒ i. The unique maximal left (right) ideal, by Proposition 1.2.1.iv, is necessarily equal to Jac(A).Letb ∈ A \ Jac(A) be any element. Then Ab (bA)is not contained in any maximal left (right) ideal and hence Ab = A (bA = A). Let a ∈ A such that ab = 1(ba = 1). Since a/∈ Jac(A) we may repeat this reasoning and find an element c ∈ A such that ca = 1(ac = 1). But c = c(ab) = (ca)b = b (c = (ba)c = b(ac) = b). It follows that a ∈ A× and then also that b ∈ A×.This shows that A = Jac(A) ∪ A×. But the union is disjoint. We finally obtain that A \ A× = Jac(A) is a two-sided ideal. We see that in a local ring A the Jacobson radical Jac(A) is the unique maximal left (right, two-sided) ideal and that A \ Jac(A) = A×. Lemma 1.4.2 If A is nonzero and any element in A \ A× is nilpotent then the ring A is local. Proof Let b ∈ A \ A× and let n ≥ 1 be minimal such that bn = 0. For any a ∈ A we then have (ab)bn−1 = abn = 0. Since bn−1 = 0 the element ab cannot be a unit in A. It follows that Ab ⊆ A \ A× and hence, by Proposition 1.2.1.v, that Ab ⊆ Jac(A). We thus have shown that A \ A× ⊆ Jac(A) which, by Proposition 1.4.1.iii, implies that A is local. Lemma 1.4.3 (Fitting) For any R-module M and any f ∈ EndR(M) we have: i. If M is noetherian and f is injective then f is bijective; ii. if M is noetherian and f is surjective then f is bijective; iii. if M is of finite length then there exists an integer n ≥ 1 such that a. ker(f n) = ker(f n+j ) for any j ≥ 0, b. im(f n) = im(f n+j ) for any j ≥ 0, c. M = ker(f n) ⊕ im(f n), and ∼ ∼ n = n n = d. the induced maps idM −f : ker(f ) −→ ker(f ) and f : im(f ) −→ im(f n) are bijective. 1.4 Unique Decomposition 11 Proof We have the increasing sequence of submodules ker(f ) ⊆ ker f 2 ⊆···⊆ker f n ⊆··· as well as the decreasing sequence of submodules im(f ) ⊇ im f 2 ⊇···⊇im f n ⊇··· . If M is artinian there must exist an n ≥ 1 such that + + im f n = im f n 1 =···=im f n j =··· . For any x ∈ M we then find a y ∈ M such that f n(x) = f n+1(y). Hence f n(x − f(y))= 0. If f is injective it follows that x = f(y). This proves M = f(M)under the assumptions in i. If M is noetherian there exists an n ≥ 1 such that + + ker f n = ker f n 1 =···=ker f n j =··· . Let x ∈ ker(f ).Iff , and hence f n, is surjective we find a y ∈ M such that x = f n(y). Then f n+1(y) = f(x)= 0, i.e. y ∈ ker(f n+1) = ker(f n). It follows that x = f n(y) = 0. This proves ker(f ) ={0} under the assumptions in ii. Assuming that M is of finite length, i.e. artinian and noetherian, we at least know the existence of an n ≥ 1 satisfying a. and b. To establish c. (for any such n)we first consider any x ∈ ker(f n) ∩ im(f n). Then f n(x) = 0 and x = f n(y) for some y ∈ M. Hence y ∈ ker(f 2n) = ker(f n) which implies x = 0. This shows that ker f n ∩ im f n ={0}. Secondly let x ∈ M be arbitrary. Then f n(x) ∈ im(f n) = im(f 2n),i.e.f n(x) = f 2n(y) for some y ∈ M. We obtain f n(x − f n(y)) = f n(x) − f 2n(y) = 0. Hence x = x − f n(y) + f n(y) ∈ ker f n + im f n . n n For d. we note that idM −f : ker(f ) −→ ker(f ) has the inverse idm +f +···+ f n−1. Since ker(f ) ∩ im(f n) ={0} by c., the restriction f | im(f n) is injective. Let x ∈ im(f n). Because of b we find a y ∈ M such that x = f n+1(y) = f(fn(y)) ∈ f(im(f n)). Proposition 1.4.4 For any indecomposable R-module M of finite length the ring EndR(M) is local. Proof Since M = {0} we have idM = 0 and hence EndR(M) = {0}.Letf ∈ EndR(M) be any element which is not a unit, i.e. is not bijective. According to Lemma 1.4.3.iii we have M = ker f n ⊕ im f n for some n ≥ 1. 12 1 Prerequisites in Module Theory But M is indecomposable. Hence ker(f n) = M or im(f n) = M. In the latter case f would be bijective by Lemma 1.4.3.iii.d which leads to a contradiction. It follows that f n = 0. This shows that the assumption in Lemma 1.4.2 is satisfied so that EndR(M) is local. Proposition 1.4.5 Suppose that R is left noetherian, R/Jac(R) is left artinian, and any finitely generated R-module is complete; then EndR(M), for any finitely gener- ated indecomposable R-module M, is a local ring. Proof We abbreviate J := Jac(R). By assumption the map ∼ J : −→= m πM M ←lim− M/J M is an isomorphism. Each M/JmM is a finitely generated module over the factor ring R/J m which, by Lemma 1.2.4, is left noetherian and left artinian. Hence M/JmM is a module of finite length by Proposition 1.1.1.iii. On the other hand for any f ∈ EndR(M) the R-module homomorphisms m m fm: M/J M −→ M/J M x + J mM −→ f(x)+ J mM are well defined. The diagrams fm+1 M/Jm+1M M/Jm+1M pr pr (1.4.1) fm M/JmM M/JmM obviously are commutative so that in the projective limit we obtain the R-module homomorphism : m −→ m f∞ ←lim− M/J M ←lim− M/J M + m −→ + m xm J M m f(xm) J M m. Clearly the diagram f M M J =∼ =∼ J πM πM f∞ m m ←lim− M/J M ←lim− M/J M 1.4 Unique Decomposition 13 is commutative. If follows, for example, that f is bijective if and only if f∞ is bijective. We now apply Fitting’s lemma 1.4.3.iii to each module M/JmM and obtain an increasing sequence of integers 1 ≤ n(1) ≤ ··· ≤ n(m) ≤ ··· such that the triple m (M/J M,fm, n(m)) satisfies the conditions a.Ðd. in that lemma. In particular, we have m = n(m) ⊕ n(m) ≥ M/J M ker fm im fm for any m 1. The commutativity of (1.4.1) easily implies that we have the sequences of surjective (!) R-module homomorphisms ···−pr→ n(m+1) −pr→ n(m) −pr→···−pr→ n(1) ker fm+1 ker fm ker f1 and ···−pr→ n(m+1) −pr→ n(m) −pr→···−pr→ n(1) im fm+1 im fm im f1 . Be defining := n(m) := n(m) X ←lim− ker fm and Y ←lim− im fm we obtain the decomposition into R-submodules =∼ m = ⊕ M ←lim− M/J M X Y. But M is indecomposable. Hence X ={0} or Y ={0}. Suppose first that X = {0}. By the surjectivity of the maps in the corresponding sequence this implies n(m) ker(fm ) ={0} for any m ≥ 1. The condition d then says that all the fm, hence f∞, and therefore f are bijective. If, on the other hand, Y ={0} then analogously n(m) im(fm ) ={0} for all m ≥ 1, and conditions d. implies that idM −f is bijec- tive. So far we have shown that for any f ∈ EndR(M) either f or idM −f is a unit. To prove our assertion it suffices, by Proposition 1.4.1.ii, to verify that the nonunits in EndR(M) are additively closed. Suppose therefore that f,g ∈ × × EndR(M) \ EndR(M) are such that h := f + g ∈ EndR(M) . By multiplying −1 by h we reduce to the case that h = idM . Then the left-hand side in the iden- tity g = idM −f is not a unit, but the right-hand side is by what we have shown above. This is a × contradiction, and hence EndR(M) \ EndR(M) is additively closed. Proposition 1.4.6 Let M = M1 ⊕···⊕Mr = N1 ⊕···⊕Ns be two decompositions of the R-module M into indecomposable R-modules Mi and Nj ; if EndR(Mi), for any 1 ≤ i ≤ r, is a local ring we have: 14 1 Prerequisites in Module Theory i. r = s; ∼ ii. there is a permutation σ of {1,...,r} such that Nj = Mσ(j) for any 1 ≤ j ≤ r. Proof The proof is by induction with respect to r. The case r = 1 is trivial since M then is indecomposable. In general we have the R-module homomorphisms pr pr Mi ⊆ Nj ⊆ fi: M −−−→ Mi −→ M and gj : M −−−→ Nj −→ M in EndR(M) satisfying the equation idM = f1 +···+fr = g1 +···+gs. In particular, f1 = f1g1 +···+f1gs , which restricts to the equation = ( g )|M +···+( g )|M idM1 prM1 1 1 prM1 s 1 in EndR(M1).ButEndR(M1) is local. Hence at least one of the summands must be a unit. By renumbering we may assume that the composed map pr pr ⊆ N1 ⊆ M1 M1 −→ M −−−→ N1 −→ M −−−→ M1 is an automorphism of M1. This implies that N =∼ M ⊕ ( |N ). 1 1 ker prM1 1 =∼ Since N1 is indecomposable we obtain that g1 : M1 −→ N1 is an isomorphism. In particular M1 ∩ ker(g1) = M1 ∩ (N2 ⊕···⊕Ns) ={0}. On the other hand let x ∈ N1 and write x = g1(y) with y ∈ M1. Then g1(x − y) = x − g1(y) = 0 and hence x = y + (x − y) ∈ M1 + ker(g1) = M1 + (N2 ⊕···⊕Ns). This shows that N1 ⊆ M1 + (N2 ⊕···⊕Ns), and hence M = N1 +···+Ns = M1 + (N2 ⊕···⊕Ns). Together we obtain M = M1 ⊕ N2 ⊕···⊕Ns and therefore ∼ ∼ M/M1 = M2 ⊕···⊕Mr = N2 ⊕···⊕Ns. We now apply the induction hypothesis to these two decompositions of the R- module M/M1. 1.5 Idempotents and Blocks 15 Theorem 1.4.7 (KrullÐRemakÐSchmidt) The assumptions of Proposition 1.4.6 are satisfied in any of the following cases: i. M is of finite length; ii. R is left artinian and M is finitely generated; iii. R is left noetherian, R/Jac(R) is left artinian, any finitely generated R-module is complete, and M is finitely generated; iv. R is an R0-algebra, which is finitely generated as an R0-module, over a noethe- rian complete commutative ring R0 such that R0/ Jac(R0) is artinian, and M is finitely generated. Proof i. Use Proposition 1.4.4. ii. This reduces to i. by Proposition 1.1.1.iii. iii. Use Proposition 1.4.5. iv. This reduces to iii. by Proposition 1.3.6. Example Let K be a field and G be a finite group. The group ring K[G] is left artinian. Hence Proposition 1.4.6 applies: Any finitely generated K[G]-module has a “unique” decomposition into indecomposable modules. 1.5 Idempotents and Blocks Of primary interest to us is the decomposition of the ring R itself into indecompos- able submodules. This is closely connected to the existence of idempotents in R. Definition i. An element e ∈ R is called an idempotent if e2 = e = 0. ii. Two idempotents e1,e2 ∈ R are called orthogonal if e1e2 = 0 = e2e1. ii. An idempotent e ∈ R is called primitive if e is not equal to the sum of two orthogonal idempotents. iv. The idempotents in the center Z(R) of R are called central idempotents in R. We note that eRe, for any idempotent e ∈ R, is a subring of R with unit ele- ment e. We also note that for any idempotent 1 = e ∈ R the element 1 − e is another idempotent, and e,1 − e are orthogonal. Exercise If e1,...,er ∈ R are idempotents which are pairwise orthogonal then e1 + ···+er is an idempotent as well. 16 1 Prerequisites in Module Theory Proposition 1.5.1 Let L = Re ⊆ R be a left ideal generated by an idempotent e; the map setofallsets{e1,...,er } of pair- set of all decompositions ∼ wise orthogonal idempotents ei ∈ R −→ L = L1 ⊕···⊕Lr of L such that e1 +···+er = e into nonzero left ideals Li {e1,...,er } −→L = Re1 ⊕···⊕Rer is bijective. Proof Suppose given a set {e1,...,er } in the left-hand side. We have L = Re = R(e1 +···+er ) ⊆ Re1 +···+Rer . On the other hand L ⊇ Reie = R(eie1 +···+ eier ) = Rei . Hence L = Re1 +···+Rer . To see that the sum is direct let aej = aiei ∈ Rej ∩ Rei with a,ai ∈ R i=j i=j be an arbitrary element. Then aej = (aej )ej = aiei ej = aieiej = 0. i=j i=j It follows that the asserted map is well defined. { } To establish its injectivity let e1,...,er be another set in the left-hand side such that the two decompositions ⊕···⊕ = = ⊕···⊕ Re1 Rer L Re1 Rer { } = coincide. This means that there is a permutation σ of 1,...,r such that Rei Reσ(i) for any i. The identity +···+ = = +···+ eσ(1) eσ(r) e e1 er = { }={ } then implies that ei eσ(i) for any i or, equivalently, that e1,...,er e1,...,er . We prove the surjectivity of the asserted map in two steps. Step 1: We assume that e = 1 and hence L = R. Suppose that R = L1 ⊕···⊕Lr is a decomposition as a direct sum of nonzero left ideals Li . We then have 1 = e1 +···+er for appropriate elements ei ∈ Li and, in particular, Rei ⊆ Li and R = R · 1 = R(e1 +···+er ) ⊆ Re1 +···+Rer . It follows that Rei = Li . Since Li = {0} we must have ei = 0. Furthermore, ei = ei · 1 = ei(e1 +···+er ) = eie1 +···+eier for any 1 ≤ i ≤ r. Since eiej ∈ Lj we obtain 2 = = = ei ei and eiej 0forj i. 1.5 Idempotents and Blocks 17 We conclude that the set {e1,...,er } is a preimage of the given decomposition un- der the map in the assertion. Step 2: For a general e = 1 we first observe that the elements 1 − e and e are orthogonal idempotents in R. Hence, by what we have shown already, we have the decomposition R = R(1 − e) ⊕ Re = R(1 − e) ⊕ L. Suppose now that L = L1 ⊕···⊕Lr is a direct sum decomposition into nonzero left ideals Li . Then R = R(1 − e) ⊕ L1 ⊕···⊕Lr is a decomposition into nonzero left ideals as well. By Step 1 we find pairwise orthogonal idempotents e0,e1,...,er in R such that 1 = e0 + e1 +···+er ,Re0 = R(1 − e), and Rei = Li for 1 ≤ i ≤ r. Comparing this with the identity 1 = (1 − e) + e where 1 − e ∈ Re0 and e ∈ L = L1 ⊕ ··· ⊕ Lr we see that 1 − e = e0 and e = e1 + ··· + er . Therefore the set {e1,...,er } is a preimage of the decomposition L = L1 ⊕···⊕Lr under the asserted map. There is a completely analogous right ideal version, sending {e1,...,er } to e1R ⊕···⊕er R, of the above proposition. Corollary 1.5.2 For any idempotent e ∈ R the following conditions are equivalent: i. The R-module Re is indecomposable; ii. e is primitive; iii. the right R-module eR is indecomposable; iv. the ring eRe contains no idempotent other than e. Proof The equivalence of i., ii., and iii. follows immediately from Proposition 1.5.1 and its right ideal version. ii. =⇒ iv. Suppose that e = f ∈ eRe is an idempotent. Then ef = fe= f , and e = (e − f)+ f is the sum of the orthogonal idempotents e − f and f .Thisisa contradiction to the primitivity of e. iv. =⇒ ii. Suppose that e = e1 + e2 is the sum of the orthogonal idempotents ∈ = 2 + = = 2 + = = e1,e2 R. Then ee1 e1 e2e1 e1 and e1e e1 e1e2 e1 and hence e1 ee1e ∈ eRe. Since e1 = e this again is a contradiction. Proposition 1.5.3 Let I = Re = eR be a two-sided ideal generated by a central idempotent e; we then have: i. I is a subring of R with unit element e; 18 1 Prerequisites in Module Theory ii. the map set of all sets {e1,...,er } set of all decompositions of pairwise orthogonal I = I ⊕···⊕I −→∼ 1 r idempotents ei ∈ Z(R) such that of I into nonzero two-sided e1 +···+er = e ideals Ii ⊆ R {e1,...,er } −→I = Re1 ⊕···⊕Rer is bijective; moreover, the multiplication in I = Re1 ⊕···⊕Rer can be carried out componentwise. Proof i. We have I = eRe. ii. Obviously, since ei is central the ideal Rei = eiR is two-sided. Taking Proposition 1.5.1 into account it therefore remains to show that, if in the decomposition I = Re1 ⊕···⊕Rer with e = e1 +···+er the Rei are two-sided ideals, then the ei necessarily are central. But for any a ∈ R we have ae1 +···+aer = ae = ea = a(e1 +···+er ) = (e1 +···+er )a = e1a +···+er a where aei and eia both lie in Rei . Hence aei = eia since the summands are uniquely determined in Rei . For the second part of the assertion let a = a1 +···+ar and b = b1 +···+br with ai,bi ∈ Ii be arbitrary elements. Then ai = aiei and bi = eibi and hence ab = (a1 +···+ar )(b1 +···+br ) = (a1e1 +···+ar er )(e1b1 +···+er br ) = aieiej bj = aieibi i,j i = a b . i i i Corollary 1.5.4 A central idempotent e ∈ R is primitive in Z(R) if and only if Re is not the direct sum of two nonzero two-sided ideals of R. Proposition 1.5.5 If R is left noetherian then we have: i. 1 ∈ R can be written as a sum of pairwise orthogonal primitive idempotents; ii. R contains only finitely many central idempotents; iii. any two different central idempotents which are primitive in Z(R) are orthogo- nal; 1.5 Idempotents and Blocks 19 iv. if {e1,...,en} is the set of all central idempotents which are primitive in Z(R) then e1 +···+en = 1. Proof i. By Lemma 1.1.6 we have a direct sum decomposition R = L1 ⊕ ··· ⊕ Lr of R into indecomposable left ideals Li . According to Proposition 1.5.1 this corresponds to a decomposition of the unit element 1 = f1 +···+fr (1.5.1) as a sum of pairwise orthogonal idempotents fi such that Li = Rfi . Moreover, Corollary 1.5.2 says that each fi is primitive. ii. We keep the decomposition (1.5.1). Let e ∈ Z(R) be any idempotent. Then e = ef 1 +···+ef r and fi = ef i + (1 − e)fi .Wehave 2 = 2 2 = − 2 = − 2 2 = − (efi) e fi ef i, (1 e)fi (1 e) fi (1 e)fi, − = − 2 = − = − 2 = ef i(1 e)fi e(1 e)fi 0, and (1 e)fief i (1 e)efi 0. But fi is primitive. Hence either ef i = 0or(1 − e)fi = 0, i.e. ef i = fi . This shows that there is a subset S ⊆{1,...,r} such that e = fi, i∈S and we see that there are only finitely many possibilities for e. iii. Let e1 = e2 be two primitive idempotents in the ring Z(R). We then have e1 = e1e2 + e1(1 − e2) 2 2 where the summands satisfy (e1e2) = e1e2,(e1(1 − e2)) = e1(1 − e2), and e1e2e1(1 − e2) = 0. Hence e1e2 = 0ore1 = e1e2. By symmetry we also obtain e2e1 = 0ore2 = e2e1. It follows that e1e2 = 0ore1 = e1e2 = e2. The latter case being excluded by assumption we conclude that e1e2 = 0. iv. First we consider any idempotent f ∈ Z(R).Iff is not primitive in Z(R) then we can write it as the sum of two orthogonal idempotents in Z(R).Anyofthe two summands either is primitive or again can be written as the sum of two new (exercise!) orthogonal idempotents in Z(R). Proceeding in this way we must arrive, because of ii., after finitely many steps at an expression of f as a sum of pairwise orthogonal idempotents which are primitive in Z(R). This, first of all, shows that the set {e1,...,en} is nonempty. By iii. the sum e := e1 + ··· + en is a central idempotent. Suppose that e = 1. Then 1 − e is a central idempotent. By the initial observation we find a subset S ⊆{1,...,n} such that 1 − e = ei. i∈S 20 1 Prerequisites in Module Theory For i ∈ S we then compute ei = ei ej = ei(1 − e) = ei − ei(e1 +···+en) = ei − ei = 0 j∈S which is a contradiction. Let e ∈ R be a central idempotent which is primitive in Z(R).AnR-module M is said to belong to the e-block of R if eM = M holds true. Exercise If M belongs to the e-block then we have: a. ex = x for any x ∈ M; b. every submodule and every factor module of M also belongs to the e-block. We now suppose that R is left noetherian. Let {e1,...,en} be the set of all cen- tral idempotents which are primitive in Z(R). By Proposition 1.5.5.iii/iv the ei are pairwise orthogonal and satisfy e1 +···+en = 1. Let M be any R-module. Since ei is central eiM ⊆ M is a submodule which obviously belongs to the ei -block. We also have M = 1 · M = (e1 + ··· + en)M ⊆ e1M + ··· + enM and hence M = e1M +···+enM.For eix = ej xj ∈ eiM ∩ ej M with x,xj ∈ M j=i j=i we compute eix = eieix = ei ej xj = eiej xj = 0. j=i j=i Hence the decomposition M = e1M ⊕···⊕enM is direct. It is called the block decomposition of M. Remark 1.5.6 i. For any R-module homomorphism f : M −→ N we have f(eiM)⊆ eiN. ii. If the submodule N ⊆ M lies in the ei -block then N ⊆ eiM. iii. If M is indecomposable then there is a unique 1 ≤ i ≤ n such that M lies in the ei -block. Proof i. Since f is R-linear we have f(eiM) = eif(M)⊆ eiN. ii. Apply i. to the inclusion eiN = N ⊆ M. iii. In this case the block decomposition can have only a single nonzero summand. 1.5 Idempotents and Blocks 21 As a consequence of Proposition 1.5.3 the map n =∼ R −→ Rei i=1 a −→ (ae1,...,aen) is an isomorphism of rings. If M lies in the ei -block then ax = a(eix) = (aei)x for any a ∈ R and x ∈ M. This means that M comes, by restriction of scalars along the projection map R −→ Rei , from an Rei -module (with the same underlying additive group). In this sense the ei -block coincides with the class of all Rei -modules. We next discuss, for arbitrary R, the relationship between idempotents in the ring R and in a factor ring R/I. Proposition 1.5.7 Let I ⊆ R be a two-sided ideal and suppose that either every element in I is nilpotent or R is I -adically complete; then for any idempotent ε ∈ R/I there is an idempotent e ∈ R such that e + I = ε. Proof Case 1: We assume that every element in I is nilpotent. Let ε = a + I and put b := 1 − a. Then ab = ba = a − a2 ∈ I , and hence (ab)m = 0forsomem ≥ 1. Since a and b commute the binomial theorem gives 2m 2m − 1 = (a + b)2m = a2m ibi = e + f i i=0 with m 2m 2m − 2m − e := a2m ibi ∈ aR and f := a2m j bj . i j i=0 j=m+1 For any 0 ≤ i ≤ m and m − − − − + − − − + − a2m ibia2m j bj = ambma3m i j bi j m = (ab)ma3m i j bi j m = 0 and hence ef = 0. It follows that e = e(e + f)= e2. Moreover, ab ∈ I implies m 2m e + I = a2m + a2m−i−1bi−1 ab + I = a2m + I = ε2m = ε. i i=1 ∼ −=→ n Case 2: We assume that R is I -adically complete. Since R ←lim− R/I it suffices n to construct a sequence of idempotents εn ∈ R/I ,forn ≥ 2, such that pr(εn+1) = 2n n+1 n n+1 n+1 εn and ε1 = ε. Because of I ⊆ I the ideal I /I in the ring R/I is 22 1 Prerequisites in Module Theory nilpotent. Hence we may, inductively, apply the first case to the idempotent εn in n n+1 the factor ring R/I of the ring R/I in order to obtain εn+1. We point out that, by Proposition 1.2.1.v and Lemma 1.3.2, the assumptions in Proposition 1.5.7 imply that I ⊆ Jac(R). Remark 1.5.8 i. Jac(R) does not contain any idempotent. ii. Let I ⊆ Jac(R) be a two-sided ideal and e ∈ R be an idempotent; we then have: a. e + I is an idempotent in R/I; b. if e + I ∈ R/I is primitive then e is primitive. Proof i. Suppose that e ∈ Jac(R) is an idempotent. Then 1 − e is an idempotent as well as a unit (cf. Proposition 1.2.1.iv). Multiplying the equation (1 − e)2 = 1 − e by the inverse of 1 − e shows that 1 − e = 1. This leads to the contradiction that e = 0. ii. The assertion a. is immediate from i. For b. let e = e1 + e2 with orthogonal idempotents e1,e2 ∈ R. Then e + I = (e1 + I)+ (e2 + I) with (e1 + I)(e2 + I)= e1e2 + I = I . Therefore, by a., e1 + I and e2 + I are orthogonal idempotents in R/I. This, again, is a contradiction. Lemma 1.5.9 i. Let e,f ∈ R be two idempotents such that e + Jac(R) = f + Jac(R); then Re =∼ Rf as R-modules. ii. Let I ⊆ Jac(R) be a two-sided ideal and e,f ∈ R be idempotents such that the idempotents e + I,f + I ∈ R/I are orthogonal; then there exists an idempotent f ∈ R such that f + I = f + I and e,f are orthogonal. Proof i. We consider the pair of R-modules L := Rf e ⊆ M := Re. Since f − e ∈ Jac(R) we have L + Jac(R)M = Rf e + Jac(R)e = R e + (f − e) e + Jac(R)e = Re + Jac(R)e = Re = M. The factor module M/L being generated by a single element e+L we may apply the Nakayama lemma 1.2.3 and obtain Rf e = Re. On the other hand the decomposition R = Rf ⊕ R(1 − f)leads to Re = Rf e ⊕ R(1 − f)e= Re ⊕ R(1 − f)e. It follows that R(1 − f)e={0} and, in particular, (1 − f)e= 0. We obtain that e = fe and, by symmetry, also f = ef. 1.5 Idempotents and Blocks 23 This easily implies that the R-module homomorphisms of right multiplication by f and e, respectively, Re Rf re → ref r fe←[ r f are inverse to each other. ii. We have fe∈ I ⊆ Jac(R), hence 1 − fe∈ R×, and we may introduce the idempotent −1 f0 := (1 − fe) f(1 − fe). −1 −1 Obviously f0 + I = f + I and f0e = (1 − fe) f(e− fe)= (1 − fe) (f e − fe)= 0. We put f := (1 − e)f0. Then f + I = f0 − ef 0 + I = (f + I)− (e + I)(f + I)= f + I. Moreover, f e = (1 − e)f0e = 0 and ef = e(1 − e)f0 = 0. Finally 2 = − − = − 2 − = − = f (1 e)f0(1 e)f0 (1 e) f0 f0ef 0 (1 e)f0 f . Proposition 1.5.10 Under the assumptions of Proposition 1.5.7 we have: i. If e ∈ R is a primitive idempotent then the idempotent e + I ∈ R/I is primitive as well; ii. if ε1,...,εr ∈ R/I are pairwise orthogonal idempotents then there are pairwise orthogonal idempotents e1,...,er ∈ R such that εi = ei + I for any 1 ≤ i ≤ r. Proof i. Let e + I = ε1 + ε2 with orthogonal idempotents ε1,ε2 ∈ R/I. By Propo- sition 1.5.7 we find idempotents ei ∈ R such that εi = ei + I ,fori = 1, 2. By Lemma 1.5.9.ii there is an idempotent e ∈ R such that e + I = e2 + I = ε2 and 2 2 e1,e are orthogonal. The latter implies that f := e1 + e is an idempotent as well. 2 ∼ 2 It satisfies f + I = ε1 + ε2 = e + I . Hence Rf = Re by Lemma 1.5.9.i. Applying ⊕ =∼ Proposition 1.5.1 we obtain that Re1 Re2 Re and we see that e is not primitive. This is a contradiction. ii. The proof is by induction with respect to r. We assume that the idempo- tents e1,...,er−1 have been constructed already. On the one hand we then have the idempotent e := e1 +···+er−1. On the other hand we find, by Proposition 1.5.7, 24 1 Prerequisites in Module Theory an idempotent f ∈ R such that f + I = εr . Since e + I = ε1 +···+εr−1 and εr are orthogonal there exists, by Lemma 1.5.9.ii, an idempotent er ∈ R such that er + I = f + I = εr and e,er are orthogonal. It remains to observe that er ei = er (eei) = (er e)ei = 0 and eier = eieer = 0 for any 1 ≤ i Proposition 1.5.11 Suppose that R is complete and that R/Jac(R) is left artinian; then R is local if and only if 1 is the only idempotent in R. Proof We first assume that R is local. Let e ∈ R be any idempotent. Since e/∈ Jac(R) by Remark 1.5.8.i we must have e ∈ R×. Multiplying the identity e2 = e by e−1 gives e = 1. Now let us assume, vice versa, that 1 is the only idempotent in R. As a consequence of Proposition 1.5.7, the factor ring R := R/Jac(R) also has no other idempotent than 1. Therefore, by Proposition 1.5.1,theR-module L := R is indecomposable. On the other hand, the ring R being left artinian the module L,by Corollary 1.2.2, is of finite length. Hence Proposition 1.4.4 implies that EndR(L) is a local ring. But the map ∼ op −→= R EndR(R) c −→[a → ac] op is an isomorphism of rings (exercise!). We obtain that R and R are local rings. Since Jac(R) = Jac(R/ Jac(R)) ={0} the ring R in fact is a skew field. Now Propo- sition 1.4.1 implies that R is local. Proposition 1.5.12 Suppose that R is an R0-algebra, which is finitely generated as an R0-module, over a noetherian complete commutative ring R0 such that R0/ Jac(R0) is artinian; then the map set of all central set of all central idem- −→ idempotents in R potents in R/Jac(R0)R e −→ e := e + Jac(R0)R is bijective; moreover, this bijection satisfies: Ð e,f are orthogonal if and only if e,f are orthogonal; Ð e is primitive in Z(R) if and only if e is primitive in Z(R/Jac(R0)R). Proof In Lemma 1.3.5.iii we have seen that Jac(R0)R ⊆ Jac(R). Hence Jac(R0)R, by Remark 1.5.8.i, does not contain any idempotent. Therefore e = 0 which says that the map in the assertion is well defined. To establish its injectivity let us assume that e1 = e2. Then ei − e1 e2 = 0 and hence ei − e1e2 ∈ Jac(R0)R. 1.5 Idempotents and Blocks 25 But since e1 and e2 commute we have − 2 = 2 − + 2 2 = − + = − (ei e1e2) ei 2eie1e2 e1e2 ei 2e1e2 e1e2 ei e1e2. It follows that ei − e1e2 = 0 which implies e1 = e1e2 = e2. For the surjectivity let ε ∈ R := R/Jac(R0)R be any central idempotent. In the proof of Proposition 1.3.6 we have seen that R is Jac(R0)R-adically complete. Hence we may apply Proposition 1.5.7 and obtain an idempotent e ∈ R such that e = ε. We, in fact, claim the stronger statement that any such e necessarily lies in the center Z(R) of R.Wehave R = Re + R(1 − e) = eRe + (1 − e)Re + eR(1 − e) + (1 − e)R(1 − e) and correspondingly R = εRε + (1 − ε)Rε + εR(1 − ε) + (1 − ε)R(1 − ε). But (1 − ε)Rε = (1 − ε)εR ={0} and εR(1 − ε) = Rε(1 − ε) ={0} since ε is central in R. It follows that (1 − e)Re and eR(1 − e) both are contained in Jac(R0)R. We see that 2 2 (1 − e)Re = (1 − e) Re ⊆ (1 − e)Jac(R0)Re = Jac(R0)(1 − e)Re and similarly eR(1 − e) ⊆ Jac(R0)eR(1 − e). This means that for the two finitely generated (as submodules of R) R0-modules M := (1 − e)Re and M := eR(1 − e) we have Jac(R0)M = M. The Nakayama lemma 1.2.3 therefore implies (1−e)Re = eR(1 − e) ={0} and consequently that R = eRe + (1 − e)R(1 − e). If we write an arbitrary element a ∈ R as a = ebe + (1 − e)c(1 − e) with b,c ∈ R then we obtain ea = e(ebe) = ebe = (ebe)e = ae. This shows that e ∈ Z(R). For the second half of the assertion we first note that with e,f also e,f are orthogonal for trivial reasons. Let us suppose, vice versa, that e,f are orthogonal. By Lemma 1.5.9.ii we find an idempotent f ∈ R such that f = f and e,f are orthogonal. According to what we have established above f necessarily is central. Hence the injectivity of our map forces f = f .Soe,f are orthogonal. Finally, if e = e1 + e2 with orthogonal central idempotents e1,e2 then obviously e = e1 + e2 with orthogonal idempotents e1, e2 ∈ Z(R). Vice versa, let e = ε1 + ε2 with orthogonal idempotents ε1,ε2 ∈ Z(R). By the surjectivity of our map we find idempotents ei ∈ Z(R) such that ei = εi . We have shown already that e1,e2 necessarily are orthogonal. Since e1 +e2 then is a central idempotent with e1 + e2 = e1 + e2 = ε1 + ε2 = e the injectivity of our map forces e1 + e2 = e. 26 1 Prerequisites in Module Theory Remark 1.5.13 Let e ∈ R be any idempotent, and let L ⊆ M be R-modules; then eM/eL =∼ e(M/L) as Z(R)-modules. Proof We have the obviously well-defined and surjective Z(R)-module homomor- phism eM/eL −→ e(M/L) ex + eL −→ e(x + L) = ex + L. If ex + L = L then ex ∈ L and hence ex = e(ex) ∈ eL. This shows that the map is injective as well. Keeping the assumptions of Proposition 1.5.12 we consider the block decompo- sition M = e1M ⊕···⊕enM of any R-module M. It follows that M/Jac(R0)M = e1M/Jac(R0)e1M ⊕···⊕enM/Jac(R0)enM = e1M/e1 Jac(R0)M ⊕···⊕enM/en Jac(R0)M = e1 M/Jac(R0)M ⊕···⊕en M/Jac(R0)M is the block decomposition of the R/Jac(R0)R-module M/Jac(R0)M.IfeiM = {0} then obviously ei(M/ Jac(R0)M) ={0}. Vice versa, let us suppose that ei(M/ Jac(R0)M) ={0}. Then eiM ⊆ Jac(R0)M and hence = 2 ⊆ eiM ei M Jac(R0)eiM. If M is finitely generated as an R-module then eiM is finitely generated as an R0- module and the Nakayama lemma 1.2.3 implies that eiM ={0}. We, in particular, obtain that a finitely generated R-module M belongs to the ei -block if and only if M/Jac(R0)M belongs to the ei -block. 1.6 Projective Modules We fix an R-module X. For any R-module M, resp. for any R-module homomor- phism g : L −→ M,wehavetheZ(R)-module HomR(X, M), resp. the Z(R)-module homomorphism HomR(X, g): HomR(X, L) −→ HomR(X, M) f −→ g ◦ f. 1.6 Projective Modules 27 h g Lemma 1.6.1 For any exact sequence 0 −→ L −→ M −→ N of R-modules the se- quence HomR(X,h) HomR(X,g) 0 −→ HomR(X, L) −−−−−−−→ HomR(X, M) −−−−−−−→ HomR(X, N) is exact as well. Proof Whenever a composite f h X −→ L −→ M is the zero map we must have f = 0 since h is injective. This shows the injectivity of HomR(X, h).Wehave HomR(X, g) ◦ HomR(X, h) = HomR(X, g ◦ h) = HomR(X, 0) = 0. Hence the image of HomR(X, h) is contained in the kernel of HomR(X, g). Let now f : X −→ M be an R-module homomorphism such that g ◦ f = 0. Then im(f ) ⊆ ker(g). Hence for any x ∈ X we find, by the exactness of the original sequence, a unique fL(x) ∈ L such that f(x)= h fL(x) . This fL : X −→ L is an R-module homomorphism such that h ◦ fL = f . Hence image of HomR(X, h) = kernel of HomR(X, g). Example Let R = Z,X = Z/nZ for some n ≥ 2, and g : Z −→ Z/nZ be the sur- jective projection map. Then HomZ(X, Z) ={0} but HomZ(X, Z/nZ) idX = 0. Hence the map HomZ(X, g) : HomZ(X, Z) −→ HomZ(X, Z/nZ) cannot be surjec- tive. Definition An R-module P is called projective if, for any surjective R-module ho- momorphism g : M −→ N,themap HomR(P, g): HomR(P, M) −→ HomR(P, N) is surjective. In slightly more explicit terms, an R-module P is projective if and only if any exact diagram of the form P f f g M N 0 can be completed, by an oblique arrow f , to a commutative diagram. 28 1 Prerequisites in Module Theory Lemma 1.6.2 For an R-module P the following conditions are equivalent: i. P is projective; ii. for any surjective R-module homomorphism h : M −→ P there exists an R-module homomorphism s : P −→ M such that h ◦ s = idP . Proof i. =⇒ ii. We obtain s by contemplating the diagram P s idP h M P 0. ii. =⇒ i. Let P f g M N 0 be any exact “test diagram”. In the direct sum M ⊕ P we have the submodule M := (x, y) ∈ M ⊕ P : g(x) = f (y) . The diagram h((x,y)):=y M P f ((x,y)):=x f g M N is commutative. We claim that the map h is surjective. Let y ∈ P be an arbitrary element. Since g is surjective we find an x ∈ M such that g(x) = f (y). Then (x, y) ∈ M with h((x, y)) = y. Hence, by assumption, there is an s : P −→ M such that h ◦ s = idP . We define f := f ◦ s and have g ◦ f = g ◦ f ◦ s = f ◦ h ◦ s = f ◦ idP = f . In the situation of Lemma 1.6.2.ii we see that P is isomorphic to a direct sum- mand of M via the R-module isomorphism =∼ ker(h) ⊕ P −→ M (x, y) −→ x + s(y) (exercise!). 1.6 Projective Modules 29 Definition An R-module F is called free if there exists an R-module isomorphism ∼ F = ⊕i∈I R for some index set I . Example If R = K is a field then, by the existence of bases for vector spaces, any K-module is free. On the other hand for R = Z the modules Z/nZ, for any n ≥ 2, are neither free nor projective. Lemma 1.6.3 Any free R-module F is projective. ∼ Proof If F = ⊕i∈I R then let ei ∈ F be the element which corresponds to the tuple (...,0, 1, 0,...) with 1 in the ith place and zeros elsewhere. The set {ei}i∈I is an “R-basis” of the module F . In particular, for any R-module M,themap =∼ HomR(F, M) −→ M i∈I −→ f f(ei) i g is bijective. For any surjective R-module homomorphism M −→ N the lower hori- zontal map in the commutative diagram HomR(F,g) HomR(F, M) HomR(F, N) =∼ =∼ (xi )i −→(g(xi ))i i∈I M i∈I N obviously is surjective. Hence the upper one is surjective, too. Proposition 1.6.4 An R-module P is projective if and only if it isomorphic to a direct summand of a free module. Proof First we suppose that P is projective. For a sufficiently large index set I we find a surjective R-module homomorphism h: F := R −→ P. i∈I By Lemma 1.6.2 there exists an R-module homomorphism s : P −→ F such that h ◦ s = idP , and ker(h) ⊕ P =∼ F. 30 1 Prerequisites in Module Theory Vice versa, let P be isomorphic to a direct summand of a free R-module F .Any module isomorphic to a projective module itself is projective (exercise!). Hence we may assume that F = P ⊕ P ⊆ for some submodule P ⊆ F . We then have the inclusion map i : P −→ F as well as the projection map pr : F −→ P . We consider any exact “test diagram” P f g M N 0. By Lemma 1.6.3 the extended diagram F pr ˜ f P f g M N 0 can be completed to a commutative diagram by an oblique arrow f˜. Then g ◦ (f˜ ◦ i) = (g ◦ f)˜ ◦ i = f ◦ pr ◦i = f which means that the diagram P f :=f˜◦i f g M N is commutative. Hence P is projective. Example Let e ∈ R be an idempotent. Then R = Re ⊕ R(1 − e). Hence Re is a projective R-module. Corollary 1.6.5 If P1,P2 are two R-modules then the direct sum P1 ⊕ P2 is pro- jective if and only if P1 and P2 are projective. 1.6 Projective Modules 31 Proof If ∼ (P1 ⊕ P2) ⊕ P = F for some free R-module F then visibly P1 and P2 both are isomorphic to direct summands of F as well and hence are projective. If on the other hand ⊕ =∼ ⊕ =∼ P1 P1 R and P2 P2 R i∈I1 i∈I2 then ⊕ ⊕ ⊕ =∼ (P1 P2) P1 P2 R. i∈I1∪I2 Lemma 1.6.6 (Schanuel) Let h1 g1 h2 g2 0 −→ L1 −−→ P1 −→ N −→ 0 and 0 −→ L2 −−→ P2 −→ N −→ 0 be two short exact sequences of R-modules with the same right-hand term N; if P1 ∼ and P2 are projective then L2 ⊕ P1 = L1 ⊕ P2. Proof The R-module M := (x1,x2) ∈ P1 ⊕ P2 : g1(x1) = g2(x2) sets in the two short exact sequences y −→(0,h2(y)) (x1,x2) −→x1 0 −→ L2 −−−−−−−−−→ M −−−−−−−−→ P1 −→ 0 and y −→(h1(y),0) (x1,x2) −→x2 0 −→ L1 −−−−−−−−−→ M −−−−−−−−→ P2 −→ 0. By applying Lemma 1.6.2 we obtain ∼ ∼ L2 ⊕ P1 = M = L1 ⊕ P2. Lemma 1.6.7 Let R −→ R be any ring homomorphism; if P is a projective R-module then R ⊗R P is a projective R -module. ⊕ =∼ Proof Using Proposition 1.6.4 we write P Q i∈I R and obtain ∼ R ⊗R P ⊕ R ⊗R Q = R ⊗R (P ⊕ Q) = R ⊗R R i∈I = R ⊗R R = R . i∈I i∈I 32 1 Prerequisites in Module Theory Definition i. An R-module homomorphism f : M −→ N is called essential if it is surjective but f(L)= N for any proper submodule L M. ii. A projective cover of an R-module M is an essential R-module homomorphism f : P −→ M where P is projective. Lemma 1.6.8 Let f : P → M and f : P → M be two projective covers; then =∼ there exists an R-module isomorphism g : P −→ P such that f = f ◦ g. Proof The “test diagram” P g f P M 0 f shows the existence of a homomorphism g such that f = f ◦ g. Since f is sur- jective we have f(g(P )) = M, and since f is essential we deduce that g(P ) = P . This shows that g is surjective. Then, by Lemma 1.6.2, there exists an R-module homomorphism s : P −→ P such that g ◦ s = idP .Wehave f s(P) = f g s(P) = f(P)= M. Since f is essential this implies s(P) = P . Hence s and g are isomorphisms. Remark 1.6.9 Let f : M −→ N be a surjective R-module homomorphism between finitely generated R-modules; if ker(f ) ⊆ Jac(R)M then f is essential. Proof Let L ⊆ M be a submodule such that f(L)= N. Then M = L + ker(f ) = L + Jac(R)M. Hence L = M by the Nakayama lemma 1.2.3. Proposition 1.6.10 Suppose that R is complete and that R/Jac(R) is left artinian; then any finitely generated R-module M has a projective cover; more precisely, there =∼ exists a projective cover f : P −→ M such that the induced map P/Jac(R)P −→ M/Jac(R)M is an isomorphism. 1.6 Projective Modules 33 Proof By Corollary 1.2.2 and Proposition 1.5.5.i we may write 1 + Jac(R) = ε1 + ···+εr as a sum of pairwise orthogonal primitive idempotents εi ∈ R := R/Jac(R). According to Proposition 1.5.1 and Corollary 1.5.2 we then have R = Rε1 ⊕···⊕Rεr where the R-modules Rεi are indecomposable. But R is semisimple by Proposi- tion 1.2.1.vi. Hence the indecomposable R-modules Rεi in fact are simple, and all simple R-modules occur, up to isomorphism, among the Rεi . On the other hand, M/Jac(R)M is a semisimple R-module by Proposition 1.1.4.iii and as such is a direct sum M/Jac(R)M = L1 ⊕···⊕Ls of simple submodules Lj . For any 1 ≤ j ≤ s we find an 1 ≤ i(j) ≤ r such that ∼ Lj = Rεi(j). By Proposition 1.5.7 there exist idempotents e1,...,er ∈ R such that ei + Jac(R) = εi for any 1 ≤ i ≤ r.UsingRemark1.5.13 we now consider the composed R-module isomorphism s s s ∼ f : Rei(j) Jac(R) Rei(j) = Rεi(j) j=1 j=1 j=1 s ∼ ∼ = Lj = M/Jac(R)M. j=1 It sits in the “test diagram” := s P j=1 Rei(j) pr f s s ( j=1 Rei(j))/ Jac(R)( j=1 Rei(j)) =∼ f M M/Jac(R)M 0. pr Each Rei is a projective R-module. Hence P is a projective R-module by Corol- lary 1.6.5. We therefore find an R-module homomorphism f : P −→ M which makes the above diagram commutative. By construction it induces the isomorphism f modulo Jac(R). It remains to show that f is essential. Since f ◦ pr is surjective we have f(P)+ Jac(R)M = M, and the Nakayama lemma 1.2.3 implies that f is surjective. Moreover, ker(f ) ⊆ Jac(R)P by construction. Hence f is essential by Remark 1.6.9. 34 1 Prerequisites in Module Theory 1.7 Grothendieck Groups We first recall that over any set S one has the free abelian group Z[S] with basis S given by Z[S]= mss : ms ∈ Z, all but finitely many ms are equal to zero s∈S and mss + nss = (ms + ns)s. s∈S s∈S s∈S Its universal property is the following: For any map of sets α : S −→ B from S into some abelian group B there is a unique homomorphism of abelian groups α˜ : Z[S]−→B such that α˜ |S = α. Let now A be any ring and let M be some class of A-modules. It is partitioned into isomorphism classes where the isomorphism class {M} of a module M in M consists of all modules in M which are isomorphic to M. We assume that the iso- morphism classes of modules in M form a set M/ =∼, and we introduce the free abelian group Z[M]:=Z[M/ =∼].InZ[M] we consider the subgroup Rel gener- ated by all elements of the form {M}−{L}−{N} whenever there is a short exact sequence of A-module homomorphisms 0 −→ L −→ M −→ N −→ 0 with L,M,N in M. The corresponding factor group G0(M) := Z[M]/ Rel is called the Grothendieck group of M. We define [M]∈G0(M) to be the image of {M}. The elements [M] are generators of the abelian group G0(M), and for any short exact sequence as above one has the identity [M]=[L]+[N] in G0(M). Remark For any A-modules L,N we have the short exact sequence 0 → L → L ⊕ N → N → 0 and therefore the identity [L ⊕ N]=[L]+[N] in G0(M) provided L,N, and L ⊕ N lie in the class M. For us two particular cases of this construction will be most important. In the first case we take MA to be the class of all A-modules of finite length, and we define R(A) := G0(MA). 1.7 Grothendieck Groups 35 The set Aˆ of isomorphism classes of simple A-modules is obviously a subset of ∼ ˆ MA/ =. Hence Z[A]⊆Z[MA] is a subgroup, and we have the composed map ˆ ⊆ pr Z[A] −→ Z[MA] −→ R(A). =∼ Proposition 1.7.1 The above map Z[Aˆ] −→ R(A) is an isomorphism. Proof We define an endomorphism π of Z[MA] as follows. By the universal prop- erty of Z[MA] we only need to define π({M}) ∈ Z[MA] for any A-module M of finite length. Let {0}=M0 M1 ··· Mn = M be a composition series of M. According to the Jordan–Hölder Proposition 1.1.2 the isomorphism classes {M1}, {M2/M1},...,{M/Mn−1} do not depend on the choice of the series. We put π {M} := {M1}+{M2/M1}+···+{M/Mn−1} , and we observe: Ð The modules M1,M2/M1,...,M/Mn−1 are simple. Hence we have im(π) ⊆ Z[Aˆ]. ÐIfM is simple then obviously π({M}) ={M}. It follows that the endomorphism ˆ π of Z[MA] is an idempotent with image equal to Z[A], and therefore ˆ Z[MA]=im(π) ⊕ ker(π) = Z[A]⊕ker(π). (1.7.1) Ð The exact sequences 0 −→ M1 −→ M −→ M/M1 −→ 0 0 −→ M2/M1 −→ M/M1 −→ M/M2 −→ 0 . . 0 −→ Mn−2/Mn−1 −→ M/Mn−2 −→ M/Mn−1 −→ 0 imply the identities [M]=[M1]+[M/M1], [M/M1]=[M2/M1]+[M/M2],..., [M/Mn−2]=[Mn−1/Mn−2]+[M/Mn−1] in R(A). It follows that [M]=[M1]+[M2/M1]+···+[M/Mn−1] and therefore {M}−π({M}) ∈ Rel. We obtain ˆ Z[MA]=im(π) + Rel = Z[A]+Rel . (1.7.2) 36 1 Prerequisites in Module Theory f g Ð Finally, let 0 −→ L −→ M −→ N −→ 0 be a short exact sequence with L,M,N in MA.Let{0}=L0 ... Lr = L and {0}=N0 ... Ns = N be composi- tion series. Then {0}=M0 M1 := f(L1) ··· Mr := f(L) −1 −1 Mr+1 := g (N1) ··· Mr+s−1 := g (Ns−1) Mr+s := M is a composition series of M with ∼ Li/Li−1 for 1 ≤ i ≤ r, Mi/Mi−1 = Ni−r /Ni−r−1 for r Hence r+s r s π {M} = {Mi/Mi−1}= {Li/Li−1}+ {Nj /Nj−1} i=1 i=1 j=1 = π {L} + π {N} which shows that π({M}−{L}−{N}) = 0. It follows that Rel ⊆ ker(π). (1.7.3) The formulae (1.7.1)Ð(1.7.3) together imply ˆ Z[MA]=Z[A]⊕Rel which is our assertion. In the second case we take MA to be the class of all finitely generated projective A-modules, and we define K0(A) := G0(MA). Remark As a consequence of Lemma 1.6.2.ii the subgroup Rel ⊆ Z[MA] in this case is generated by all elements of the form {P ⊕ Q}−{P }−{Q} where P and Q are arbitrary finitely generated projective A-modules. Let A˜ denote the set of isomorphism classes of finitely generated indecomposable ˜ projective A-modules. Then Z[A] is a subgroup of Z[MA]. Lemma 1.7.2 If A is left noetherian then the classes [P ] for {P }∈A˜ are generators of the abelian group K0(A). 1.7 Grothendieck Groups 37 Proof Let P be any finitely generated projective A-module. By Lemma 1.1.6 we have P = P1 ⊕···⊕Ps with finitely generated indecomposable A-modules Pi . The Proposition 1.6.4 im- ˜ plies that the Pi are projective. Hence {Pi}∈A. As remarked earlier we have [P ]=[P1]+···+[Ps] in K0(A). Remark Under the assumptions of the KrullÐRemakÐSchmidt Theorem 1.4.7 (e.g., if A is left artinian) an argument completely analogous to the proof of Proposi- tion 1.7.1 shows that the map ˜ =∼ Z[A] −→ K0(A) {P } −→[P ] is an isomorphism. But we will see later that, since the unique decomposition into indecomposable modules is needed only for projective modules, weaker assumptions suffice for this isomorphism. Remark 1.7.3 If A is semisimple we have: i. A˜ = Aˆ; ii. any A-module is projective; iii. K0(A) = R(A). Proof By Proposition 1.1.4.iii any A-module is semisimple. In particular, any indecomposable A-module is simple, which proves i. Furthermore, any simple A-module is isomorphic to a module Ae for some idempotent e ∈ A and hence is projective (compare the proof of Proposition 1.6.10). It follows that any A-module is a direct sum of projective A-modules and therefore is projective (extend the proof of Corollary 1.6.5 to arbitrarily many summands!). This establishes ii. For iii. it re- mains to note that by Corollary 1.2.2 the class of all finitely generated (projective) A-modules coincides with the class of all A-modules of finite length. Suppose that A is left artinian. Then, by Corollary 1.2.2, any finitely generated A-module is of finite length. Hence the homomorphism K0(A) −→ R(A) [P ] −→[P ] 38 1 Prerequisites in Module Theory is well defined. Using the above remark as well as Proposition 1.7.1 we may intro- duce the composed homomorphism ˜ =∼ =∼ ˆ cA: Z[A] −→ K0(A) −→ R(A) −→ Z[A]. It is called the Cartan homomorphism of the left artinian ring A.If cA {P } = n{M}{M} {M}∈Aˆ then the integer n{M} is the multiplicity with which the simple A-module M oc- curs, up to isomorphism, as a subquotient in any composition series of the finitely generated indecomposable projective module P . Let A −→ B be a ring homomorphism between arbitrary rings A and B.By Lemma 1.6.7 the map ∼ ∼ MA/ = −→ MB / = {P } −→{B ⊗A P } and hence the homomorphism Z[MA]−→Z[MB ] {P } −→{B ⊗A P } ∼ are well defined. Because of B ⊗A (P ⊕ Q) = (B ⊗A P)⊕ (B ⊗A Q) the latter map respects the subgroups Rel in both sides. We therefore obtain a well-defined homomorphism K0(A) −→ K0(B) [P ] −→[B ⊗A P ]. Exercise Let I ⊆ A be a two-sided ideal. For the projection homomorphism A −→ A/I and any A-module M we have A/I ⊗A M = M/IM. In particular, the homomorphism K0(A) −→ K0(A/I) [P ] −→[P/IP] is well defined. Proposition 1.7.4 Suppose that A is complete and that A := A/Jac(A) is left ar- tinian; we then have: 1.7 Grothendieck Groups 39 i. The maps ˜ ˆ =∼ A −→ A and K0(A) −→ K0(A) = R(A) {P } −→ P/Jac(A)P [P ] −→ P/Jac(A)P are bijective; ii. the inverses of the maps in i. are given by sending the isomorphism class {M} of an A-module M of finite length to the isomorphism class of a projective cover of M as an A-module; ˜ =∼ iii. Z[A] −→ K0(A). Proof First of all we note that A is semisimple by Proposition 1.2.1.iii. We already have seen that the map α: K0(A) −→ K0(A) = R(A) [P ] −→ P/Jac(A)P is well defined. If M is an arbitrary A-module of finite length then by Proposi- −→f tion 1.6.10 we find a projective cover P M M of M as an A-module such that ∼ −→= P M / Jac(A)P M M. (1.7.4) The proof of Proposition 1.6.10 shows that P M in fact is a finitely generated { } A-module. According to Lemma 1.6.8 the isomorphism class P M only depends on the isomorphism class {M}. We conclude that Z[M ]−→Z[M ] A A { } −→{ } M P M is a well-defined homomorphism. If N is a second A-module of finite length with −→g projective cover P N N as above then ⊕ ⊕ −f−−→g ⊕ P M P N M N is surjective with ⊕ ⊕ = ⊕ (P M P N )/ Jac(A)(P M P N ) P M / Jac(A)P M P N / Jac(A)P N =∼ M ⊕ N. ⊕ = ⊕ It follows that ker(f g) Jac(A)(P M P N ). This, by Remark 1.6.9, implies that f ⊕ g is essential. Using Corollary 1.6.5 we see that f ⊕ g is a projective cover of M ⊕ N as an A-module. Hence we have { ⊕ }={ } P M P N PM⊕N . 40 1 Prerequisites in Module Theory This means that the above map respects the subgroups Rel in both sides and conse- quently induces a homomorphism β: K0(A) −→ K0(A) [ ] −→[ ] M P M . But it also shows that M is a simple A-module if P M is an indecomposable A-module. The isomorphism (1.7.4) says that α ◦ β = id . K0(A) On the other hand, let P be any finitely generated projective A-module. As a con- sequence of Remark 1.6.9 the projection map P −→ M := P/Jac(A)P is essential { }={ } and hence a projective cover. We then deduce from Lemma 1.6.8 that P P M which means that ◦ = β α idK0(A) . It follows that α is an isomorphism with inverse β. We also see that if P = P1 ⊕ P2 is decomposable then M = P1/ Jac(A)P1 ⊕ P2/ Jac(A)P2 is decomposable as well. This establishes the assertions i. and ii. For iii. we consider the commutative diagram =∼ K0(A) R(A) =∼ ∼ = ˆ Z[A˜] Z[A] where the horizontal isomorphisms come from i. and the right vertical isomorphism was shown in Proposition 1.7.1. Hence the left vertical arrow is an isomorphism as well. Corollary 1.7.5 Suppose that A is complete and that A/Jac(A) is left artinian; then A = P1 ⊕···⊕Pr decomposes into a direct sum of finitely many finitely generated indecomposable projective A-modules Pj , and any finitely generated indecomposable projective A-module is isomorphic to one of the Pj . Proof The projection map A −→ A/Jac(A) is a projective cover. We now decom- pose the semisimple ring A/Jac(A) = M1 ⊕···⊕Mr 1.7 Grothendieck Groups 41 as a direct sum of finitely many simple modules Mj , and we choose projective covers Pj −→ Mj . Then P1 ⊕···⊕Pr is a projective cover of A/Jac(A) and con- sequently is isomorphic to A.IfP is an arbitrary finitely generated indecomposable projective A-module then P is a projective cover of the simple module P/Jac(A)P . ∼ The latter has to be isomorphic to some Mj . Hence P = Pj . Assuming that A is left artinian let us go back to the Cartan homomorphism ˆ ∼ ∼ ˆ cA: Z[A] = K0(A) −→ R(A) = Z[A]. ˜ By Corollary 1.7.5 the set A ={{P1},...,{Pt }} is finite. We put Mj := Pj / Jac(A)Pj . Then, by Proposition 1.7.4.i, {M1},...,{Mt } are exactly the isomorphism classes of simple A/Jac(A)-modules. But due to the definition of the Jacobson radical the simple A/Jac(A)-modules coincide with the simple A-modules, i.e. ˆ A = {M1},...,{Mt } . The Cartan homomorphism therefore is given by an integral matrix CA = (cij )1≤i,j≤t ∈ Mt×t (Z) defined by the equations cA {Pj } = c1j {M1}+···+ctj {Mt }. The matrix CA is called the Cartan matrix of A. Chapter 2 The Cartan–Brauer Triangle Let G be a finite group. Over any commutative ring R we have the group ring R[G]= agg : ag ∈ R g∈G with addition agg + bgg = (ag + bg)g g∈G g∈G g∈G and multiplication = agg bgg ahbh−1g g. g∈G g∈G g∈G h∈G We fix an algebraically closed field k of characteristic p>0. The representation theory of G over k is the module theory of the group ring k[G]. This is our primary object of study in the following. 2.1 The Setting The main technical tool of our investigation will be a (0,p)-ring R for k which is a complete local commutative integral domain R such that Ð the maximal ideal mR ⊆ R is principal, Ð R/mR = k, and Ð the field of fractions of R has characteristic zero. j ≥ { } Exercise The only ideals of R are mR for j 0 and 0 . P. Schneider, Modular Representation Theory of Finite Groups, 43 DOI 10.1007/978-1-4471-4832-6_2, © Springer-Verlag London 2013 44 2 The CartanÐBrauer Triangle We note that there must exist an integer e ≥ 1—the ramification index of R— = e such that Rp mR. There is, in fact, a canonical (0,p)-ring W(k)for k—its ring of Witt vectors—with the additional property that mW(k) = W(k)p.LetK/K0 be any finite extension of the field of fractions K0 of W(k). Then := ∈ : ∈ R a K NormK/K0 (a) W(k) is a (0,p)-ring for k with ramification index equal to [K : K0]. Proofs for all of this can be found in ¤3Ð6 of [9]. In the following we fix a (0,p)-ring R for k. We denote by K the field of fractions of R and by πR a choice of generator of mR,i.e.mR = RπR. The following three group rings are now at our disposal: K[G] ⊆ pr R[G] k[G] such that K[G]=K ⊗R R[G] and k[G]=R[G]/πRR[G]. As explained before Proposition 1.7.4 there are the corresponding homomorphisms between Grothendieck groups K0(K[G]) [P ]−→[K⊗RP ] κ ρ K0(R[G]) K0(k[G]). [P ]−→[P/πRP ] For the vertical arrow observe that, quite generally for any R[G]-module M,we have K[G]⊗R[G] M = K ⊗R R[G]⊗R[G] M = K ⊗R M. We put RK (G) := R K[G] and Rk(G) := R k[G] . Since K has characteristic zero the group ring K[G] is semisimple, and we have RK (G) = K0 K[G] by Remark 1.7.3.iii. On the other hand, as a finite-dimensional k-vector space the group ring k[G] of course is left and right artinian. In particular we have the Cartan 2.1 The Setting 45 homomorphism cG: K0 k[G] −→ Rk(G) [P ]−→[P ]. Hence, so far, there is the diagram of homomorphisms RK (G) Rk(G) κ cG ρ K0(R[G]) K0(k[G]). Clearly, R[G] is an R-algebra which is finitely generated as an R-module. Let us collect some of what we know in this situation. Ð (Proposition 1.3.6) R[G] is left and right noetherian, and any finitely generated R[G]-module is complete as well as R[G]πR-adically complete. Ð (Theorem 1.4.7) The KrullÐRemakÐSchmidt theorem holds for any finitely gen- erated R[G]-module. Ð (Proposition 1.5.5)1∈ R[G] can be written as a sum of pairwise orthogonal primitive idempotents; the set of all central idempotents in R[G] is finite; 1 is equal to the sum of all primitive idempotents in Z(R[G]);anyR[G]-module has a block decomposition. Ð (Proposition 1.5.7) For any idempotent ε ∈ k[G] there is an idempotent e ∈ R[G] such that ε = e + R[G]πR. Ð (Proposition 1.5.12) The projection map R[G]−→k[G] restricts to a bijection between the set of all central idempotents in R[G] and the set of all central idem- potents in k[G]; in particular, the block decomposition of an R[G]-module M re- duces modulo R[G]πR to the block decomposition of the k[G]-module M/πRM. Ð (Proposition 1.6.10) Any finitely generated R[G]-module M has a projective =∼ cover P −→ M such that P/Jac(R[G])P −→ M/Jac(R[G])M is an isomor- phism. We emphasize that R[G]πR ⊆ Jac(R[G]) by Lemma 1.3.5.iii. Moreover, the ideal Jac(k[G]) = Jac(R[G])/R[G]πR in the left artinian ring k[G] is nilpotent by Proposition 1.2.1.vi. We apply Proposition 1.7.4 to the rings R[G] and k[G] and we see that the maps {P }−→{P/πRP }−→{P/Jac(R[G])P } induce the commuta- tive diagram of bijections between finite sets R [G] k [G] R [G]=k [G] 46 2 The CartanÐBrauer Triangle as well as the commutative diagram of isomorphisms =∼ Z[R [G]] Z[k [G]] =∼ =∼ =∼ K0(R[G]) K0(k[G]). ρ For purposes of reference we state the last fact as a proposition. =∼ Proposition 2.1.1 The map ρ : K0(R[G]) −→ K0(k[G]) is an isomorphism; its in- verse is given by sending [M] to the class of a projective cover of M as an R[G]- module. We define the composed map − ρ 1 κ eG: K0 k[G] −−→ K0 R[G] −→ K0 K[G] = RK (G). Remark 2.1.2 Any finitely generated projective R-module is free. Proof Since R is an integral domain 1 is the only idempotent in R. Hence the free R-module R is indecomposable by Corollary 1.5.2. On the other hand, according to Proposition 1.7.4.i the map R˜ −→ kˆ {P }−→{P/πRP } is bijective. Obviously, k is up to isomorphism the only simple k-module. Hence R is up to isomorphism the only finitely generated indecomposable projective R-module. An arbitrary finitely generated projective R-module P , by Lemma 1.1.6,isafi- nite direct sum of indecomposable ones. It follows that P must be isomorphic to some Rn. 2.2 The Triangle We already have the two sides RK (G) Rk(G) eG cG K0(k[G]) of the triangle. To construct the third side we first introduce the following notion. 2.2 The Triangle 47 Definition Let V be a finite-dimensional K-vector space; a lattice L in V is an R-submodule L ⊆ V for which there exists a K-basis e1,...,ed of V such that L = Re1 +···+Red . Obviously, any lattice is free as an R-module. Furthermore, with L also aL,for any a ∈ K×, is a lattice in V . Lemma 2.2.1 i. Let L be an R-submodule of a K-vector space V ; if L is finitely generated then L is free. ii. Let L ⊆ V be an R-submodule of a finite-dimensional K-vector space V ; if L is finitely generated as an R-module and L generates V as a K-vector space then L is a lattice in V . iii. For any two lattices L and L in V there is an integer m ≥ 0 such that m ⊆ πR L L . Proof i. and ii. Let d ≥ 0 be the smallest integer such that the R-module L has d generators e1,...,ed .TheR-module homomorphism Rd −→ L (a1,...,ad ) −→ a1e1 +···+ad ed is surjective. Suppose that (a1,...,ad ) = 0 is an element in its kernel. Since at least one ai is nonzero the integer := ≥ : ∈ j max j 0 a1,...,ad mR = ∈ ∈ × is defined. Then ai πRbi with bi R, and bi0 R for at least one index 1 ≤ i0 ≤ d. Computing in the vector space V we have = +···+ = +···+ 0 a1e1 ad ed πR(b1e1 bd ed ) and hence b1e1 +···+bd ed = 0. − But the latter equation implies e =− b 1b e ∈ Re , which is a con- i0 i =i0 i0 i i i =i0 i tradiction to the minimality of d. It follows that the above map is an isomorphism. This proves i. and, in particular, that L = Re1 +···+Red . For ii. it therefore suffices to show that e1,...,ed , under the additional assumption that L generates V ,isaK-basis of V . This assumption immediately guarantees 48 2 The CartanÐBrauer Triangle that the e1,...,ed generate the K-vector space V . To show that they are K-linearly independent let c1e1 +···+cd ed = 0 with c1,...,cd ∈ K. ≥ := j ∈ ≤ ≤ We find a sufficiently large j 0 such that ai πRci R for any 1 i d. Then = · = +···+ = +···+ 0 πR 0 πR(c1e1 cd ed ) a1e1 ad ed . By what we have shown above we must have ai = 0 and hence ci = 0 for any 1 ≤ i ≤ d. iii. Let e1,...,ed and f1,...,fd be K-bases of V such that L = Re1 +···+Red and L = Rf1 +···+Rfd . We write ej = c1j f1 +···+cdj fd with cij ∈ K, and we choose an integer m ≥ 0 such that m ∈ ≤ ≤ πR cij R for any 1 i, j d. m ∈ +···+ = ≤ ≤ It follows that πR ej Rf1 Rfd L for any 1 j d and hence that m ⊆ πR L L . Suppose that V is a finitely generated K[G]-module. Then V is finite-dimension- al as a K-vector space. A lattice L in V is called G-invariant if we have gL ⊆ L for any g ∈ G. In particular, L is a finitely generated R[G]-submodule of V , and L/πRL is a k[G]-module of finite length. Lemma 2.2.2 Any finitely generated K[G]-module V contains a lattice which is G-invariant. Proof We choose a basis e1,...,ed of the K-vector space V . Then L := Re1 + ···+Red is a lattice in V . We define the R[G]-submodule L := gL g∈G of V . With L also L generates V as a K-vector space. Moreover, L is finitely generated by the set {gei : 1 ≤ i ≤ d,g ∈ G} as an R-module. Therefore, by Lemma 2.2.1.ii, L is a G-invariant lattice in V . Whereas the K[G]-module V always is projective by Remark 1.7.3 a G-invariant lattice L in V need not to be projective as an R[G]-module. We will encounter an example of this later on. 2.2 The Triangle 49 Theorem 2.2.3 Let L and L be two G-invariant lattices in the finitely generated K[G]-module V ; we then have [L/πRL]= L /πRL in Rk(G). Proof We begin by observing that, for any a ∈ K×,themap =∼ L/πRL −→ (aL)/πR(aL) x + πRL −→ ax + πR(aL) is an isomorphism of k[G]-modules, and hence [L/πRL]= (aL)/πR(aL) in Rk(G). m By applying Lemma 2.2.1.iii (and replacing L by πR L for some sufficiently large m ≥ 0) we therefore may assume that L ⊆ L . By applying Lemma 2.2.1.iii again to L and L (while interchanging their roles) we find an integer n ≥ 0 such that n ⊆ ⊆ πRL L L . We now proceed by induction with respect to n.Ifn = 1 we have the two exact sequences of k[G]-modules 0 −→ L/πRL −→ L /πRL −→ L /L −→ 0 and 0 −→ πRL /πRL −→ L/πRL −→ L/πRL −→ 0. It follows that L /πRL = L/πRL + L /L = L/πRL + πRL /πRL = L/πRL +[L/πRL]− L/πRL =[L/πRL] in Rk(G).Forn ≥ 2 we consider the R[G]-submodule := n−1 + M πR L L. It is a G-invariant lattice in V by Lemma 2.2.1.ii and satisfies n−1 ⊆ ⊆ ⊆ ⊆ πR L M L and πRM L M. Applying the case n = 1toL and M we obtain [M/πRM]=[L/πRL]. The induc- tion hypothesis for M and L gives [L /πRL ]=[M/πRM]. 50 2 The CartanÐBrauer Triangle The above lemma and theorem imply that Z[MK[G]]−→Rk(G) {V }−→[L/πRL], where L is any G-invariant lattice in V , is a well-defined homomorphism. If V1 and V2 are two finitely generated K[G]-modules and L1 ⊆ V1 and L2 ⊆ V2 are G-invariant lattices then L1 ⊕ L2 is a G-invariant lattice in V1 ⊕ V2 and (L1 ⊕ L2)/πR(L1 ⊕ L2) =[L1/πRL1 ⊕ L2/πRL2] =[L1/πRL1]+[L2/πRL2]. It follows that the subgroup Rel ⊆ Z[MK[G]] lies in the kernel of the above map so that we obtain the homomorphism dG: RK (G) −→ Rk(G) [V ]−→[L/πRL]. It is called the decomposition homomorphism of G.TheCartanÐBrauer triangle is the diagram dG RK (G) Rk(G) eG cG K0(k[G]). Lemma 2.2.4 The CartanÐBrauer triangle is commutative. Proof Let P be a finitely generated projective R[G]-module. We have to show that dG κ [P ] = cG ρ [P ] holds true. By definition the right-hand side is equal to [P/πRP ]∈Rk(G). More- over, κ([P ]) =[K ⊗R P ]∈RK (G). According to Proposition 1.6.4 the R(G)- module P is a direct summand of a free R[G]-module. But R[G] and hence any free R[G]-module also is free as an R-module. We see that P as an R-module is finitely generated projective and hence free by Remark 2.1.2. We conclude that P =∼ Rd is a ∼ d d d G-invariant lattice in the K[G]-module K ⊗R P = K ⊗R R = (K ⊗R R) = K , and we obtain dG(κ([P ])) = dG([K ⊗R P ]) =[P/πRP ]. Let us consider two “extreme” situations where the maps in the CartanÐBrauer triangle can be determined completely. First we look at the case where p does not divide the order |G| of the group G. Then k[G] is semisimple. Hence we have k[G]=k[G] and K0(k[G]) = Rk(G) by Remark 1.7.3.ThemapcG, in particular, is the identity. 2.2 The Triangle 51 Proposition 2.2.5 If p |G| then any R[G]-module M whichisprojectiveasan R-module also is projective as an R[G]-module. Proof We consider any “test diagram” of R[G]-modules M α β L N 0. Viewing this as a “test diagram” of R-modules our second assumption ensures the existence of an R-module homomorphism α0 : M −→ L such that β ◦α0 = α. Since |G| is a unit in R by our first assumption, we may define a new R-module homo- morphism α˜ : M −→ L by −1 −1 α(x)˜ := |G| gα0 g x for any x ∈ M. g∈G One easily checks that α˜ satisfies α(hx)˜ = hα(x)˜ for any h ∈ G and any x ∈ M. This means that α˜ is,infact,anR[G]-module homomorphism. Moreover, we com- pute −1 −1 −1 −1 β α(x)˜ =|G| gβ α0 g x =|G| gα g x g∈G g∈G =|G|−1 gg−1α(x) = α(x). g∈G Corollary 2.2.6 If p |G| then all three maps in the CartanÐBrauer triangle are isomorphisms; more precisely, we have the triangle of bijections K [G] k [G] {P }−→{K⊗RP } {P }−→{P/πRP } R [G]. Proof We already have remarked that cG is the identity. Hence it suffices to show that the map κ : K0(R[G]) −→ RK (G) is surjective. Let V be any finitely generated K[G]-module. By Lemma 2.2.2 we find a G-invariant lattice L in V . It satisfies V = K ⊗R L by definition. Proposition 2.2.5 implies that L is a finitely generated 52 2 The CartanÐBrauer Triangle projective R[G]-module. We conclude that [L]∈K0(R[G]) with κ([L]) =[V ]. This argument in fact shows that the map ∼ ∼ MR[G]/ = −→ MK[G]/ = {P }−→{K ⊗R P } is surjective. Let P and Q be two finitely generated projective R[G]-modules such ∼ that K ⊗R P = K ⊗R Q as K[G]-modules. The commutativity of the CartanÐBrauer triangle then implies that [P/πRP ]=dG [K ⊗R P ] = dG [K ⊗R Q] =[Q/πRQ]. Let P = P1 ⊕···⊕Ps and Q = Q1 ⊕···⊕Qt be decompositions into indecom- posable submodules. Then s t P/πRP = Pi/πRPi and Q/πRQ = Qj /πRQj i=1 j=1 are decompositions into simple submodules. Using Proposition 1.7.1 the identity s t [Pi/πRPi]=[P/πRP ]=[Q/πRQ]= [Qj /πRQj ] i=1 j=1 implies that s = t and that there is a permutation σ of {1,...,s} such that ∼ Qj /πRQj = Pσ(j)/πRPσ(j) for any 1 ≤ j ≤ s as k[G]-modules. Applying Proposition 1.7.4.i we obtain ∼ Qj = Pσ(j) for any 1 ≤ j ≤ s as R[G]-modules. It follows that P =∼ Q as R[G]-modules. Hence the above map between sets of isomorphism classes is bijective. Obviously, if K ⊗R P is in- decomposable (i.e. simple) then P was indecomposable. Vice versa, if P is in- decomposable then the above reasoning says that P/πRP is simple. Because of [P/πRP ]=dG([K ⊗R P ]) it follows that K ⊗R P must be indecomposable. The second case is where G is a p-group. For a general group G we have the ring homomorphism k[G]−→k agg −→ ag g∈G g∈G 2.2 The Triangle 53 which is called the augmentation of k[G]. It makes k into a simple k[G]-module which is called the trivial k[G]-module. Its kernel is the augmentation ideal Ik[G]:= agg ∈ k[G]: ag = 0 . g∈G g∈G Proposition 2.2.7 If G is a p-group then we have Jac(k[G]) = Ik[G]; in particular, k[G] is a local ring and the trivial k[G]-module is, up to isomorphism, the only simple k[G]-module. Proof We will prove by induction with respect to the order |G|=pn of G that the trivial module, up to isomorphism, is the only simple k[G]-module. There is nothing to prove if n = 0. We therefore suppose that n ≥ 1. Note that we have n n n gp = 1 and hence (g − 1)p = gp − 1 = 1 − 1 = 0 for any g ∈ G. The center of a nontrivial p-group is nontrivial. Let g0 = 1bea central element in G. We now consider any simple k[G]-module M and we denote by π : k[G]−→Endk(M) the corresponding ring homomorphism. Then pn pn pn π(g0) − idM = π(g0 − 1) = π (g0 − 1) = π(0) = 0. Since g0 is central (π(g0) − idM )(M) is a k[G]-submodule of M.ButM is simple. Hence (π(g0) − idM )(M) ={0} or = M. The latter would inductively imply that pn (π(g0) − idM ) (M) = M = {0} which is contradiction. We obtain π(g0) = idM which means that the cyclic subgroup g0 is contained in the kernel of the group homomorphism π : G −→ Autk(M). Hence we have a commutative diagram of group homomorphisms π G Autk(M) pr π G/g0. We conclude that M already is a simple k[G/g0]-module and therefore is the trivial module by the induction hypothesis. The identity Jac(k[G]) = Ik[G] now follows from the definition of the Jacobson radical, and Proposition 1.4.1 implies that k[G] is a local ring. Suppose that G is a p-group. Then Propositions 2.2.7 and 1.7.1 together imply that the map =∼ Z −→ Rk(G) m −→ m[k] 54 2 The CartanÐBrauer Triangle is an isomorphism. To compute the inverse map let M be a k[G]-module of finite length, and let {0}=M M ··· M = M be a composition series. We must ∼ 0 1 t have Mi/Mi−1 = k for any 1 ≤ i ≤ t. It follows that t t [M]= [Mi/Mi−1]=t ·[k] and dimk M = dimk Mi/Mi−1 = t. i=1 i=1 Hence the inverse map is given by [M]−→dimk M. Furthermore, from Proposition 1.7.4 we obtain that =∼ Z −→ K0 R[G] m −→ m R[G] is an isomorphism. Because of dimk k[G]=|G| the Cartan homomorphism, under these identifications, becomes the map cG: Z −→ Z m −→ m ·|G|. For any finitely generated K[G]-module V and any G-invariant lattice L in V we have dimK V = dimk L/πRL. Hence the decomposition homomorphism becomes dG: RK (G) −→ Z [V ]−→dimK V. Altogether the CartanÐBrauer triangle of a p-group G is of the form [V ]−→dimK V RK (G) Z 1−→[K[G]] ·|G| Z. We also see that the trivial K[G]-module K has the G-invariant lattice R which cannot be projective as an R[G]-module if G = {1}. Before we can establish the finer properties of the CartanÐBrauer triangle we need to develop the theory of induction. 2.3 The Ring Structure of RF (G), and Induction In this section we let F be an arbitrary field, and we consider the group ring F [G] and its Grothendieck group RF (G) := R(F[G]). 2.3 The Ring Structure of RF (G), and Induction 55 Let V and W be two (finitely generated) F [G]-modules. The group G acts on the tensor product V ⊗F W by g(v ⊗ w) := gv ⊗ gw for v ∈ V and w ∈ W. In this way V ⊗F W becomes a (finitely generated) F [G]-module, and we obtain the multiplication map Z[MF [G]]×Z[MF [G]]−→Z[MF [G]] {V }, {W} −→{V ⊗F W}. Since the tensor product, up to isomorphism, is associative and commutative this multiplication makes Z[MF [G]] into a commutative ring. Its unit element is the isomorphism class {F } of the trivial F [G]-module. Remark 2.3.1 The subgroup Rel is an ideal in the ring Z[MF [G]]. Proof Let V be a (finitely generated) F [G]-module and let α β 0 −→ L −→ M −→ N −→ 0 be a short exact sequence of F [G]-modules. We claim that the sequence idV ⊗α idV ⊗β 0 −→ V ⊗F L −−−−→ V ⊗F M −−−−→ V ⊗F N −→ 0 is exact as well. This shows that the subgroup Rel is preserved under multiplication by {V }. The exactness in question is purely a problem about F -vector spaces. But as ∼ ∼ vector spaces we have M = L ⊕ N and hence V ⊗F M = (V ⊗F L) ⊕ (V ⊗F N). It follows that RF (G) naturally is a commutative ring with unit element [F ] such that [V ]·[W]=[V ⊗F W]. Let H ⊆ G be a subgroup. Then F [H]⊆F [G] is a subring (with the same unit element). Any F [G]-module V , by restriction of scalars, can be viewed as an F [H ]- module. If V is finitely generated as an F [G]-module then V is a finite-dimensional F -vector space and, in particular, is finitely generated as an F [H ]-module. Hence we have the ring homomorphism G : −→ resH RF (G) RF (H ) [V ]−→[V ]. On the other hand, for any F [H]-module W we have, by base extension, the F [G]- module F [G]⊗F [H ] W . Obviously, the latter is finitely generated over F [G] if the 56 2 The CartanÐBrauer Triangle former was finitely generated over F [H].Thefirst Frobenius reciprocity says that =∼ HomF [G] F [G]⊗F [H ] W,V −→ HomF [H ](W, V ) α −→ w −→ α(1 ⊗ w) is an F -linear isomorphism for any F [H]-module W and any F [G]-module V . α β Remark 2.3.2 For any short exact sequence 0 −→ L −→ M −→ N −→ 0ofF [H ]- modules the sequence of F [G]-modules idF [G] ⊗α idF [G] ⊗β 0 → F [G]⊗F [H ] L −−−−−−→ F [G]⊗F [H ] M −−−−−−→ F [G]⊗F [H ] N → 0 is exact as well. Proof Let g1,...,gr ∈ G be a set of representatives for the left cosets of H in G. Then g1,...,gr also is a basis of the free right F [H ]-module F [G]. It follows that, for any F [H ]-module W ,themap ∼ r = W −→ F [G]⊗F [H ] W (w1,...,wr ) −→ g1 ⊗ w1 +···+gr ⊗ wr is an F -linear isomorphism. We see that, as a sequence of F -vector spaces, the sequence in question is just the r-fold direct sum of the original exact sequence with itself. Remark 2.3.3 For any F [H]-module W ,iftheF [G]-module F [G]⊗F [H ] W is simple then W is a simple F [H]-module. Proof Let W ⊆ W be any F [H]-submodule. Then F [G]⊗F [H ] W is an F [G]- submodule of F [G]⊗F [H ] W by Remark 2.3.2. Since the latter is simple we must have F [G]⊗F [H ] W ={0} or = F [G]⊗F [H ] W . Comparing dimensions using the argument in the proof of Remark 2.3.2 we obtain [G : H ]·dimF W = dimF F [G]⊗F [H ] W = 0or = dimF F [G]⊗F [H ] W =[G : H ]·dimF W. We see that dimF W = 0or= dimF W and therefore that W ={0} or = W .This proves that W is a simple F [H]-module. It follows that the map Z[MF [H ]]−→Z[MF [G]] {W}−→ F [G]⊗F [H ] W 2.3 The Ring Structure of RF (G), and Induction 57 preserves the subgroups Rel in both sides and therefore induces an additive homo- morphism indG : R (H ) −→ R (G) H F F [W]−→ F [G]⊗F [H ] W (which is not multiplicative!). Proposition 2.3.4 We have G · = G · G ∈ ∈ indH (y) x indH y resH (x) for any x RF (G) and y RF (H ). Proof It suffices to show that, for any F [G]-module V and any F [H ]-module W , we have an isomorphism of F [G]-modules ∼ F [G]⊗F [H ] W ⊗F V = F [G]⊗F [H ] (W ⊗F V). One checks (exercise!) that such an isomorphism is given by (g ⊗ w) ⊗ v −→ g ⊗ w ⊗ g−1v . G : −→ Corollary 2.3.5 The image of indH RF (H ) RF (G) is an ideal in RF (G). We also mention the obvious transitivity relations H ◦ G = G G ◦ H = G resH resH resH and indH indH indH for any chain of subgroups H ⊆ H ⊆ G. An alternative way to look at induction is the following. Let W be any F [H ]- module. Then G := : −→ : = −1 ∈ ∈ IndH (W) φ G W φ(gh) h φ(g) for any g G, h H equipped with the left translation action of G given by gφ g := φ g−1g is an F [G]-module called the module induced from W . But, in fact, the map ∼ = G F [G]⊗ [ ] W −→ Ind (W) FH H agg ⊗ w −→ φ g := ag hhw g∈G h∈H is an isomorphism of F [G]-modules. This leads to the second Frobenius reciprocity isomorphism ∼ G −→= HomF [G] V,IndH (W) HomF [H ](V, W) α −→ v −→ α(v)(1) . 58 2 The CartanÐBrauer Triangle We also need to recall the character theory of G in the semisimple case. For this we assume for the rest of this section that the order of G is prime to the characteristic of the field F . Any finitely generated F [G]-module V is a finite-dimensional F - vector space. Hence we may introduce the function χV : G −→ F g g −→ tr(g; V)= trace of V −→ V which is called the character of V . It depends only on the isomorphism class of V . Characters are class functions on G, i.e. they are constant on each conjugacy class of G. For any two finitely generated F [G]-modules V1 and V2 we have = + = · χV1⊕V2 χV1 χV2 and χV1⊗F V2 χV1 χV2 . Let Cl(G, F ) denote the F -vector space of all class functions G −→ F . By point- wise multiplication of functions it is a commutative F -algebra. The above identities imply that the map Tr : RF (G) −→ Cl(G, F ) [V ]−→χV is a ring homomorphism. Definition The field F is called a splitting field for G if, for any simple F [G]- module V ,wehaveEndF [G](V ) = F . If F is algebraically closed then it is a splitting field for G. Theorem 2.3.6 i. If the field F has characteristic zero then the characters {χV :{V }∈F [G]} are F -linearly independent. ii. If F is a splitting field for G then the characters {χV :{V }∈F [G]} form a basis of the F -vector space Cl(G, F ). iii. If F has characteristic zero then two finitely generated F [G]-modules V1 and = V2 are isomorphic if and only if χV1 χV2 holds true. Corollary 2.3.7 i. If F has characteristic zero then the map Tr is injective. ii. If F is a splitting field for G then the map Tr induces an isomorphism of F -algebras =∼ F ⊗Z RF (G) −→ Cl(G, F ). 2.4 The Burnside Ring 59 iii. If F has characteristic zero then the map ∼ MF [G]/ = −→ Cl(G, F ) {V }−→χV is injective. Proof For i. and ii. use Proposition 1.7.1. 2.4 The Burnside Ring A G-set X is a set equipped with a G-action G × X −→ X (g, x) −→ gx such that 1x = x and g(hx) = (gh)x for any g,h ∈ G and any x ∈ X. Let X and Y be two G-sets. Their disjoint union X ∪ Y is a G-set in an obvious way. But also their cartesian product X × Y is a G-set with respect to g(x,y) := (gx, gy) for (x, y) ∈ X × Y. We will call X and Y isomorphic if there is a bijective map α : X −→ Y such that α(gx) = gα(x) for any g ∈ G and x ∈ X. Let SG denote the set of all isomorphism classes {X} of finite G-sets X.Inthe free abelian group Z[SG] we consider the subgroup Rel generated by all elements of the form {X ∪ Y }−{X}−{Y } for any two finite G-sets X and Y. We define the factor group B(G) := Z[SG]/ Rel, and we let [X]∈B(G) denote the image of the isomorphism class {X}. In fact, the map Z[SG]×Z[SG]−→Z[SG] {X}, {Y } −→{X × Y } makes Z[SG] into a commutative ring in which the unit element is the isomorphism class of the G-set with one point. Because of (X1 ∪ X2) × Y = (X1 × Y)∪ (X2 × Y) 60 2 The CartanÐBrauer Triangle the subgroup Rel is an ideal in Z[SG]. We see that B(G) is a commutative ring. It is called the Burnside ring of G. Two elements x,y in a G-set X are called equivalent if there is a g ∈ G such that y = gx. This defines an equivalence relation on X. The equivalence classes are called G-orbits. They are of the form Gx ={gx : g ∈ G} for some x ∈ X. A nonempty G-set which consists of a single G-orbit is called simple (or transi- tive or a principal homogeneous space). The decomposition of an arbitrary G-set X into its G-orbits is the unique decomposition of X into simple G-sets. In particular, the only G-subsets of a simple G-set Y are Y and ∅.WeletSG denote the set of isomorphism classes of simple G-sets. =∼ Lemma 2.4.1 Z[SG] −→ B(G). Proof If X = Y1 ∪···∪Yn is the decomposition of X into its G-orbits then we put π {X} := {Y1}+···+{Yn}. This defines an endomorphism π of Z[SG] which is idempotent with im(π) = Z[SG]. It is rather clear that Rel ⊆ ker(π). Moreover, using the identities [Y1]+[Y2]=[Y1 ∪ Y2], [Y1 ∪ Y2]+[Y3]=[Y1 ∪ Y2 ∪ Y3],..., [Y1 ∪···∪Yn−1]+[Yn]=[X] we see that [X]=[Y1]+···+[Yn] and hence that {X}−π({X}) ∈ Rel. As in the proof of Proposition 1.7.1 these three facts together imply Z[SG]=Z[SG]⊕Rel . For any subgroup H ⊆ G the coset space G/H is a simple G-set with respect to G × G/H −→ G/H g,g H −→ gg H. Simple G-sets of this form are called standard G-sets. Remark 2.4.2 Each simple G-set X is isomorphic to some standard G-set G/H . Proof We fix a point x ∈ X.LetGx := {g ∈ G : gx = x} be the stabilizer of x in G. Then G/Gx −→ X gGx −→ gx is an isomorphism. 2.4 The Burnside Ring 61 It follows that the set SG is finite. Lemma 2.4.3 Two standard G-sets G/H1 and G/H2 are isomorphic if and only if ∈ −1 = there is a g0 G such that g0 H1g0 H2. −1 = Proof If g0 H1g0 H2 then G/H1 −→ G/H2 gH1 −→ gg0H2 is an isomorphism of G-sets. Vice versa, let α: G/H1 −→ G/H2 be an isomorphism of G-sets. We have α(1H1) = g0H2 for some g0 ∈ G and then g0H2 = α(1H1) = α(h1H1) = h1α(1H1) = h1g0H2 ∈ −1 ⊆ for any h1 H1. This implies g0 H1g0 H2. On the other hand −1 = −1 = −1 = −1 = −1 g0 H1 α (1H2) α (h2H2) h2α (1H2) h2g0 H1 ∈ −1 ⊆ for any h2 H2 which implies g0H2g0 H1. Exercise 2.4.4 Let G/H1 and G/H2 be two standard G-sets; we then have −1 [G/H1]·[G/H2]= G/H1 ∩ gH2g in B(G) g∈H1\G/H2 where H1\G/H2 denotes the space of double cosets H1gH2 in G. Let F again be an arbitrary field. For any finite set X we have the finite- dimensional F -vector space F [X]:= axx : ax ∈ F x∈X “with basis X”. Suppose that X is a finite G-set. Then the group G acts on F [X] by := = g axx axgx ag−1xx. x∈X x∈X x∈X In this way F [X] becomes a finitely generated F [G]-module (called a permutation module). If α : X −→ Y is an isomorphism of finite G-sets then =∼ α˜ : F [X] −→ F [Y ] −→ = axx axα(x) aα−1(y)y x∈X x∈X y∈Y 62 2 The CartanÐBrauer Triangle is an isomorphism of F [G]-modules. It follows that the map ∼ SG −→ MF [G]/ = {X}−→ F [X] is well defined. We obviously have F [X1 ∪ X2]=F [X1]⊕F [X2] for any two finite G-sets X1 and X2. Hence the above map respects the subgroups Rel in both sides and induces a group homomorphism b: B(G) −→ RF (G) [X]−→ F [X] . Remark There is a third interesting Grothendieck group for the ring F [G] which is the factor group AF (G) := Z[MF [G]]/ Rel⊕ with respect to the subgroup Rel⊕ generated by all elements of the form {M ⊕ N}−{M}−{N} where M and N are arbitrary finitely generated F [G]-modules. We note that Rel⊕ ⊆ Rel. The above map b is the composite of the maps pr B(G) −→ AF (G) −→ RF (G) [X]−→F [X] −→ F [X] . Remark 2.4.5 For any two finite G-sets X1 and X2 we have ∼ F [X1 × X2] = F [X1]⊗F F [X2] as F [G]-modules. Proof The vectors (x1,x2), resp. x1 ⊗ x2,forx1 ∈ X1 and x2 ∈ X2,formanF -basis of the left-, resp. right-, hand side. Hence there is a unique F -linear isomorphism mapping (x1,x2) to x1 ⊗ x2. Because of g(x1,x2) = (gx1,gx2) −→ gx1 ⊗ gx2 = g(x1 ⊗ x2), for any g ∈ G, this map is an F [G]-module isomorphism. It follows that the map b: B(G) −→ RF (G) 2.4 The Burnside Ring 63 is a ring homomorphism. Note that the unit element [G/G] in B(G) is mapped to the class [F ] of the trivial module F which is the unit element in RF (G). Lemma 2.4.6 i. For any standard G-set G/H we have [ ] = G b G/H indH (1) where 1 on the right-hand side denotes the unit element of RF (H ). ii. For any finite G-set X we have tr g; F [X] = {x ∈ X : gx = x} ∈ F for any g ∈ G. Proof i. Let F be the trivial F [H]-module. It suffices to establish an isomorphism ∼ F [G/H ] = F [G]⊗F [H ] F. For this purpose we consider the F -bilinear map β: F [G]×F −→ F [G/H ] agg,a −→ aaggH. g∈G g∈G Because of β(gh,a) = ghH = gH = β(g,a) = β(g,ha) for any h ∈ H the map β is F [H]-balanced and therefore induces a well-defined F -linear map ˜ β: F [G]⊗F [H ] F −→ F [G/H ] agg ⊗ a −→ aaggH. g∈G g∈G ∼ [G:H ] As discussed in the proof of Remark 2.3.2 we have F [G]⊗F [H ] F = F as F - vector spaces. Hence β˜ is a map between F -vector spaces of the same dimension. It obviously is surjective and therefore bijective. Finally the identity ˜ ˜ β g agg ⊗ a = β agg g ⊗ a = aagg gH g∈G g∈G g∈G ˜ = g aaggH = g β agg ⊗ a g∈G g∈G for any g ∈ G shows that β˜ is an isomorphism of F [G]-modules. 64 2 The CartanÐBrauer Triangle g· ii. The matrix (ax,y)x,y of the F -linear map F [X] −→ F [X] with respect to the basis X is given by the equations gy = ax,yx. x∈X But gy ∈ X and hence 1ifx = gy ax,y = 0 otherwise. It follows that tr g; F [X] = ax,x = 1 = {x ∈ X : gx = x} ∈ F. x∈X gx=x Remark 1. The map b rarely is injective. Let G = S3 be the symmetric group on three letters. It has four conjugacy classes of subgroups. Using Lemma 2.4.1, Remark 2.4.2, ∼ 4 and Lemma 2.4.3 it therefore follows that B(S3) = Z . On the other hand, S3 has only three conjugacy classes of elements. Hence Proposition 1.7.1 and The- ∼ 3 orem 2.3.6.ii imply that RC(S3) = Z . 2. In general the map b is not surjective either. But there are many structural results about its cokernel. For example, the Artin induction theorem implies that |G|·RQ(G) ⊆ im(b). We therefore introduce the subring PF (G) := im(b) ⊆ RF (G). Let H be a family of subgroups of G with the property that if H ⊆ H is a subgroup of some H ∈ H then also H ∈ H. We introduce the subgroup B(G,H) ⊆ B(G) generated by all [G/H ] for H ∈ H as well as its image PF (G, H) ⊆ PF (G) under the map b. Lemma 2.4.7 B(G,H) is an ideal in B(G), and hence PF (G, H) is an ideal in PF (G). Proof We have to show that, for any H1 ∈ H and any subgroup H2 ⊆ G, the element [G/H1]·[G/H2] lies in B(G,H). This is immediately clear from Exercise 2.4.4. But a less detailed argument suffices. Obviously [G/H1]·[G/H2] is the sum of the × = −1 classes of the G-orbits in G/H1 G/H2.LetG(g1H1,g2H2) G(H1,g1 g2H2) ⊆ −1 be such a G-orbit. The stabilizer H G of the element (H1,g1 g2H2) is contained in H1 and therefore belongs to H. It follows that G(g1H1,g2H2) = G/H ∈ B(G,H). 2.4 The Burnside Ring 65 Definition i. Let be a prime number. A finite group H is called -hyper-elementary if it contains a cyclic normal subgroup C such that |C| and H/C is an -group. ii. A finite group is called hyper-elementary if it is -hyper-elementary for some prime number . Exercise Let H be an -hyper-elementary group. Then: i. Any subgroup of H is -hyper-elementary; ii. let C ⊆ H be a cyclic normal subgroup as in the definition, and let L ⊆ H be any -Sylow subgroup; then the map C × L −→ H sending (c, g) to cg is a bijection of sets. Let Hhe denote the family of hyper-elementary subgroups of G. By the exercise Lemma 2.4.7 is applicable to Hhe. Theorem 2.4.8 (Solomon) Suppose that F has characteristic zero; then PF (G, Hhe) = PF (G). Proof Because of Lemma 2.4.7 it suffices to show that the unit element 1 ∈ PF (G) already lies in PF (G, Hhe). According to Lemma 2.4.6.ii the characters χF [X](g) = {x ∈ X : gx = x} ∈ Z, for any g ∈ G and any finite G-set X, have integral values. Hence we have the well-defined ring homomorphisms tg: PF (G) −→ Z z −→ Tr(z)(g) for g ∈ G. On the one hand, by Corollary 2.3.7.i, they satisfy ker(tg) = ker Tr |PF (G) ={0}. (2.4.1) g∈G On the other hand, we claim that tg PF (G, Hhe) = Z (2.4.2) holds true for any g ∈ G.Wefixag0 ∈ G in the following. Since the image H Z Z tg0 (PF (G, he)) is an additive subgroup of and hence is of the form n for some n ≥ 0 it suffices to find, for any prime number ,an-hyper-elementary subgroup H ⊆ G such that the integer 66 2 The CartanÐBrauer Triangle [ ] = = { ∈ : = } tg0 F G/H χF [G/H ](g0) x G/H g0x x −1 = gH ∈ G/H : g g0g ∈ H is not contained in Z.Wealsofix. The wanted -hyper-elementary subgroup H will be found in a chain of sub- groups C ⊆g0⊆H ⊆ N with C being normal in N which is constructed as follows. Let n ≥ 1 be the order s of g0, and write n = m with l m. The cyclic subgroup g0⊆G generated by g0 then is the direct product = s × m g0 g0 g0 m := s where g0 is an -group and C g0 is a cyclic group of order prime to . We define N := {g ∈ G : gCg−1 = C} to be the normalizer of C in G. It contains g0, of course. Finally, we choose H ⊆ N in such a way that H/C is an -Sylow subgroup of N/C which contains the -subgroup g0/C. By construction H is -hyper-elementary. In the next step we study the cardinality of the set −1 {gH ∈ G/H : g0gH = gH}= gH ∈ G/H : g g0g ∈ H . −1 −1 −1 −1 Suppose that g g0g ∈ H . Then g Cg ⊆ g g0g =g g0g⊆H . But, the two sides having coprime orders, the projection map g−1Cg −→ H/C has to be the trivial map. It follows that g−1Cg = C which means that g ∈ N. This shows that {gH ∈ G/H : g0gH = gH}={gH ∈ N/H : g0gH = gH}. The cardinality of the right-hand side is the number of g0-orbits in N/H which consist of one point only. We note that the subgroup C, being normal in N and contained in H , acts trivially on N/H. Hence the g0-orbits coincide with the orbits of the -group g0/C. But, quite generally, the cardinality of an orbit, being the index of the stabilizer of any point in the orbit, divides the order of the acting group. It follows that the cardinality of any g0-orbit in N/H is a power of .We conclude that {gH ∈ N/H : g0gH = gH} ≡|N/H|=[N : H ] mod . But by the choice of H we have [N : H]. This establishes our claim. By (2.4.2) we now may choose an element zg ∈ PF (G, Hhe), for any g ∈ G, such that tg(zg) = 1. We then have tg (zg − 1) = 0 for any g ∈ G, g ∈G 2.5 Clifford Theory 67 and (2.4.1)impliesthat (zg − 1) = 0. g ∈G Multiplying out the left-hand side and using that PF (G, Hhe) is additively and mul- tiplicatively closed easily shows that 1 ∈ PF (G, Hhe). 2.5 Clifford Theory As before F is an arbitrary field. We fix a normal subgroup N in our finite group G. Let W be an F [N]-module. It is given by a homomorphism of F -algebras π: F [N]−→EndF (W). For any g ∈ G we now define a new F [N]-module g∗(W) by the composite homo- morphism π F [N]−→ F [N] −→ EndF (W) h −→ ghg−1 or equivalently by F [N]×g∗(W) −→ g∗(W) (h, w) −→ ghg−1w. Remark 2.5.1 ∗ i. dimF g (W) = dimF W . ii. The map U → g∗(U) is a bijection between the set of F [N]-submodules of W and the set of F [N]-submodules of g∗(W). iii. W is simple if and only if g∗(W) is simple. ∗ ∗ = ∗ ∈ iv. g1 (g2 (W)) (g2g1) (W) for any g1,g2 G. v. Any F [N]-module homomorphism α : W1 −→ W2 also is a homomorphism of ∗ ∗ F [N]-modules α : g (W1) −→ g (W2). Proof Trivial or straightforward. Suppose that g ∈ N. One checks that then =∼ W −→ g∗(W) w −→ gw is an isomorphism of F [N]-modules. Together with Remark 2.5.1.iv/v this implies that 68 2 The CartanÐBrauer Triangle ∼ ∼ G/N × (MF [N]/ =) −→ MF [N]/ = gN,{W} −→ g∗(W) ∼ is a well-defined action of the group G/N on the set MF [N]/ =. By Remark 2.5.1.iii this action respects the subset F [N]. For any {W} in F [N] we put ∗ IG(W) := g ∈ G : g (W) ={W} . As a consequence of Remark 2.5.1.iv this is a subgroup of G, which contains N of course. Remark 2.5.2 Let V be an F [G]-module, and let g ∈ G be any element; then the map set of all F [N]- set of all F [N]- − → submodules of V submodules of V W −→ gW is an inclusion preserving bijection; moreover, for any F [N]-submodule W ⊆ V we have: i. The map =∼ g∗(W) −→ g−1W w −→ g−1w is an isomorphism of F [N]-modules; ii. gW is a simple F [N]-module if and only if W is a simple F [N]-module; ∼ ∼ iii. if W1 = W2 are isomorphic F [N]-submodules of V then also gW1 = gW2 are isomorphic as F [N]-modules. Proof For h ∈ N we have h(gW) = g g−1hg W = gW since g−1hg ∈ N. Hence gW indeed is an F [N]-submodule, and the map in the assertion is well defined. It obviously is inclusion preserving. Its bijectivity is im- mediate from g−1(gW) = W = g(g−1W). The assertion ii. is a direct consequence. The map in i. clearly is an F -linear isomorphism. Because of − − − g 1 ghg 1w = h g 1w for any h ∈ N and w ∈ W it is an F [N]-module isomorphism. The last assertion iii. follows from i. and Re- mark 2.5.1.v. 2.5 Clifford Theory 69 Theorem 2.5.3 (Clifford) Let V be a simple F [G]-module; we then have: i. V is semisimple as an F [N]-module; ii. let W ⊆ V be a simple F [N]-submodule, and let W˜ ⊆ V be the {W}-isotypic component; then ˜ a. W is a simple F [IG(W)]-module, and b. V =∼ IndG (W)˜ as F [G]-modules. IG(W) Proof Since V is of finite length as an F [N]-module we find a simple F [N]- submodule W ⊆ V . Then gW, for any g ∈ G, is another simple F [N]-submodule := by Remark 2.5.2.ii. Therefore V0 g∈G gW is, on the one hand, a semisimple F [N]-module by Proposition 1.1.4. On the other hand it is, by definition, a nonzero F [G]-submodule of V . Since V is simple we must have V0 = V , which proves the assertion i. As an F [N]-submodule the {W}-isotypic component W˜ of V is of the form W˜ = W ⊕···⊕W with simple F [N]-submodules W =∼ W . Let first g be 1 m i ∼ ∼ an element in IG(W).UsingRemark2.5.2.i/iii we obtain gWi = gW = W for any ˜ ˜ ˜ 1 ≤ i ≤ m. It follows that gWi ⊆ W for any 1 ≤ i ≤ m and hence gW ⊆ W .Wesee ˜ that W is an F [IG(W)]-submodule of V . For a general g ∈ G we conclude from Remark 2.5.2 that gW˜ is the {gW}-isotypic component of V . We certainly have V = gW.˜ g∈G/IG(W) ˜ ˜ Two such submodules g1W and g2W , being isotypic components, either are equal ˜ = ˜ −1 ˜ = ˜ −1 =∼ or have zero intersection. If g1W g2W then g2 g1W W , hence g2 g1W W , −1 ∈ and therefore g2 g1 IG(W). We see that in fact V = gW.˜ (2.5.1) g∈G/IG(W) The inclusion W˜ ⊆ V induces, by the first Frobenius reciprocity, the F [G]-module homomorphism G ˜ ∼ ˜ Ind (W)= F [G]⊗ [ ] W −→ V IG(W) F IG(W) agg ⊗˜w −→ aggw.˜ g∈G g∈G Since V is simple it must be surjective. But both sides have the same dimension ˜ as F -vector spaces [G : IG(W)]·dimF W , the left-hand side by the argument in the proof of Remark 2.3.2 and the right-hand side by (2.5.1). Hence this map is an [ ]⊗ ˜ =∼ isomorphism which proves ii.b. Finally, since F G F [IG(W)] W V is a sim- ˜ ple F [G]-module it follows from Remark 2.3.3 that W is a simple F [IG(W)]- module. In the next section we will need the following particular consequence of this result. But first we point out that for an F [N]-module W of dimension dimF W = 1 70 2 The CartanÐBrauer Triangle the describing algebra homomorphism π is of the form π: F [N]−→F. The corresponding homomorphism for g∗(W) then is x → π(gxg−1). Since an endomorphism of a one-dimensional F -vector space is given by multiplication by a × scalar we have g ∈ IG(W) if and only if there is a scalar a ∈ F such that − aπ(h)w = π ghg 1 aw for any h ∈ N and w ∈ W. It follows that −1 IG(W) = g ∈ G : π ghg = π(h) for any h ∈ N (2.5.2) if dimF W = 1. Remark 2.5.4 Suppose that N is abelian and that F is a splitting field for N; then any simple F [N]-module W has dimension dimF W = 1. Proof Let π : F [N]−→EndF (W) be the algebra homomorphism describing W . Since N is abelian we have im(π) ⊆ EndF [N](W). By our assumption on the field F the latter is equal to F . This means that any element in F [N] acts on W by multiplication by a scalar in F . Since W is simple this forces it to be one- dimensional. Proposition 2.5.5 Let H be an -hyper-elementary group with cyclic normal sub- group C such that |C| and H/C is an -group, and let V be a simple F [H ]- module; we suppose that a. F is a splitting field for C, b. V does not contain the trivial F [C]-module, and c. the subgroup C0 := {c ∈ C : cg = gc for any g ∈ H } acts trivially on V ; then there exists a proper subgroup H H and an F [H ]-module V such that =∼ H [ ] V IndH (V ) as F H -modules. Proof We pick any simple F [C]-submodule W ⊆ V . By applying Clifford’s Theo- rem 2.5.3 to the normal subgroup C and the module W it suffices to show that IH (W) = H. According to Remark 2.5.4 the module W is one-dimensional and given by an alge- bra homomorphism π : F [C]−→F , and by (2.5.2)wehave −1 IH (W) = g ∈ H : π gcg = π(c) for any c ∈ C . The assumption c. means that C0 ⊆ C1 := ker(π|C). 2.6 Brauer’s Induction Theorem 71 We immediately note that any subgroup of the cyclic normal subgroup C also is normal in H . By assumption b. we find an element c2 ∈ C \ C1 so that π(c2) = 1. Let L ⊆ H be an -Sylow subgroup. We claim that we find an element g0 ∈ L such −1 = ∈ that π(g0c2g0 ) π(c2). Then g0 IH (W) which establishes what we wanted. We point out that, since H = C × L as sets, we have C0 ={c ∈ C : cg = gc for any g ∈ L}. −1 Arguing by contradiction we assume that π(gc2g ) = π(c2) for any g ∈ L. Then −1 −1 gc2C1g = gc2g C1 = c2C1 for any g ∈ L. This means that we may consider c2C1 as an L-set with respect to the conjugation action. Since L is an -group the cardinality of any L-orbit in c2C1 is a power of . On the other hand we have |C1|=|c2C1|. There must therefore exist an element c0 ∈ c2C1 such that −1 gc0g = c0 for any g ∈ L (i.e. an L-orbit of cardinality one). We conclude that c0 ∈ C0 ⊆ C1 and hence c2C1 = c0C1 = C1. This is in contradiction to c2 ∈ C1. 2.6 Brauer’s Induction Theorem In this section F is a field of characteristic zero, and G continues to be any finite group. Definition i. Let be a prime number. A finite group H is called -elementary if it is a direct product H = C × L of a cyclic group C and an -group L. ii. A finite group is called elementary if it is -elementary for some prime number . Exercise i. If H is -elementary then H = C × L is the direct product of a cyclic group C of order prime to and an -group L. ii. Any -elementary group is -hyper-elementary. iii. Any subgroup of an -elementary group is -elementary. Let He denote the family of elementary subgroups of G. Theorem 2.6.1 (Brauer) Suppose that F is a splitting field for every subgroup of G; then G = indH RF (H ) RF (G). H ∈He 72 2 The CartanÐBrauer Triangle G Proof By Corollary 2.3.5 each indH (RF (H )) is an ideal in the ring RF (G). Hence the left-hand side of the asserted identity is an ideal in the right-hand side. To obtain equality we therefore need only to show that the unit element 1G ∈ RF (G) lies in the left-hand side. According to Solomon’s Theorem 2.4.8 together with Lemma 2.4.6.i we have ∈ Z [ ] = Z [ ] = Z G 1G F G/H b G/H indH (1H ) H ∈Hhe H ∈Hhe H ∈Hhe ⊆ G indH RF (H ) . H ∈Hhe By the transitivity of induction this reduces us to the case that G is -hyper- elementary for some prime number . We now proceed by induction with respect to the order of G and assume that our assertion holds for all proper subgroups H G. We also may assume, of course, that G is not elementary. Using the transitivity of induction again it then suffices to show that ∈ G 1G indH RF H . H G Let C ⊆ G be the cyclic normal subgroup of order prime to such that G/C is an -group. We fix an -Sylow subgroup L ⊆ G. Then G = C × L as sets. In C we have the (cyclic) subgroup C0 := {c ∈ C : cg = gc for any g ∈ G}. Then H0 := C0 × L is an -elementary subgroup of G. Since G is not elementary we must have H0 G. We consider the induction IndG (F ) of the trivial F [H ]-module F . By semisim- H0 0 plicity it decomposes into a direct sum IndG (F ) = V ⊕ V ⊕···⊕V H0 0 1 r of simple F [G]-modules V . We recall that IndG (F ) is the F -vector space of all i H0 functions φ : G/H0 −→ F with the G-action given by g −1 φ g H0 = φ g g H0 . This G-action fixes a function φ if and only if φ(gg H0) = φ(g H0) for any g,g ∈ G, i.e. if and only if φ is constant. It follows that the one-dimensional subspace of constant functions is the only simple F [G]-submodule in IndG (F ) which is H0 isomorphic to the trivial module. We may assume that V0 is this trivial submodule. In RF (G) we then have the equation 1 = indG (1 ) −[V ]−···−[V ]. G H0 H0 1 r 2.6 Brauer’s Induction Theorem 73 This reduces us further to showing that, for any 1 ≤ i ≤ r,wehave [V ]∈indG R (H ) i Hi F i for some proper subgroup Hi G. This will be achieved by applying the criterion in Proposition 2.5.5. By our assumption on F it remains to verify the conditions b. and c. in that proposition for each V1,...,Vr . Since C0 is central in G and is contained in H it acts trivially on IndG (F ) and a fortiori on any V . This is condition c. For 0 H0 i b. we note that CH0 = G and C ∩ H0 = C0. Hence the inclusion C ⊆ G induces a bijection C/C0 −→ G/H0. It follows that the map =∼ IndG (F ) −→ IndC (F ) H0 C0 φ −→ φ|(C/C0) is an isomorphism of F [C]-modules. It maps constant functions to constant functions and hence the unique trivial F [G]-submodule V0 to the unique trivial F [C]-submodule. Therefore Vi ,for1≤ i ≤ r, cannot contain any trivial F [C]- submodule. Lemma 2.6.2 Let H be an elementary group, and let N0 ⊆ H be a normal sub- group such that H/N0 is not abelian; then there exists a normal subgroup N0 ⊆ N ⊆ H such that N/N0 is abelian but is not contained in the center Z(H/N0) of H/N0. Proof With H also H/N0 is elementary (if H = C × L with C and L having co- ∼ prime orders then H/N0 = C/C ∩ N0 × L/L ∩ N0). We therefore may assume without loss of generality that N0 ={1}. Step 1: We assume that H is an -group for some prime number . By assumption we have Z(H) = H so that H/Z(H) is an -group ={1}. We pick a cyclic normal subgroup {1} =N =g⊆H/Z(H). Let Z(H) ⊆ N ⊆ H be the normal subgroup such that N/Z(H)= N and let g ∈ N be a preimage of g. Clearly N =Z(H),g is abelian. But Z(H) N since g = 1. Step 2: In general let H = C ×L where C is cyclic and L is an -group. With H also L is not abelian. Applying Step 1 to L we find a normal abelian subgroup NL ⊆ L such that NL Z(L). Then N := C × NL is a normal abelian subgroup of H such that N Z(H) = C × Z(L). Lemma 2.6.3 Let H be an elementary group, and let W be a simple F [H ]-module; we suppose that F is a splitting field for all subgroups of H ; then there exists a subgroup H ⊆ H and a one-dimensional F [H ]-module W such that =∼ H W IndH W as F [H ]-modules. 74 2 The CartanÐBrauer Triangle Proof We choose H ⊆ H to be a minimal subgroup (possibly equal to H ) such [ ] =∼ H that there exists an F H -module W with W IndH (W ), and we observe that W necessarily is a simple F [H ]-module by Remark 2.3.3.Let π : H −→ EndF W be the corresponding algebra homomorphism, and put N0 := ker(π ). We claim that H /N0 is abelian. Suppose otherwise. Then, by Lemma 2.6.2, there exists a normal subgroup N0 ⊆ N ⊆ H such that N/N0 is abelian but is not contained in ¯ Z(H /N0).LetW ⊆ W be a simple F [N]-submodule. By Clifford’s Theorem 2.5.3 we have ∼ H ¯˜ W = Ind ¯ (W) IH (W) ˜ where W¯ denotes the {W¯ }-isotypic component of W . Transitivity of induction im- plies =∼ H H ¯˜ =∼ H ¯˜ W IndH Ind ¯ (W) Ind ¯ (W). IH (W) IH (W) ¯ By the minimality of H we therefore must have IH (W)= H which means that ˜ W = W¯ is {W¯ }-isotypic. ¯ On the other hand, W is an F [H /N0]-module. Hence W is a simple F [N/N0]- module for the abelian group N/N0. Remark 2.5.4 then implies (note that ¯ = ¯ = ¯ EndF [N/N0](W) EndF [N](W) F ) that W is one-dimensional given by an al- gebra homomorphism χ: F [N/N0]−→F. It follows that any h ∈ N acts on the {W¯ }-isotypic module W by multiplication by the scalar χ(hN0). In other words the injective homomorphism H /N0 −→ EndF W hN0 −→ π (h) satisfies π (h) = χ(hN0) · idW for any h ∈ N. But χ(hN0) · idW lies in the center of EndF (W ). The injectivity of the homomor- phism therefore implies that N/N0 lies in the center of H /N0. This is a contradic- tion. We thus have established that H /N0 is abelian. Applying Remark 2.5.4 to W viewed as a simple F [H /N0]-module we conclude that W is one-dimensional. Theorem 2.6.4 (Brauer) Suppose that F is a splitting field for any subgroup of G, and let x ∈ RF (G) be any element; then there exist integers m1,...,mr , elementary 2.7 Splitting Fields 75 subgroups H1,...,Hr , and one-dimensional F [Hi]-modules Wi such that r x = m indG [W ] . i Hi i i=1 Proof Combine Theorem 2.6.1, Proposition 1.7.1, Lemma 2.6.3, and the transitivity of induction. 2.7 Splitting Fields Again F is a field of characteristic zero. Lemma 2.7.1 Let E/F be any extension field, and let V and W be two finitely generated F [G]-modules; we then have HomE[G](E ⊗F V,E⊗F W)= E ⊗F HomF [G](V, W). Proof First of all we observe, by comparing dimensions, that HomE(E ⊗F V,E⊗F W)= E ⊗F HomF (V, W) holds true. We now consider U := HomF (V, W) as an F [G]-module via G × U −→ U (g, f ) −→ gf := gf g−1 . G g Then HomF [G](V, W) = U := {f ∈ U : f = f for any g ∈ G} is the {F }- isotypic component of U for the trivial F [G]-module F . Correspondingly we obtain G G HomE[G](E ⊗F V,E⊗F W)= HomE(E ⊗F V,E⊗F W) = (E ⊗F U) . This reduces us to proving that G G (E ⊗F U) = E ⊗F U for any F [G]-module U. The element 1 ε := g ∈ F [G]⊆E[G] G |G| g∈G is an idempotent with the property that G U = εG · U, 76 2 The CartanÐBrauer Triangle and hence G G (E ⊗F U) = εG · (E ⊗F U)= E ⊗F εG · U = E ⊗F U . Theorem 2.7.2 (Brauer) Let e be the exponent of G, and suppose that F contains a primitive eth root of unity; then F is a splitting field for any subgroup of G. Proof We fix an algebraic closure F¯ of F . Step 1: We show that, for any finitely generated F¯[G]-module V¯ , there is an F [G]-module V such that ¯ ∼ ¯ ¯ V = F ⊗F V as F [G]-modules. According to Brauer’s Theorem 2.6.4 we find integers m1,...,mr , subgroups ¯ ¯ H1,...,Hr of G, and one-dimensional F [Hi]-modules Wi such that r ¯ ¯ ¯ [V ]= m F [G]⊗¯ W i F [Hi ] i i=1 − ¯ ¯ mi ¯ ¯ mi = F [G]⊗¯ W − F [G]⊗¯ W F [Hi ] i F [Hi ] i mi >0 mi <0 − ¯ ¯ mi ¯ ¯ mi = F [G]⊗¯ W − F [G]⊗¯ W . F [Hi ] i F [Hi ] i mi >0 mi <0 ¯ ¯ ¯ ¯ Let πi : F [Hi]−→F denote the F -algebra homomorphism describing Wi .Wehave e e πi(h) = πi(h ) = πi(1) = 1 for any h ∈ Hi . Our assumption on F therefore implies that πi(F [Hi ]) ⊆ F . Hence the restriction πi|F [Hi] describes a one-dimensional F [Hi]-module Wi such that ¯ ∼ ¯ ¯ Wi = F ⊗F Wi as F [Hi]-modules. We define the F [G]-modules − := [ ]⊗ mi := [ ]⊗ mi V+ F G F [Hi ] Wi and V− F G F [Hi ] Wi . mi >0 mi <0 Then ¯ ⊗ = ¯ ⊗ [ ]⊗ mi = ¯[ ]⊗ mi F F V+ F F F G F [Hi ] Wi F G F [Hi ] Wi mi >0 mi >0 ¯ ¯ mi = F [G]⊗¯ F [H ]⊗ [ ] W F [Hi ] i F Hi i mi >0 2.7 Splitting Fields 77 ¯ ¯ mi = F [G]⊗¯ F ⊗ W F [Hi ] F i mi >0 ∼ ¯ ¯ mi = F [G]⊗¯ W F [Hi ] i mi >0 and similarly − ¯ ∼ ¯ ¯ mi F ⊗ V− = F [G]⊗¯ W . F F [Hi ] i mi <0 It follows that ¯ ¯ ¯ [V ]=[F ⊗F V+]−[F ⊗F V−] or, equivalently, that ¯ ¯ ¯ V ⊕ (F ⊗F V−) =[F ⊗F V+]. Using Corollary 2.3.7.i/iii we deduce that ¯ ¯ ∼ ¯ ¯ V ⊕ (F ⊗F V−) = F ⊗F V+ as F [G]-modules. If V− is nonzero then V− = U ⊕ V− is a direct sum of F [G]-modules where U is simple. On the other hand let V+ = U1 ⊕ ··· ⊕ Um be a decomposition ¯ ¯ into simple F [G]-modules. Then F ⊗F U is a direct summand of F ⊗F V− and ¯ hence is isomorphic to a direct summand of F ⊗F V+. We therefore must have ¯ ¯ Hom ¯[ ](F ⊗F U,F ⊗F Uj ) = {0} for some 1 ≤ j ≤ m. Lemma 2.7.1 implies F G ∼ that HomF [G](U, Uj ) = {0}. Hence U = Uj as F [G]-modules. We conclude that =∼ ⊕ := V+ U V+ with V+ i =j Ui , and we obtain ¯ ¯ ¯ ∼ ¯ ¯ V ⊕ F ⊗F V− ⊕ (F ⊗F U)= F ⊗F V+ ⊕ (F ⊗F U). The Jordan–Hölder Proposition 1.1.2 then implies that ¯ ¯ ∼ ¯ V ⊕ F ⊗F V− = F ⊗F V+. By repeating this argument we arrive after finitely many steps at an F [G]-module V such that ¯ ∼ ¯ V = F ⊗F V. ¯ ¯ ¯ Step 2: Let now V beasimpleF [G]-module, and let F ⊗F V = V1 ⊕···⊕Vm be ¯ a decomposition into simple F [G]-modules. By Step 1 we find F [G]-modules Vi such that ¯ ∼ ¯ Vi = F ⊗F Vi. For any 1 ≤ i ≤ m,theF [G]-module Vi necessarily is simple, and we have ¯ ¯ Hom ¯[ ](F ⊗F Vi, F ⊗F V) = {0}. Hence HomF [G](Vi,V) = {0} by Lemma 2.7.1. F G ∼ It follows that Vi = V for any 1 ≤ i ≤ m. By comparing dimensions we conclude 78 2 The CartanÐBrauer Triangle ¯ ¯ that m = 1. This means that F ⊗F V is a simple F [G]-module. Using Lemma 2.7.1 again we obtain ¯ ⊗ = ¯ ⊗ = ¯ F F EndF [G](V ) EndF¯ [G](F F V) F. Hence EndF [G](V ) = F must be one-dimensional. This shows that F is a splitting field for G. Step 3: Let H ⊆ G be any subgroup with exponent eH . Since eH divides e the field F a fortiori contains a primitive eH th root of unity. Hence F also is a splitting field for H . 2.8 Properties of the Cartan–Brauer Triangle We go back to the setting from the beginning of this chapter: k is an algebraically closed field of characteristic p>0, R is a (0,p)-ring for k with maximal ideal mR = RπR, and K denotes the field of fractions of R. The ring R will be called splitting for our finite group G if K contains a primitive eth root of unity ζ where e is the exponent of G. By Theorem 2.7.2 the field K,in this case, is a splitting field for any subgroup of G. This additional condition can easily be achieved by defining K := K(ζ) and R := {a ∈ K : NormK /K (a) ∈ R}; then R is a (0,p)-ring for k which is splitting for G. It is our goal in this section to establish the deeper properties of the CartanÐ Brauer triangle dG RK (G) Rk(G) eG cG K0(k[G]). Lemma 2.8.1 For any subgroup H ⊆ G the diagram dH RK (H ) Rk(H ) G G indH indH dG RK (G) Rk(G) is commutative. Proof Let W be a finitely generated K[H]-module. We choose a lattice L ⊆ W which is H -invariant. Then G [ ] = G [ ] = [ ]⊗ indH dH W indH L/πRL k G k[H ] (L/πRL) . 2.8 Properties of the CartanÐBrauer Triangle 79 ∼ [G:H ] ∼ Moreover, R[G]⊗R[H ] L = L is a G-invariant lattice in K[G]⊗K[H ] W = W [G:H ] (compare the proof of Remark 2.3.2). Hence G [ ] = [ ]⊗ dG indH W dG K G K[H ] W = R[G]⊗R[H ] L /πR R[G]⊗R[H ] L = k[G]⊗k[H ] (L/πRL) . Lemma 2.8.2 We have = G Rk(G) indH Rk(H ) . H ∈He G Proof Since the indH (Rk(H )) are ideals in Rk(G) it suffices to show that the unit element 1k[G] ∈ Rk(G) lies in the right-hand side. We choose R to be splitting for G. By Brauer’s induction Theorem 2.6.1 we have ∈ G 1K[G] indH RK (H ) H ∈He where 1K[G] is the unit element in RK (G). Using Lemma 2.8.1 we obtain ∈ G = G dG(1K[G]) dG indH RK (H ) indH dH RK (H ) H ∈He H ∈He ⊆ G indH Rk(H ) . H ∈He It is trivial to see that dG(1K[G]) = 1k[G]. Theorem 2.8.3 The decomposition homomorphism dG: RK (G) −→ Rk(G) is surjective. Proof By Lemma 2.8.1 we have ⊇ G = G dG RK (G) dG indH RK (H ) indH dH RK (H ) . H ∈He H ∈He Because of Lemma 2.8.2 it therefore suffices to show that dH (RK (H )) = Rk(H ) for any H ∈ He. This means we are reduced to proving our assertion in the case where the group G is elementary. Then G = H × P is the direct product of a group H of order prime to p and a p-group P . By Proposition 1.7.1 it suffices to show that the class [W]∈Rk(G), for any simple k[G]-module W , lies in the image of dG.Viewed 80 2 The CartanÐBrauer Triangle as a k[P ]-module W must contain the trivial k[P ]-module by Proposition 2.2.7.We deduce that W P := {w ∈ W : gw = w for any g ∈ P } ={0}. Since P is a normal subgroup of G the k[P ]-submodule W P in fact is a k[G]- submodule of W .ButW is simple. Hence W P = W which means that k[G] acts on W through the projection map k[G]−→k[H]. According to Corollary 2.2.6 we find a simple K[H]-module V together with a G-invariant lattice L ⊆ V such ∼ that L/πRL = W as k[H]-modules. Viewing V as a K[G]-module through the projection map K[G]−→K[H] we obtain [V ]∈RK (G) and dG([V ]) =[W]. Theorem 2.8.4 Let pm be the largest power of p which divides the order of G; the Cartan homomorphism cG : K0(k[G]) −→ Rk(G) is injective, its cokernel is finite, m and p Rk(G) ⊆ im(cG). m Proof Step 1: We show that p Rk(G) ⊆ im(cG) holds true. It is trivial from the definition of the Cartan homomorphism that, for any subgroup H ⊆ G, the diagram cH K0(k[H]) Rk(H ) [ ]−→[ [ ]⊗ [ ] ] G P k G k H P indH cG K0(k[G]) Rk(G) is commutative. It follows that G ⊆ indH im(cH ) im(cG). Lemma 2.8.2 therefore reduces us to the case that G is an elementary group. Let W be any simple k[G]-module. With the notations of the proof of Theorem 2.8.3 we have seen there that k[G] acts on W through the projection map k[G]−→k[H ]. Viewed as a k[H ]-module W is projective by Remark 1.7.3. Hence k[G]⊗k[H ] W is a finitely generated projective k[G]-module. We claim that cG k[G]⊗k[H ] W =|G/H |·[W] holds true. Using the above commutative diagram as well as Proposition 2.3.4 we obtain [ ]⊗ = G [ ] = [ ]⊗ ·[ ] cG k G k[H ] W indH W k G k[H ] k W . In order to analyze the k[G]-module k[G]⊗k[H ] k let h, h ∈ H , g ∈ P , and a ∈ k. Then h gh ⊗ a = ghh ⊗ a = g ⊗ a = gh ⊗ a. This shows that H acts trivially on k[G]⊗k[H ] k. In other words, k[G] acts on k[G]⊗k[H ] k through the projection map k[G]−→k[P ]. It then follows from Proposition 2.2.7 that all simple subquotients in a composition series of the k[G]- 2.8 Properties of the CartanÐBrauer Triangle 81 module k[G]⊗k[H ] k are trivial k[G]-modules. We conclude that k[G]⊗k[H ] k = dimk k[G]⊗k[H ] k · 1 =|G/H |·1 (where 1 ∈ Rk(G) is the unit element). ∼ r Step 2: We know from Proposition 1.7.1 that, as an abelian group, Rk(G) = Z for some r ≥ 1. It therefore follows from Step 1 that Rk(G)/ im(cG) is isomorphic to a factor group of the finite group Zr /pmZr . Step 3: It is a consequence of Proposition 1.7.4 that K0(k[G]) and Rk(G) are isomorphic to Zr for the same integer r ≥ 1. Hence id ⊗cG: Q ⊗Z K0 k[G] −→ Q ⊗Z Rk(G) is a linear map between two Q-vector spaces of the same finite dimension r.Its injectivity is equivalent to its surjectivity. Let a ∈ Q and x ∈ Rk(G).ByStep1we m find an element y ∈ K0(k[G]) such that cG(y) = p x. Then a a (id ⊗c ) ⊗ y = ⊗ pmx = a ⊗ x. G pm pm This shows that id ⊗cG and consequently cG are injective. In order to discuss the third homomorphism eG we first introduce two bilinear forms. We start from the maps ∼ ∼ (MK[G]/ =) × (MK[G]/ =) −→ Z {V }, {W} −→ dimK HomK[G](V, W) and ∼ ∼ (Mk[G]/ =) × (Mk[G]/ =) −→ Z {P }, {V } −→ dimk Homk[G](P, V ). They extend to Z-bilinear maps Z[MK[G]]×Z[MK[G]]−→Z and Z[Mk[G]]×Z[Mk[G]]−→Z. Since K[G] is semisimple we have, for any exact sequence 0 → V1 → V → V2 → 0 ∼ in MK[G], that V = V1 ⊕ V2 and hence that dimK HomK[G](V, W) − dimK HomK[G](V1,W)− dimK HomK[G](V2,W)= 0. 82 2 The CartanÐBrauer Triangle The corresponding fact in the “variable” W holds as well, of course. The first map therefore induces a well-defined Z-bilinear form , K[G]: RK (G) × RK (G) −→ Z [V ], [W] −→ dimK HomK[G](V, W). Even though k[G] might not be semisimple any exact sequence 0 → P1 → P → ∼ P2 → 0inMk[G] still satisfies P = P1 ⊕ P2 as a consequence of Lemma 1.6.2.ii. Hence we again have dimk Homk[G](P, V ) − dimk Homk[G](P1,V)− dimk Homk[G](P2,V)= 0 for any V in Mk[G]. Furthermore, for any P in Mk[G] and any exact sequence 0 → V1 → V → V2 → 0inMk[G] we have, by the definition of projective modules, the exact sequence 0 −→ Homk[G](P, V1) −→ Homk[G](P, V ) −→ Homk[G](P, V2) −→ 0. Hence once more dimk Homk[G](P, V ) − dimk Homk[G](P, V1) − dimk Homk[G](P, V2) = 0. This shows that the second map also induces a well-defined Z-bilinear form , k[G]: K0 k[G] × Rk(G) −→ Z [P ], [V ] −→ dimk Homk[G](P, V ). If {V1},...,{Vr } are the isomorphism classes of the simple K[G]-modules then [V1],...,[Vr ] is a Z-basis of RK (G) by Proposition 1.7.1.Wehave dimK EndK[G](Vi) if i = j, [Vi], [Vj ] = K[G] 0ifi = j. In particular, if K is a splitting field for G then 1ifi = j, [Vi], [Vj ] = K[G] 0ifi = j. Let {P1},...,{Pt } be the isomorphism classes of finitely generated indecomposable projective k[G]-modules. By Proposition 1.7.4.iii the [P1],...,[Pt ] form a Z-basis of K0(k[G]), and the [P1/ Jac(k[G])P1],...,[Pt / Jac(k[G])Pt ] form a Z-basis of Rk(G) by Proposition 1.7.4.i. We have 2.8 Properties of the CartanÐBrauer Triangle 83 Homk[G] Pi,Pj / Jac k[G] Pj = Homk[G] Pi/ Jac k[G] Pi,Pj / Jac k[G] Pj [ ] = = Endk[G](Pi/ Jac(k G )Pi ) if i j, {0} if i = j = = k if i j, {0} if i = j, where the latter identity comes from the fact that the algebraically closed field k is a splitting field for G. Hence 1ifi = j, [Pi], Pj / Jac k[G] Pj = k[G] 0ifi = j. Exercise 2.8.5 i. If K is a splitting field for G then the map =∼ RK (G) −→ HomZ RK (G), Z x −→x,.K[G] is an isomorphism of abelian groups. ii. The maps =∼ =∼ K0 k[G] −→ HomZ Rk(G), Z and Rk(G) −→ HomZ K0 k[G] , Z y −→y,.k[G] z −→ .,zk[G] are isomorphisms of abelian groups. Lemma 2.8.6 We have = y,dG(x) k[G] eG(y), x K[G] for any y ∈ K0(k[G]) and x ∈ RK (G). Proof It suffices to consider elements of the form y =[P/πRP ] for some finitely generated projective R[G]-module P (see Proposition 2.1.1) and x =[V ] for some finitely generated K[G]-module V .WepickaG-invariant lattice L ⊆ V . The as- serted identity then reads dimk Homk[G](P /πRP,L/πRL) = dimK HomK[G](K ⊗R P,V). 84 2 The CartanÐBrauer Triangle We have Homk[G](P /πRP,L/πRL) = HomR[G](P, L/πRL) = HomR[G](P, L)/ HomR[G](P, πRL) = HomR[G](P, L)/πR HomR[G](P, L) = k ⊗R HomR[G](P, L) (2.8.1) where the second identity comes from the projectivity of P as an R[G]-module. On the other hand HomK[G](K ⊗R P,V)= HomR[G](P, V ) = −i HomR[G] P, πR L i≥0 = −i HomR[G] P,πR L i≥0 = −i πR HomR[G](P, L) i≥0 = K ⊗R HomR[G](P, L). (2.8.2) For the third identity one has to observe that, since P is finitely generated as an −→ = −i R-module, any R-module homomorphism P V i≥0 πR L has to have its −i image inside πR L for some sufficiently large i. Both, P being a direct summand of some R[G]m (Remark 2.1.2) and L by defini- tion are free R-modules. Hence HomR(P, L) is a finitely generated free R-module. The ring R being noetherian the R-submodule HomR[G](P, L) is finitely generated ∼ s as well. Lemma 2.2.1.i then implies that HomR[G](P, L) = R is a free R-module. We now deduce from (2.8.1) and (2.8.2) that ∼ s ∼ s Homk[G](P /πRP,L/πRL) = k and HomK[G](K ⊗R P,V)= K , respectively. Theorem 2.8.7 The homomorphism eG : K0(k[G]) −→ RK (G) is injective and its image is a direct summand of RK (G). Proof Step 1: We assume that R is splitting for G. By Theorem 2.8.3 the map dG : RK (G) −→ Rk(G) is surjective. Since, by Proposition 1.7.1, Rk(G) is a free abelian group we find a homomorphism s : Rk(G) −→ RK (G) such that dG ◦s = id. It follows that Hom(s, Z) ◦ Hom(dG, Z) = Hom(dG ◦ s,Z) = Hom(id, Z) = id . 2.8 Properties of the CartanÐBrauer Triangle 85 Hence the map Hom(dG, Z) : HomZ Rk(G), Z −→ HomZ RK (G), Z is injective and HomZ RK (G), Z = im Hom(dG, Z) ⊕ ker Hom(s, Z) . But because of Lemma 2.8.6 the map Hom(dG, Z) corresponds under the isomor- phisms in Exercise 2.8.5 to the homomorphism eG. Step 2: For general R we use, as described at the beginning of this section a larger (0,p)-ring R for k which contains R and is splitting for G.LetK denote the field of fractions of R .ItP is a finitely generated projective R[G]-module then R ⊗R P = R [G]⊗R[G] P is a finitely generated projective R [G]-module such that R ⊗R P /πR R ⊗R P = R /πR R ⊗R P = (R/πRR) ⊗R P = P/πRP (recall that k = R/πRR = R /πR R ). This shows that the diagram κ RK (G) K0(R[G]) ρ [V ]−→[K ⊗K V ] [P ]−→[R ⊗RP ] K0(k[G]) ρ κ RK (G) K0(R [G]) is commutative. Hence eG Tr K0(k[G]) RK (G) Cl(G, K) ⊆ [V ]−→[K ⊗K V ] eG RK (G) Cl(G, K ) Tr is commutative. The oblique arrow is injective by Step 1 and so then is the upper left horizontal arrow. The two right horizontal arrows are injective by Corollary 2.3.7.i. This implies that the middle vertical arrow is injective and therefore induces an injective homomorphism RK (G)/ im(eG) −→ RK (G)/ im(eG). 86 2 The CartanÐBrauer Triangle By Step 1 the target RK (G)/ im(eG) is isomorphic to a direct summand of the free abelian group RK (G). It follows that RK (G)/ im(eG) is isomorphic to a subgroup in a finitely generated free abelian group and hence is a free abelian group by the elementary divisor theorem. We conclude that ∼ RK (G) = im(eG) ⊕ RK (G)/ im(eG). We choose R to be splitting for G, and we fix the Z-bases of the three involved Grothendieck groups as described before Exercise 2.8.5.LetE, D, and C denote the matrices which describe the homomorphisms eG, dG, and cG, respectively, with respect to these bases. We, of course, have DE = C. Lemma 2.8.6 says that D is the transpose of E. It follows that the quadratic Cartan matrix C of k[G] is symmetric. Chapter 3 The Brauer Character As in the last chapter we fix an algebraically closed field k of characteristic p>0, and we let G be a finite group. We also fix a (0,p)-ring R for k which is splitting for G.LetmR = RπR denote the maximal ideal and K the field of fractions of R. 3.1 Definitions As in the semisimple case we let Cl(G, k) denote the k-vector space of all k-valued class functions on G, i.e. functions on G which are constant on conjugacy classes. For any V ∈ Mk[G] we introduce its k-character χV : G −→ k g −→ tr(g; V), α β which is a function in Cl(G, k).Let0→ V1 −→ V −→ V2 → 0 be an exact sequence g in Mk[G].Fori = 1, 2weletAi be the matrix of Vi −→ Vi with respect to some k-basis e(i),...,e(i). We put e := α(e(1)) for 1 ≤ j ≤ d and we choose e ∈ V , 1 di j j 1 j ≤ + = (2) −→g for d1 Since the trace is the sum of the diagonal entries of the respective matrix we see that = + ∈ χV (g) χV1 (g) χV2 (g) for any g G. It follows that P. Schneider, Modular Representation Theory of Finite Groups, 87 DOI 10.1007/978-1-4471-4832-6_3, © Springer-Verlag London 2013 88 3 The Brauer Character Tr: Rk(G) −→ Cl(G, k) [V ]−→χV is a well-defined homomorphism. Proposition 3.1.1 The k-characters χV ∈ Cl(G, k), for {V }∈k[G], are k-linearly independent. ˆ Proof Let k[G]={{V1},...,{Vr }} = A where A := k[G]/ Jac(k[G]). Since k[G] is artinian A is semisimple (cf. Proposition 1.1.2.vi). By Wedderburn’s structure theory of semisimple k-algebras we have r = A EndDi (Vi) i=1 where Di := Endk[G](Vi). Since k is algebraically closed we, in fact, have Di = k. For any 1 ≤ i ≤ r we pick an element αi ∈ Endk(Vi) with tr(αi) = 1. By the above product decomposition of A we then find elements ai ∈ k[G],for1≤ i ≤ r, such that ai αi if i = j, (Vj −→ Vj ) = 0ifi = j. : [ ]−→ If we extend each χVj by k-linearity to a k-linear form χVj k G k then 1ifi = j, χV (ai) = tr(ai; Vj ) = j 0ifi = j. r = ∈ We now suppose that j=1 cj χVj 0inCl(G, k) with cj k. Then also r = [ ] = r = j=1 cj χVj 0inHomk(k G ,k) and hence 0 j=1 cj χVj (ai) ci for any 1 ≤ i ≤ r. Since, by Proposition 1.7.1, the vectors 1 ⊗[V ],for{V }∈k[G], form a basis of the k-vector space k ⊗Z Rk(G) it follows that Tr: k ⊗Z Rk(G) −→ Cl(G, k) c ⊗[V ]−→cχV is an injective k-linear map. But the canonical map Rk(G) −→ k ⊗Z Rk(G) is not in- jective. Therefore the k-character χV does not determine the isomorphism class {V }. This is the reason that in the present setting the k-characters are of limited use. Definition An element g ∈ G is called p-regular, resp. p-unipotent, if the order of g is prime to p, resp. is a power of p. Lemma 3.1.2 For any g ∈ G there exist uniquely determined elements greg and guni in G such that 3.1 Definitions 89 − greg is p-regular, guni is p-unipotent, and − g = gregguni = gunigreg; moreover, greg and guni are powers of g. Proof Let psm with p m be the order of g. We choose integers a and b such that s aps bm ap + bm = 1, and we define greg := g and guni := g . Then aps +bm g = g = gregguni = gunigreg. s m = aps m = p = bmps = Furthermore, greg g 1 and guni g 1; hence greg is p-regular and guni is p-unipotent. Let g = gr gu = gugr be another decomposition with p-regular s gr and p-unipotent gu. One checks that gr and gu have the order m and p , respec- s = aps = 1−bm = 1−bm ap = = tively. Then greg g g gr gu gr and hence also guni gu. Let e denote the exponent of G and let e = eps with p e. We consider any finitely generated k[G]-module V and any element g ∈ G.Letζ1(g, V ), . . . , ζd (g, V ), where d := dimk V , be all eigenvalues of the k-linear endomorphism g V −→ V . We list any eigenvalue as many times as its multiplicity as a zero of the g characteristic polynomial of V −→ V prescribes. We have χV (g) = ζ1(g, V ) +···+ζd (g, V ). The following are easy facts: 1. The sequence (ζ1(g,V),...,ζd (g, V )) depends up to its ordering only on the isomorphism class {V }. g 2. If ζ is an eigenvalue of V −→ V then ζ j , for any j ≥ 0, is an eigenvalue of j g order(g) V −−→ V . It follows that ζi(g, V ) = 1 for any 1 ≤ i ≤ d. In particular, each ζi(g, V ) is an eth root of unity. Is gp-regular then the ζi(g, V ) are e th roots of unity. 3. If 0 → V1 → V → V2 → 0 is an exact sequence in Mk[G] then the se- quence (ζ1(g,V),...,ζd (g, V )) is, up to a reordering, the union of the two sequences (ζ1(g, V1),...,ζd1 (g, V1)) and (ζ1(g, V2),...,ζd2 (g, V2)) (where di := dimk Vi ). Lemma 3.1.3 For any finitely generated k[G]-module V and any g ∈ G the se- quences (ζ1(g, V ), . . . , ζd (g, V )) and (ζ1(greg,V),...,ζd (greg,V)) coincide up to a reordering; in particular, we have χV (g) = χV (greg). Proof Since the order of greg is prime to p the vector space V = V1 ⊕···⊕Vt 90 3 The Brauer Character decomposes into the different eigenspaces Vj for the linear endomorphism greg V −−→ V . The elements gregguni = gunigreg commute. Hence guni respects the eigenspaces of greg,i.e.guni(Vj ) = Vj for any 1 ≤ j ≤ t. The cyclic group guni is a p-group. By Proposition 2.2.7 the only simple k[ guni ]-module is the trivial −−→guni module. This implies that 1 is the only eigenvalue of V V . We therefore find 1 ∗ a basis of Vj with respect to which the matrix of guni|Vj is of the form .The 01 ζ 0 j matrix of greg|Vj is the diagonal matrix where ζj is the corresponding 0 ζj ζ ∗ j eigenvalue. The matrix of g|Vj then is . It follows that g|Vj has a single 0 ζj eigenvalue which coincides with the eigenvalue of greg|Vj . The subset Greg := {g ∈ G : g is p-regular} consists of full conjugacy classes of G. We therefore may introduce the k-vector space Cl(Greg,k) of k-valued class functions on Greg. There is the obvious map Cl(G, k) −→ Cl(Greg,k) which sends a function on G to its restriction to Greg. Proposition 3.1.1 and Lemma 3.1.3 together imply that the composed map Tr Trreg : k ⊗Z Rk(G) −→ Cl(G, k) −→ Cl(Greg,k) still is injective. We will see later on that Trreg in fact is an isomorphism. Remark 3.1.4 Let ξ ∈ K× be any root of unity; then ξ ∈ R×. = j ∈ × ∈ Z m = ≥ Proof We have ξ aπR with a R and j .Ifξ 1 with m 1 then = m jm jm ∈ × = 1 a πR which implies πR R . It follows that j 0 and consequently that ξ = a ∈ R×. × × Let μe (K) and μe (k) denote the subgroup of K and k , respectively, of all e th roots of unity. Both groups are cyclic of order e , μe (K) since R is splitting for G, and μe (k) since k is algebraically closed of characteristic prime to e . Since × μe (K) ⊆ R by Remark 3.1.4 the homomorphism μe (K) −→ μe (k) ξ −→ ξ + mR is well-defined. =∼ Lemma 3.1.5 The map μe (K) −→ μe (k) is an isomorphism. e Proof The elements in μe (K) are precisely the roots of the polynomial X − 1 ∈ K[X].Ifξ1 = ξ2 in μe (K) were mapped to the same element in μe (k) then the 3.2 Properties 91 same polynomial Xe − 1 but viewed in k[X] would have a zero of multiplicity >1. But this polynomial is separable since p e. Hence the map is injective and then also bijective. We denote the inverse of the isomorphism in Lemma 3.1.5 by μe (k) −→ μe (K) ⊆ R ξ −→[ξ]. The element [ξ]∈R is called the Teichmüller representative of ξ. The isomorphism in Lemma 3.1.5 allows us to introduce, for any finitely gener- ated k[G]-module V (with d := dimk V ), the K-valued class function βV : Greg −→ K g −→ ζ1(g, V ) +···+ ζd (g, V ) on Greg. It is called the Brauer character of V . By construction we have βV (g) ≡ χV (g) mod mR for any g ∈ Greg. The first fact in the list before Lemma 3.1.3 implies that βV only depends on the isomorphism class {V }, whereas the last fact implies that = + βV βV1 βV2 for any exact sequence 0 → V1 → V → V2 → 0inMk[G]. Therefore, if we let Cl(Greg,K)denote the K-vector space of all K-valued class functions on Greg then TrB : Rk(G) −→ Cl(Greg,K) [V ]−→βV is a well-defined homomorphism. 3.2 Properties Lemma 3.2.1 The Brauer characters βV ∈ Cl(Greg,K), for {V }∈k[G], are K- linearly independent. = ∈ Proof Let {V }∈k[G] cV βV 0 with cV K. By multiplying the cV by a high enough power of πR we may assume that all cV lie in R. Then (cV mod mR)χV = 0, {V } 92 3 The Brauer Character and Proposition 3.1.1 implies that all cV must lie in mR. We therefore may write cV = πRdV with dV ∈ R and obtain 0 = cV βV = πR dV βV , hence dV βV = 0. {V } {V } {V } ∈ ∈ 2 Applying Proposition 3.1.1 again givesdV mR and cV mV . Proceeding induc- ∈ i ={ } { }∈ [ ] tively in this way we deduce that cV i≥0 mR 0 for any V k G . Proposition 3.2.2 The diagram dG RK (G) Rk(G) Tr TrB res Cl(G, K) Cl(Greg,K), where “res” denotes the map of restricting functions from G to Greg, is commutative. Proof Let V be any finitely generated K[G]-module. We choose a lattice L ⊆ V which is G-invariant and put W := L/πRL. Then dG([V ]) =[W], and our assertion becomes the statement that βW (g) = χV (g) for any g ∈ Greg holds true. Let e1,...,ed be a K-basis of V such that L = Re1 + ··· + Red . Then e¯1 := e1 + πRL,...,e¯d := ed + πRL is a k-basis of W .Wefixg ∈ Greg, g and we form the matrices Ag and Ag of the linear endomorphisms V −→ V and g W −→ W , respectively, with respect to these bases. Obviously Ag is obtained from Ag by reducing its entries modulo mR.Letζ1(g, V ), . . . , ζd (g, V ) ∈ K, resp. ζ1(g, W), . . . , ζd (g, W) ∈ k, be the zeros, counted with multiplicity, of the characteristic polynomial of Ag, resp. Ag.Wehave χV (g) = tr(Ag) = ζi(g, V ) and χW (g) = tr(Ag) = ζi(g, W). i i Clearly, the set {ζi(g, V )}i is mapped by reduction modulo mR to the set {ζi(g, W)}i . Lemma 3.1.5 then implies that, up to a reordering, we have ζi(g, V ) = ζi(g, W) . We conclude that χV (g) = ζi(g, V ) = ζi(g, W) = βW (g). i i 3.2 Properties 93 Corollary 3.2.3 The homomorphism =∼ TrB : K ⊗Z Rk(G) −−→ Cl(Greg,K) c ⊗[V ]−→cβV is an isomorphism. Proof From Proposition 3.2.2 we obtain the commutative diagram id ⊗dG K ⊗Z RK (G) K ⊗Z Rk(G) Tr TrB res Cl(G, K) Cl(Greg,K) of K-linear maps. The left vertical map is an isomorphism by Corollary 2.3.7.ii. The map “res” clearly is surjective: For example, ϕ(g)˜ := ϕ(greg) is a preimage of ϕ ∈ Cl(Greg,K). Hence TrB is surjective. Its injectivity follows from Lemma 3.2.1. Corollary 3.2.4 The number of isomorphism classes of simple k[G]-modules coin- cides with the number of conjugacy classes of p-regular elements in G. Proof The two numbers whose equality is asserted are the dimensions of the two K-vector spaces in the isomorphism of Corollary 3.2.3. =∼ Corollary 3.2.5 The homomorphism Trreg : k ⊗Z Rk(G) −→ Cl(Greg,k) is an iso- morphism. Proof We know already that this k-linear map is injective. But by Corollary 3.2.4 the two k-vector spaces have the same finite dimension. Hence the map is bijective. We also may deduce a more conceptual formula for Brauer characters. Corollary 3.2.6 For any finitely generated k[G]-module V and any g ∈ Greg we have = −1 [ ] βV (g) Tr d g V (g). Proof By construction the element βV (g) only depends on V as a k[ g ]-module where g ⊆G is the cyclic subgroup generated by g. Since the order of g is prime to p the decomposition homomorphism d g is an isomorphism by Corollary 2.2.6. The assertion therefore follows from Proposition 3.2.2 applied to the group g . 94 3 The Brauer Character Lemma 3.2.7 Let M be a finitely generated projective R[G]-module and put V := K ⊗R M; we then have χV (g) = 0 for any g ∈ G \ Greg. Proof We fix an element g ∈ G \ Greg. It generates a cyclic subgroup g ⊆G whose order is divisible by p. The trace of g on V only depends on M viewed as an R[G]-module. We have R[G] =∼ R[ g ][G: g ]. Hence M, being isomorphic to a direct summand of some free R[G]-module, also is isomorphic to a direct summand of a free R[ g ]-module. We see that M also is projective as an R[ g ]-module (cf. Proposition 1.6.4). This observation reduces us (by replacing G by g ) to the case of a cyclic group G generated by an element whose order is divisible by p. We write G = C × P as the direct product of a cyclic group C of order prime to p and a cyclic p-group P = {1}. First of all we note that by repeating the above observation for the subgroup P ⊆ G we obtain that M is projective also as an R[P ]- module. Let g = gCgP with gC ∈ C and gP ∈ P . We decompose V = V1 ⊕···⊕Vr into its isotypic components Vi as an R[C]-module. Since K is a splitting field for any subgroup of G the Vi are precisely the different eigenspaces of the linear gC endomorphism V −−→ V .Letζi ∈ K be the eigenvalue of gC on Vi . Each Vi ,of course, is a K[G]-submodule of V . In particular, we have r χV (g) = ζi tr(gP ; Vi). i=1 It therefore suffices to show that tr(gP ; Vi) = 0 for any 1 ≤ i ≤ r. The element r 1 − ε := ζ j gj ∈ K[C] i |C| i C j=1 is the idempotent such that Vi = εiV . But since p |G| and because of Remark 3.1.4 we see that εi ∈ R[C]. It follows that we have the decomposition as an R[G]-module M = M1 ⊕···⊕Mr with Mi := M ∩ Vi. Each Mi , being a direct summand of the projective R[P ]-module M, is a finitely generated projective R[P ]-module, and Vi = K ⊗R Mi . This further reduces us (by replacing M by Mi and g by gP ) to the case where G is a cyclic p-group with generator g = 1. We know from Propositions 1.7.4 and 2.2.7 that in this situation the (up to isomorphism) only finitely generated indecomposable projective R[G]-module is R[G]. Hence M =∼ R[G]m 3.2 Properties 95 for some m ≥ 0, and tr(g; V)= m tr g; K[G] . Since g = 1wehavegh = h for any h ∈ G.UsingtheK-basis {h}h∈G of K[G] g we therefore see that the corresponding matrix of K[G] −→ K[G] has all diagonal entries equal to zero. Hence tr g; K[G] = 0. The above lemma can be rephrased by saying that there is a unique homomor- phism Trproj : K0 k[G] −→ Cl(Greg,K) such that the diagram eG K0(k[G]) RK (G) Trproj Tr ext0 Cl(Greg,K) Cl(G, K), where “ext0” denotes the homomorphism which extends a function on Greg to G by setting it equal to zero on G \ Greg, is commutative. Proposition 3.2.8 =∼ i. The map Trproj : K ⊗Z K0(k[G]) −→ Cl(Greg,K)is an isomorphism. eG ii. im(K0(k[G]) −−→ RK (G)) ={x ∈ RK (G) : Tr(x)|G \ Greg = 0}. Proof i. We have the commutative diagram id ⊗eG K ⊗Z K0(k[G]) K ⊗Z RK (G) Trproj Tr ext0 Cl(Greg,K) Cl(G, K). The maps id ⊗eG and Tr are injective by Theorem 2.8.7 and Corollary 2.3.7.ii, re- spectively. Hence Trproj is injective. Using Proposition 1.7.4 and Corollary 3.2.3 we obtain dimK K ⊗Z K0 k[G] = dimK K ⊗Z Rk(G) = dimK Cl(Greg,K). It follows that Trproj is bijective. 96 3 The Brauer Character ii. As a consequence of Lemma 3.2.7 the left-hand side im(eG) of the asserted identity is contained in the right-hand side. According to Theorem 2.8.7 there exists a subgroup Z ⊆ RK (G) such that RK (G) = im(eG) ⊕ Z and a fortiori K ⊗Z RK (G) = im(id ⊗eG) ⊕ (K ⊗Z Z). Suppose that z ∈ Z is such that Tr(z)|G \ Greg = 0. By i. we then find an element x ∈ im(id ⊗eG) such that Tr(z) = Tr(x). It follows that z = x ∈ Z ∩ im(id ⊗eG) ⊆ (K ⊗Z Z) ∩ im(id ⊗eG) ={0}. Hence z = 0, and we see that any x ∈ RK (G) such that Tr(x)|G \ Greg = 0mustbe contained in im(eG). Chapter 4 Green’s Theory of Indecomposable Modules 4.1 Relatively Projective Modules Let f : A −→ B be any ring homomorphism. Any B-module M may be considered, via restriction of scalars, as an A-module. Any homomorphism α : M −→ N of B-modules automatically is a homomorphism of A-modules as well. Definition A B-module P is called relatively projective (with respect to f )iffor any pair of B-module homomorphisms P γ β M N for which there is an A-module homomorphism α0 : P −→ M such that β ◦ α0 = γ there also exists a B-module homomorphism α : P −→ M satisfying β ◦ α = γ . We start with some very simple observations. Remark 1. The existence of α0 in the above definition implies that the image of β contains the image of γ . Hence we may replace N by im(β). This means that in the above definition it suffices to consider pairs (β, γ ) with surjective β. 2. Any projective B-module is relatively projective. 3. If P is relatively projective and is projective as an A-module then P is a projec- tive B-module. 4. Every B-module is relatively projective with respect to the identity homomor- phism idB . Lemma 4.1.1 For any B-module P the following conditions are equivalent: P. Schneider, Modular Representation Theory of Finite Groups, 97 DOI 10.1007/978-1-4471-4832-6_4, © Springer-Verlag London 2013 98 4 Green’s Theory of Indecomposable Modules i. P is relatively projective. ii. For any (surjective) B-module homomorphism β : M −→ P for which there is an A-module homomorphism σ0 : P −→ M such that β ◦ σ0 = idP there also exists a B-module homomorphism σ : P −→ M satisfying β ◦ σ = idP . Proof i. =⇒ ii. We apply the definition to the pair P idP β M P. ii. =⇒ i. Let P γ β M N be any pair of B-module homomorphisms such that there is an A-module homo- morphism α0 : P −→ M with β ◦ α0 = γ . By introducing the B-module M := (x, y) ∈ M ⊕ P : β(x) = γ(y) we obtain the commutative diagram pr2 M P pr1 γ β M N := := where pr1((x, y)) x and pr2((x, y)) y. We observe that σ0: P −→ M y −→ α0(y), y ◦ = is a well-defined A-module homomorphism such that pr2 σ0 idP . There ex- ists therefore, by assumption, a B-module homomorphism σ : P −→ M satisfying ◦ = := ◦ pr2 σ idP . It follows that the B-module homomorphism α pr1 σ satisfies ◦ = ◦ ◦ = ◦ ◦ = ◦ ◦ = β α (β pr1) σ (γ pr2) σ γ (pr2 σ) γ. Lemma 4.1.2 For any two B-modules P1 and P2 the direct sum P := P1 ⊕ P2 is relatively projective if and only if P1 and P2 both are relatively projective. 4.1 Relatively Projective Modules 99 Proof Let pr1 and pr2 denote, quite generally, the projection map from a direct sum onto its first and second summand, respectively. Similarly, let i1, resp. i2, denote the inclusion map from the first, resp. second, summand into their direct sum. We first suppose that P is relatively projective. By symmetry it suffices to show that P1 is relatively projective. We are going to use Lemma 4.1.1. Let therefore β1 : M1 −→ P1 be any B-module homomorphism and σ0 : P1 −→ M1 be any A-module ◦ = homomorphism such that β1 σ0 idP1 . Then ⊕ β1 idP2 β: M := M1 ⊕ P2 −−−−−→ P1 ⊕ P2 = P is a B-module homomorphism and σ ⊕ id : = ⊕ −−−−−0 P→2 ⊕ = σ0 P P1 P2 M1 P2 M is an A-module homomorphism and the two satisfy ◦ = ◦ ⊕ = ⊕ = β σ0 (β1 σ0) idP2 idP1 idP2 idP . By assumption we find a B-module homomorphism σ : P −→ M such that β ◦ σ = idP . We now define the B-module homomorphism σ : P1 −→ M1 as the composite i1 σ pr1 P1 −→ P1 ⊕ P2 −→ M1 ⊕ P2 −−→ M1, and we compute ◦ = ◦ ◦ ◦ = ◦ ⊕ ◦ ◦ β1 σ β1 pr1 σ i1 pr1 (β1 idP2 ) σ i1 = ◦ ◦ ◦ = ◦ pr1 β σ i1 pr1 i1 = idP1 . We now assume, vice versa, that P1 and P2 are relatively projective. Again us- ing Lemma 4.1.1 we let β : M −→ P and σ0 : P −→ M be a B-module and an A-module homomorphism, respectively, such that β ◦ σ0 = idP . This latter relation implies that σ0,j := σ0|Pj can be viewed as an A-module homomorphism −1 σ0,j : Pj −→ β (Pj ) for j = 1, 2. −1 −1 We also define the B-module homomorphism βj := β|β (Pj ) : β (Pj ) −→ Pj . We obviously have ◦ = = βj σ0,j idPj for j 1, 2. −1 By assumption we therefore find B-module homomorphisms σj : Pj −→ β (Pj ) ◦ = = such that βj σj idPj for j 1, 2. The B-module homomorphism 100 4 Green’s Theory of Indecomposable Modules σ : P = P1 ⊕ P2 −→ M y1 + y2 −→ σ1(y1) + σ2(y2) then satisfies β ◦ σ(y1 + y2) = β σ1(y1) + σ2(y2) = β ◦ σ1(y1) + β ◦ σ2(y2) = β1 ◦ σ1(y1) + β2 ◦ σ2(y2) = y1 + y2 for any yj ∈ Pj . Lemma 4.1.3 For any A-module L0 the B-module B ⊗A L0 is relatively projective. Proof Consider any pair B ⊗A L0 γ β M N of B-module homomorphisms together with an A-module homomorphism α0 : B ⊗A L0 −→ M such that β ⊗ α0 = γ . Then α: B ⊗A L0 −→ M b ⊗ y0 −→ bα0(1 ⊗ y0) is a B-module homomorphism satisfying β ◦ α = γ since β ◦ α(b ⊗ y0) = β bα0(1 ⊗ y0) = b(β ◦ α0)(1 ⊗ y0) = bγ (1 ⊗ y0) = γ(b⊗ y0). Proposition 4.1.4 For any B-module P the following conditions are equivalent: i. P is relatively projective; ii. P is isomorphic to a direct summand of B ⊗A P ; iii. P is isomorphic to a direct summand of B ⊗A L0 for some A-module L0. Proof For the implication from i. to ii. we observe that we have the B-module ho- momorphism β: B ⊗A P −→ P b ⊗ y −→ by 4.1 Relatively Projective Modules 101 as well as the A-module homomorphism σ0: P −→ B ⊗A P y −→ 1 ⊗ y which satisfy β ◦ σ0 = idP . Hence by Lemma 4.1.1 there exists a B-module ho- momorphism σ : P −→ B ⊗A P such that β ◦ σ = idP . Then B ⊗A P = im(σ ) ⊕ σ ker(β), and P −→ im(σ ) is an isomorphism of B-modules. The implication from ii. to iii. is trivial. That iii. implies i. follows from Lem- mas 4.1.2 and 4.1.3. We are primarily interested in the case of an inclusion homomorphism R[H ]⊆R[G], where R is any commutative ring and H is a subgroup of a fi- nite group G.AnR[G]-module which is relatively projective with respective to this inclusion will be called relative R[H]-projective. Example If R = k is a field then a k[G]-module is relatively k[{1}]-projective if and only if it is projective. We recall the useful fact that R[G] is free as an R[H ]-module with basis any set of representatives of the cosets of H in G. Lemma 4.1.5 An R[G]-module is projective if and only if it is relatively R[H ]- projective and it is projective as an R[H]-module. Proof By our initial Remark it remains to show that any projective R[G]-module P also is projective as an R[H]-module. But P is a direct summand of a free [ ] =∼ [ ] [ ] R G -module F i∈I R G by Proposition 1.6.4. Since R G is free as an R[H ]-module F also is free as an R[H]-module. Hence the reverse implication in Proposition 1.6.4 says that P is projective as an R[H ]-module. As we have discussed in Sect. 2.3 the R[G]-module R[G]⊗R[H ] L0, for any [ ] G R H -module L0, is naturally isomorphic to the induced module IndH (L0). Hence we may restate Proposition 4.1.4 as follows. Proposition 4.1.6 For any R[G]-module P the following conditions are equiva- lent: i. P is relatively R[H]-projective; G ii. P is isomorphic to a direct summand of IndH (P ); G [ ] iii. P is isomorphic to a direct summand of IndH (L0) for some R H -module L0. Next we give a useful technical criterion. 102 4 Green’s Theory of Indecomposable Modules Lemma 4.1.7 Let {g1,...,gm}⊆G be a set of representatives for the left cosets of H in G; aleftR[G]-module P is relatively R[H ]-projective if and only if there exists an R[H ]-module endomorphism ψ : P −→ P such that