On p-monomial Modules over Local Domains

Size: px
Start display at page:

Download "On p-monomial Modules over Local Domains"

Transcription

1 On p-monomial Modules over Local Domains Robert Boltje and Adam Glesser Department of Mathematics University of California Santa Cruz, CA U.S.A. and December 15, 2004 Abstract We consider direct summands of monomial modules for group algebras over local rings of positive residue characteristic p. If the base ring is a local domain that contains a root of unity of sufficiently large order, the Krull Schmidt theorem holds for these modules and their representation rings over two such base rings are canonically isomorphic. Introduction The class of p-monomial modules (direct summands of monomial modules) was studied in [Bo98] and [BK00] under the name of linear source modules as a natural generalization of the well-understood p-permutation modules, also known as trivial source modules (direct summands of permutation modules). The base ring R used there was assumed to be a complete discrete valuation ring with residue field of characteristic p > 0 (or a field of characteristic p). The reason is that one wants to have available the Krull-Schmidt Theorem, Green s theory of vertices and sources, and the Green correspondence. Here we consider the above mentioned class of modules over an arbitrary local ring R with residue field of characteristic p. We show in Theorems 1.6 and 1.9 that the Krull-Schmidt theorem and Green s theory hold in this general case provided that R is an integral domain that contains a root of unity of order exp(g) in the case that R has characteristic 0, or exp(g) p in the case that R has characteristic p. We do not know if the Krull-Schmidt theorem holds without the assumption on the root of unity. There are two reasons we are interested in such a result. The first is to make the ring R as small as possible in order to carry out calculations more effectively, MR Subject Classification 20C11, 20C20, 19A22 Research supported by the NSF, DMS and

2 whether by hand or by computer. Trivial source modules are of importance in Rickard s version (cf. [Ri96]) of Broué s abelian defect group conjecture. The conjectured chain complexes should already arise over such small R (for example, the localization Z[ζ] with respect to a prime ideal containing p, where ζ is a complex root of unity of order exp(g)). The other reason has to do with considering the representation ring L R (G) of p-monomial RG-modules as a functor in G. In order to have a ring R which is large enough for every finite group G to ensure the Krull-Schmidt Theorem, and Green s theory, we need to have all roots of unity in R. Let K denote the extension of Q in C generated by all roots of unity and let R denote the localization of the ring of integral elements of K with respect to any maximal ideal containing p. Then R is good enough for our purposes. We are very grateful to the referee of a previous version of this paper (that dealt only with the proof of Theorem 1.4) to bring to our attention Green s result on the radical quotients of the endomorphism rings of Green correspondents. 1 Notation and Statement of Results 1.1 Notation Throughout, R denotes a commutative local ring, p its maximal ideal, F := R/p its residue field, and R its group of units. We assume that the characteristic of F is a prime number p. For every ring Λ we denote by J(Λ) its Jacobson radical. The radical of a Λ- module M is denoted by rad Λ (M). All modules will be left modules. If M and N are Λ-modules, we indicate by M N that M is isomorphic to a direct summand of N. If Λ is an R-algebra, we call a Λ-module absolutely indecomposable (in the sense of Huppert, cf. [Hu75]) if End Λ (M)/J(End Λ (M)) = F as F -algebras. Throughout, G denotes a finite group and Syl p (G) the set of its Sylow p- subgroups. The exponent of G will be denoted by exp(g). We write H G (resp. H < G) to indicate that H is a subgroup (resp. a proper subgroup) of G. The index of H in G is denoted by [G : H]. For H G and g G we set g H := ghg 1. By RG we denote the group algebra of G over R. If ϕ Hom(H, R ) is a group homomorphism, we denote by R ϕ the RH-module with underlying R-module R and H-action given by hα := ϕ(h)α for h H and α R. If ϕ = 1 is the trivial homomorphism we usually write R instead of R ϕ. If ϕ Hom(H, R ) and g G we denote by g ϕ Hom( g H, R ) the homomorphism which maps an element x g H to ϕ(g 1 xg). If g G and M is an RH-module, we denote by g M the R[ g H]-module with underlying R-module M and g H-action given by xm := g 1 xgm for x g H and m M. We call g M the g-conjugate of M. We denote by Res G H and Ind G H the usual restriction and induction functors between the categories of RG-modules and RH-modules. 1.2 As usual, an RG-module M is called a permutation RG-module if it has a finite G-invariant R-basis. Equivalently, M is isomorphic to a finite direct sum of RG-modules of the form Ind G H(R) with H G. 2

3 More generally, M is called a monomial RG-module if it is isomorphic to a finite direct sum of RG-modules of the form Ind G H(R ϕ ) for some H G and ϕ Hom(H, R ). Note that conjugations, restrictions, and inductions of permutation (resp. monomial) modules are again permutation (resp. monomial) modules, since the Mackey decomposition formula holds for any base ring. An RG-module M is called a p-monomial (resp. p-permutation) RG-module if it is isomorphic to a direct summand of a monomial (resp. permutation) RG-module. Note that a p-permutation RG-module is also a p-monomial RGmodule and that every p-monomial RG-module is finitely generated and free as R-module. The terminology is justified by the characterization of p-permutation and p-monomial modules below. A proof in the case where R is a complete discrete valuation ring can be found in [Br85] and [Bo98]. 1.3 Proposition Let R be a commutative local ring. For an RG-module M the following are equivalent: (i) M is a p-monomial (resp. p-permutation) RG-module. (ii) There exists P Syl p (G) such that Res G P (M) is a monomial (resp. permutation) RP -module. (iii) For every p-subgroup P of G, the module Res G P (M) is a monomial (resp. permutation) RP -module. Note that conjugations, restrictions, inductions, direct summands, finite direct sums, and tensor products of p-monomial (resp. p-permutation) modules are again p-monomial (resp. p-permutation) modules. If R is a complete discrete valuation ring it is shown in [Bo98] that an indecomposable p-monomial RG-module has a source of the form R ψ. If H G and ϕ Hom(H, R ) we denote by N G (H, ϕ) the set of all elements g G satisfying g H = H and g ϕ = ϕ. If n is a natural number, n p denotes the largest factor of n not divisible by p. One has the following result on the absolute indecomposability of p-monomial RG-modules. 1.4 Theorem Assume that R is a complete discrete valuation ring or a field (i.e., p = 0). Let M be an indecomposable p-monomial RG-module with vertex P G and source R ψ, ψ Hom(P, R ), and set E := End RG (M). Assume that R contains a root of unity of order [N G (P, ψ) : P ] p. Then E/J(E) = F as F -algebras. 1.5 (a) We say that the Krull-Schmidt-Theorem holds for p-monomial RGmodules, if every p-monomial RG-module M has the following two properties: (i) M has a finite decomposition M = U 1 U r into indecomposable RG-submodules. (ii) For any two decompositions M = U 1 U r = V 1 V s as in (i) one has r = s and there exists a permutation σ of degree r such that U i = V σ(i) for all i = 1,..., r. Note that (i) always holds for our rings R, since M is a finitely generated free R-module and R is local. Moreover, recall that (ii) holds whenever End RG (U i ) is 3

4 a local ring for all i = 1,..., r, of some decomposition of M as in (i), cf. [NT89, Theorem I.6.1] (b) In the sequel we will need the following additional hypotheses on R: (i) R is a local domain. (ii) If R has characteristic 0, then R contains a root of unity of order exp(g), and if R has characteristic p, then R contains a root of unity of order exp(g) p. (c) Note that, under the hypothesis 1.5(b), F is a splitting field for F G and that RG/J(RG) = F G/J(F G) is a product of matrix rings over F, cf. [CR81, Theorem 17.1]. 1.6 Theorem Assume that R satisfies the hypotheses in 1.5(b). (a) Let M be an indecomposable p-monomial RG-module and let E := End RG (M). Then E/J(E) = F as R-algebras. (b) The Krull-Schmidt Theorem holds for p-monomial RG-modules. 1.7 The representation ring L R (G) of p-monomial RG-modules is defined as follows. It is the free abelian group on the isomorphism classes {M} of p- monomial RG-modules M modulo the subgroup generated by all elements of the form {M N} {M} {N}. The class of the element {M} is denoted by [M] L R (G). If R satisfies the hypotheses in 1.5(b), it is an easy consequence of the Krull-Schmidt Theorem (cf. Theorem 1.6(b)) that the abelian group L R (G) has a canonical Z-basis consisting of the elements [M], where M runs through a set of representatives of the isomorphism classes of indecomposable p-monomial RG-modules. The ring structure on L R (G) is given by [M] [N] = [M R N] for arbitrary p-monomial RG-modules M and N. Similarly, one can define the representation ring T R (G) of p-permutation RGmodules. If the hypotheses in 1.5(b) are satisfied, T R (G) can be considered as the subring of L R (G) which, as an abelian group, is generated by the canonical basis elements [M], where M is an indecomposable p-permutation RG-module. Note that if R S and S is a local ring with residue field of characteristic p, then the functor S R from the category of RG-modules to the category of SGmodules maps p-monomial (resp. p-permutation) RG-modules to p-monomial (resp. p-permutation) SG-modules. It induces ring homomorphisms L R (G) L S (G) and T R (G) T S (G). 1.8 Remark Assume again that the hypotheses in 1.5(b) on R hold. Then, with the Krull-Schmidt Theorem in place, Green s theory of vertices and sources, and the Green correspondence are valid for p-monomial RG-modules. If M is an indecomposable p-monomial RG-module with vertex P, its source must be of the form R ψ with ψ Hom(P, R ), and we call (P, ψ) a defect pair of M. Note that M is a p-permutation RG-module if and only if ψ = 1. Note also that the defect pairs (P, ψ) of M are uniquely determined up to G-conjugacy as the maximal pairs with the property R ψ Res G P (M). Here we use the obvious partial order on such pairs: (Q, λ) (P, ψ) if and only if Q P and λ = ψ Q. Under the hypotheses in 1.5(b), it follows easily from Theorem 1.6(b) that an RG-module M is a p-monomial (resp. p-permutation) RG-module if and 4

5 only if every indecomposable direct summand has a linear (resp. trivial) source, i.e., a source of the form R ψ (resp. R). In the case that R is a complete discrete valuation ring, these modules have been called linear (resp. trivial) source modules, a name now justified for rings R satisfying the hypotheses in 1.5(b). 1.9 Theorem Assume that R satisfies the hypotheses in 1.5(b), that S is a local domain which contains R, and that the maximal ideal P of S satisfies p = R P. Then the functor S R induces a bijection between the isomorphism classes of indecomposable p-monomial (resp. p-permutation) RG-modules and the isomorphism classes of indecomposable p-monomial (resp. p-permutation) SG-modules. This bijection preserves defect pairs and is compatible with the Green correspondence. In particular, the induced ring homomorphisms are isomorphisms. 2 Proofs L R (G) L S (G) and T R (G) T S (G) We continue to assume the notations from 1.1. Before we prove Proposition 1.3 and Theorems 1.4, 1.6, and 1.9, we recall and establish a few useful facts for the reader s convenience. 2.1 Lemma Let Λ be an R-algebra which is finitely generated as R-module and let M be a Λ-module. (a) One has pλ J(Λ) and pm rad Λ (M). (b) Assume that M and N are finitely generated Λ-modules which are free as R-modules and assume that f Hom Λ (M, N) has the property that the induced map f : M/pM N/pN is an isomorphism. Then f is an isomorphism. (c) Assume that M is finitely generated and free as R-module and that f End Λ (M) satisfies f(m) rad Λ (M). Then f is contained in J(End Λ (M)). (d) Assume that S is a local ring containing R as a unitary subring and that the maximal ideal P of S satisfies p = R P. Furthermore, set S := S/P and Λ := Λ/J(Λ). Then (S R Λ)/J(S R Λ) = (S F Λ)/J(S F Λ) as S-algebras. In particular, if Λ = l i=1 Mat n i (F ), then (S R Λ)/J(S R Λ) = l i=1 Mat n i (S). (e) Assume that Λ = RG and that P Syl p (G). Then M Ind G P (Res G P (M)). (f) Assume that Λ = RP for a finite p-group P, that Q P, and that M = Ind P Q(R ψ ) for some ψ Hom(Q, R ). Then End Λ (M)/J(End Λ (M)) = F. In particular, Ind P Q(R ψ ) is absolutely indecomposable and the Krull-Schmidt Theorem holds for p-monomial RP -modules, cf. 1.5(a). 5

6 Proof (a) Every simple Λ-module is finitely generated as R-module and therefore, by Nakayama s Lemma, annihilated by p and pλ. Thus, pλ J(Λ). Moreover, for an arbitrary Λ-module M on has pm = pλm J(Λ)M rad Λ (M). (b) This is well-known. See for instance [La95, Proposition X.4.5]. (c) It suffices to show that id M fg is an isomorphism for every g End Λ (M). It is easy to see that f(m) rad Λ (M) implies that id M fg is surjective. Therefore, the F -linear map id M fg : M/pM M/pM is surjective, and also bijective, since M/pM is a finite-dimensional F -vector space. Now, Part (b) implies the result. (d) Let i: P S and j : J(Λ) Λ denote the inclusion maps. By Part (a) we have (i id)(p R Λ) = P(S R Λ) J(S R Λ). We claim that also (id j)(s R J(Λ)) J(S R Λ). In fact, since pλ J(Λ) and since Λ/pΛ is a finite-dimensional F -algebra, J(Λ)/pΛ = J(Λ/pΛ) is a nilpotent ideal of Λ/pΛ. Choose n N such that J(Λ) n pλ. Then [(id j)(s R J(Λ)] n (id j)(s R pλ) = (i id)(ps R Λ) (i id)(p R Λ) J(S R Λ). This implies the inclusion claimed above. Therefore, the kernel of the natural surjection S R Λ S R Λ = S F Λ which is equal to (i id)(p R Λ) + (id j)(s R J(Λ)) is contained in J(S R Λ). This implies the result. (e) It is easy to check that the maps f : M RG RP M, m g G/P g g 1 m, and h: RG RP M M, g m [G : P ] 1 gm, are RG-module homomorphisms satisfying h f = id M. (f) By Part (a), the trivial F P -module F is the only simple RP -module. Thus, rad RP (M) is equal to the intersection of the kernels of all RP -module homomorphisms M = Ind P Q(R ψ ) F. Obviously, the kernel of each such homomorphism contains the RP -submodule { g P/Q g α g RP RQ R ψ g P/Q α g p}. On the other hand, this submodule is maximal, since the factor module is isomorphic to F. Thus the above submodule equals rad RP (M) and M/rad RP (M) = F. By Part (c), the kernel of the R-module homomorphism End RP (M) M/rad RP (M)( = F ), f f(1 1) + rad RP (M) is contained in J(End RP (M)). This implies that the kernel is equal to J(End RP (M)). Thus, we have End RP (M)/J(End RP (M)) = F. 2.2 Proof of Proposition 1.3. We prove only the version for p-monomial RGmodules. The version for p-permutation RG-modules is proved similarly. (i) (ii): Let P Syl p (G). If M is a p-monomial RG-module, then Res G P (M) is a p-monomial RP -module. Now, Lemma 2.1(f) implies that Res G P (M) is a monomial RP -module. (ii) (iii): If Res G P (M) is monomial for some P Syl p (G), then, by conjugation, for all P Syl p (G). Now, (iii) follows from the transitivity of restriction. 6

7 (iii) (i): By Lemma 2.1(e), we have M Ind G P (Res G P (M)) for each P Syl p (G). Since Res G P (M) is a monomial RP -module, M is a p-monomial RGmodule. 2.3 Lemma Asume that R is a local domain, let H, I G, ϕ Hom(H, R ), ψ Hom(I, R ), and set M := Ind G H(R ϕ ) and N := Ind G I (R ψ ). (a) For g G with the property that ϕ g H I = ( g ψ) g H I, let f g Hom RG (M, N) be defined by f g (x 1) := ϕ(h) 1 xhg 1 h H/H g I for x G. If g runs through a set of representatives of the double cosets H\G/I satisfying ϕ g H I = ( g ψ) g H I, then the elements f g form an R-basis of Hom RG (M, N). (b) If H is a normal subgroup of G, then End RG (M) = R[N G (H, ϕ)/h]. Proof (a) One can verify easily that f g is a well-defined RG-module homomorphism which is (up to a unit in R) independent of the choice of g in HgI. The rest follows from [BK00, 1.6,1.7], since R is a domain. (b) One verifies easily, that f g f g = f g g. Thus, End RG (M) is isomorphic to the opposite ring of the group algebra R[N G (H, ϕ)/h], which in turn is isomorphic to the group algebra by mapping a group element to its inverse. 2.4 Corollary Let S be a local domain containing R as a subring and let M be a p-monomial RG-module. (a) The canonical map S R End RG (M) End SG (S R M), s f ( t m st f(m) ), of S-algebras is an isomorphism. (b) Let P := J(S) and assume that p = R P. Moreover, set S := S/P and E := End RG (M)/J(End RG (M)). Then one has an isomorphism End SG (S R M)/J(End SG (S R M) = (S F E)/J(S F E) of S-algebras. In particular, if E is isomorphic to F as F -algebras, then End SG (S R M)/J(End SG (S R M) is isomorphic to S as S-algebras. Proof (a) The functors S R Hom RG (, ) and Hom SG (S R, S R ) on the direct product of the category of RG-modules with itself to the category of S-modules are additive and the maps λ X,Y : S Hom RG (X, Y ) Hom SG (S R X, S R Y ), s f ( t x st f(x) ), 7

8 for RG-modules X and Y, form a natural transformation. By Lemma 2.3(a), λ X,Y is an isomorphism in the case that X = Ind G H(R ϕ ) and Y = Ind G I (R ψ ) with H, I, ϕ, ψ as in Lemma 2.3(a), since the S-basis elements 1 f g with f g Hom RG (X, Y ) are mapped to the corresponding S-basis elements of Hom SG (S R X, S R Y ), since S R X = Ind G H(S ϕ ) and S R Y = Ind G I (S ψ ) in a canonical way. Now the naturality of the maps λ X,Y extends this property to monomial RG-modules and then to p-monomial RG-modules. (b) This is an immediate consequence of Part (a) and Lemma 2.1(d). 2.5 Proof of Theorem 1.4. Recall from the hypothesis that M is an indecomposable p-monomial RG-module with defect pair (P, ψ). Let H := N G (P ) and let N be the Green correspondent of M. Then N Ind H P (R ψ ) =: X and we assume that N is a submodule of X. For the endomorphism rings E := End RG (M) and E := End RH (N) one has an F -algebra isomorphism E/J(E) = E /J(E ). This is an easy consequence of a Theorem of Green, cf. [NT89, Theorem IV.5.4]. Let e End RH (X) be an idempotent with e(x) = N. Then, by Lemma 2.3(b) and Lemma 2.1(a), one has an F -algebra isomorphism End RH (X)/J(End RH (X)) = F [N G (P, ψ)/p ]/J(F [N(P, ψ)/p ]. By 1.5(c), the latter F -algebra is isomorphic to a direct product of matrix algebras over F. Moreover E = eendrh (X)e and E /J(E ) = e[end RH (X)/J(End RH (X))]e, where e denotes the class of e modulo J(End RH (X)). This implies that E /J(E ) is again a direct product of matrix algebras over F. On the other hand it is a division ring, by [CR81, Proposition 6.10]. Thus, E/J(E) = E /J(E ) = F as F -algebras. 2.6 Proof of Theorem 1.6. Note that (b) is an immediate consequence of (a), cf. 1.5(a). In order to prove Part (a) we distinguish the two possible cases for the characteristic of R, namely 0 or p. Assume first that R has characteristic 0. We proceed in two steps. First we prove the result for a special ring R 0 and then use this to prove the general case. Let ζ C be a root of unity of order exp(g). Step 1. Assume that R = R 0 is the localization of the ring Z[ζ] with respect to some prime ideal of Z[ζ] containing p. We will show that Part (a) holds for R 0. Let p 0 denote the maximal ideal of R 0, ˆR0 its p 0 -adic completion with maximal ideal ˆp 0. Then the natural ring homomorphism F 0 := R 0 /p 0 ˆR 0 /ˆp 0 is an isomorphism. By [CR81, Theorem 30.18(ii)] we know that with M also ˆR 0 R0 M is an indecomposable p-monomial ˆRG-module. Since End ˆR0 G ( ˆR 0 R0 M)/J(End ˆR0 G ( ˆR 0 R0 M)) = ˆR 0 /ˆp 0 = F0 by Theorem 1.4, it follows from Corollary 2.4(b) that E = F 0. Thus, Part (a) holds for R = R 0. 8

9 Step 2. For our general ring R, there exists an injective ring homomorphism i: Z[ζ] R and i 1 (p) is a prime ideal of Z[ζ] containing p. Thus, i can be extended to a ring homomorphism R 0 R with a ring R 0 as considered in Step 1. We identify R 0 with its image under i. If M is an indecomposable p-monomial R 0 G-module, then End R0G(M)/J(End R0G(M)) = F 0 by Step 1 and End RG (R R0 M)/J(End RG (R R0 M)) = (F F0 F 0 )/J((F F0 F 0 ) = F by Corollary 2.4(b). Therefore, R R0 M is again indecomposable. For every subgroup H G one has a bijection between Hom(H, R 0 ) and Hom(H, R ), by composition with the inclusion R 0 R, since ζ is already contained in R 0. Moreover, R R0 Ind G H((R 0 ) ϕ ) = Ind G H(R ϕ ) for ϕ Hom(H, R 0 ). Thus, if Ind G H((R 0 ) ϕ ) = M 1 M n is a decomposition into indecomposable submodules, then Ind G H(R ϕ ) = (R R0 M 1 ) (R R0 M n ) is again a decomposition into indecomposable modules with local endomorphism rings. This implies that the Krull-Schmidt Theorem holds for p-monomial RG-modules, cf. 1.5(a). Moreover, it shows that every indecomposable p-monomial RG-module is of the form R R0 M for an indecomposable p-monomial R 0 G-module M. As shown above, such a module has an endomorphism ring with radical quotient isomorphic to F. This completes the proof if R has characteristic 0. Now assume that R has characteristic p, let ζ R be a root of unity of order exp(g) p and let R 0 be the smallest subring of R containing ζ. Then R 0 is a finite field. Therefore, Part (a) holds for R 0 by Theorem 1.4. Now we proceed as in Step 2 above to obtain the result for R. 2.7 Proof of Theorem 1.9. The Krull-Schmidt Theorem holds for p-monomial SG-modules and RG-modules by Theorem 1.6 and we can identify Hom(H, R ) and Hom(H, S ) for each H G, since R satisfies the hypotheses in 1.5(b). Moreover, Ind G H(S ϕ ) = S R Ind G H(R ϕ ) for every ϕ Hom(H, R ). Thus, Theorem 1.6 and Corollary 2.4(b) imply that the functor S R induces a surjective map between the isomorphism classes of indecomposable p-monomial RG-modules and those of indecomposable p-monomial SG-modules. If (P, ψ) is a defect pair of an indecomposable p-monomial RG-module M, then, by the characterization of defect pairs in Remark 1.8, there exists a defect pair (Q, ϕ) of S R M satisfying (P, ψ) (Q, ϕ). On the other hand, with M also S R M is relatively P -projective. This implies (P, ψ) = (Q, ϕ). Moreover, if we set H := N G (P ) and if the p-monomial RH-module N is the Green correspondent of M, then also N has (P, ψ) as a defect pair. By the above, also S R M and S R N have (P, ψ) as a defect pair. It is now easy to see that S R N is the Green correspondent of S M. We still have to show that the surjective map between the isomorphism classes of indecomposable p-monomial RG-modules and those of indecomposable p-monomial SG-modules is injective. Since defect pairs are preserved, it suffices to show that the number of isomorphism classes of indecomposable p-monomial RG- and SG-modules with a fixed defect pair (P, ψ) coincide. Moreover, since 9

10 the Green correspondence is respected, we may assume that G = N G (P ). In this case, by Lemma 2.3(b), we have End RG (Ind G P (R ψ )) = RN as R-algebras and End RG (Ind G P (S ψ )) = SN as S-algebras, with N := N G (P, ψ)/p. If 1 = l n i i=1 j=1 e ij ( ) is a primitive idempotent decomposition of 1 in RN satisfying e ij is (RN) -conjugate to e i j i = i, ( RN ) then the number of isomorphism classes of indecomposable p-monomial RGmodules with defect pair (P, ψ) is equal to l. Let R 0 R be defined as in 2.6, depending on the characteristic of R. If R has characteristic p, then R 0 is a finite field and many of the following arguments can be shortened. We denote the residue field of R 0 by F 0. Now choose a primitive idempotent decomposition of R 0 N as in ( ) satisfying ( R0 N ). Let ˆR 0 denote the completion of R 0 with respect to F 0. In the case that R has characteristic p we have ˆR 0 = R 0. In general we have a commutative diagram ˆR 0 N RN ˆR 0 N/J( ˆR 0 N) R 0 N RN/J(RN) R 0 N/J(R 0 N) where all maps are the canonical ones. By [CR81, 30.17] applied to the projective indecomposable R 0 N-modules and by 1.5(c) applied to R 0 together with Lemma 2.1(d) applied to Λ = R 0 N and R 0 ˆR 0, the decomposition ( ) is still a primitive idempotent decomposition in ˆR 0 N satisfying ( ˆR0 N ). By standard theorems on lifting idempotents over the base ring ˆR 0, we obtain that the image of ( ) in ˆR 0 N/J( ˆR 0 N) is again a primitive idempotent decomposition satisfying ( ˆR0N/J( ˆR 0N) ). The same must therefore hold for any algebra through which the canonical map R 0 N ˆR 0 N/J( ˆR 0 N) factors, including R 0 N/J(R 0 N). Again by 1.5(c) applied to R 0 together with Lemma 2.1(d) applied to Λ = R 0 N and R 0 R, the image of ( ) in RN/J(RN) is again a primitive idempotent decomposition in RN/J(RN) satisfying ( RN/J(RN) ). Since the natural map R 0 N RN/J(RN) factors through RN, the decomposition ( ) is also a primitive idempotent decomposition in RN satisfying ( RN ). 10

11 Altogether, we have shown that the number of isomorphism classes of indecomposable p-monomial RG-modules with defect pair (P, ψ) is equal to l, a number that only depends on R 0. Since S leads to the same ring R 0, the bijectivity of the map between isomorphism classes of indecomposable p-monomial RG- and SG-modules is now proved. As noted in Remark 1.8, an indecomposable p-monomial RG-module is a p-permutation RG-module if and only if its defect pairs are of the form (P, 1). Thus, the invariance of defect pairs implies that the map between isomorphism classes of indecomposable p-monomial modules restricts to a bijection between the isomorphism classes of indecomposable p-permutation modules over R and S. References [Bo98] [BK00] [Br85] R. Boltje: Linear source modules and trivial source modules. Proc. Sympos. Pure Math. 63 (1998), R. Boltje, B. Külshammer: A generalized Brauer construction and linear source modules. Trans. Amer. Math. Soc. 352 (2000), M. Broué: On Scott modules and p-permutation modules: An approach through the Brauer morphism. Proc. Amer. Math. Soc. 93 (1985), [CR81] C. W. Curtis, I. Reiner: Methods of representation theory, Vol. 1. J. Wiley & Sons, New York [Hu75] B. Huppert: Bemerkungen zur modularen Darstellungstheorie. I. Absolut unzerlegbare Moduln. Arch. Math. 26 (1975), [La95] S. Lang: Algebra. Addison-Wesley, [NT89] [Ri96] H. Nagao, Y. Tsushima: Representations of finite groups. Academic Press, San Diego J. Rickard: Splendid equivalences: Derived categories and permutation modules. Proc. London Math. Soc. 72 (1996),

RAPHAËL ROUQUIER. k( )

RAPHAËL ROUQUIER. k( ) GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of

More information

The Ring of Monomial Representations

The Ring of Monomial Representations Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents

More information

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

More information

MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #

MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP # Communications in Algebra, 33: 3667 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243312 MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL

More information

arxiv: v1 [math.rt] 12 Jul 2018

arxiv: v1 [math.rt] 12 Jul 2018 ON THE LIFTING OF THE DADE GROUP CAROLINE LASSUEUR AND JACQUES THÉVENAZ arxiv:1807.04487v1 [math.rt] 12 Jul 2018 Abstract. For the group of endo-permutation modules of a finite p-group, there is a surjective

More information

Chain complexes for Alperin s weight conjecture and Dade s ordinary conjecture in the abelian defect group case

Chain complexes for Alperin s weight conjecture and Dade s ordinary conjecture in the abelian defect group case Chain complexes for Alperin s weight conjecture and Dade s ordinary conjecture in the abelian defect group case Robert Boltje Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A.

More information

New York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group

New York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in

More information

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to

More information

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

SOURCE ALGEBRAS AND SOURCE MODULES J. L. Alperin, Markus Linckelmann, Raphael Rouquier May 1998 The aim of this note is to give short proofs in module

SOURCE ALGEBRAS AND SOURCE MODULES J. L. Alperin, Markus Linckelmann, Raphael Rouquier May 1998 The aim of this note is to give short proofs in module SURCE ALGEBRAS AND SURCE MDULES J. L. Alperin, Markus Linckelmann, Raphael Rouquier May 1998 The aim of this note is to give short proofs in module theoretic terms of two fundamental results in block theory,

More information

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

Frobenius Green functors

Frobenius Green functors UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative

More information

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

More information

Rings With Topologies Induced by Spaces of Functions

Rings With Topologies Induced by Spaces of Functions Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,

More information

arxiv: v1 [math.rt] 11 Sep 2009

arxiv: v1 [math.rt] 11 Sep 2009 FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Representations of quivers

Representations of quivers Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice

More information

On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

More information

Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

More information

NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS

NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS NILPOTENT ELEMENTS IN RINGS OF INTEGRAL REPRESENTATIONS IRVING REINER 1. Introduction. Let G be a finite group, and let P be a discrete valuation ring of characteristic zero, with maximal ideal P = irr,

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2017 Lecture #5 09/20/2017 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

Correct classes of modules

Correct classes of modules Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Projective and Injective Modules

Projective and Injective Modules Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every

More information

GENERALIZED BRAUER TREE ORDERS

GENERALIZED BRAUER TREE ORDERS C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 2 GENERALIZED BRAUER TREE ORDERS BY K. W. R O G G E N K A M P (STUTTGART) Introduction. p-adic blocks of integral group rings with cyclic defect

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

Endomorphism rings of permutation modules

Endomorphism rings of permutation modules Endomorphism rings of permutation modules Natalie Naehrig Lehrstuhl D für Mathematik RWTH Aachen University naehrig@math.rwth-aachen.de December 9, 2009 Abstract Let k be an algebraically closed field

More information

Finite groups determined by an inequality of the orders of their elements

Finite groups determined by an inequality of the orders of their elements Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Ideals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla

Ideals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla 1. Introduction DESCRIBING IDEALS OF ENDOMORPHISM RINGS Brendan Goldsmith and Simone Pabst It is well known that the ring of linear transformations of a nite dimensional vector space is simple, i.e. it

More information

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

A generalized Koszul theory and its applications in representation theory

A generalized Koszul theory and its applications in representation theory A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Broué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3

Broué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3 Revised Version of 11 September 2011 Broué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3 Shigeo Koshitani a,, Jürgen Müller b, Felix Noeske c a Department of Mathematics,

More information

A Krull-Schmidt Theorem for Noetherian Modules *

A Krull-Schmidt Theorem for Noetherian Modules * A Krull-Schmidt Theorem for Noetherian Modules * Gary Brookfield Department of Mathematics, University of California, Riverside CA 92521-0135 E-mail: brookfield@math.ucr.edu We prove a version of the Krull-Schmidt

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

`-modular Representations of Finite Reductive Groups

`-modular Representations of Finite Reductive Groups `-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,

More information

On the Depth 2 Condition for Group Algebra and Hopf Algebra Extensions

On the Depth 2 Condition for Group Algebra and Hopf Algebra Extensions On the Depth 2 Condition for Group Algebra and Hopf Algebra Extensions Robert Boltje Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@ucsc.edu Burkhard Külshammer Mathematical

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,

More information

c-pure Projective and c-pure Injective R-Modules

c-pure Projective and c-pure Injective R-Modules International Mathematical Forum, 5, 2010, no. 57, 2835-2842 c-pure Projective and c-pure Injective R-Modules V. A. Hiremath Department of Mathematics Mangalore University Mangalore-580003, India va hiremath@rediffmail.com

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Homological Dimension

Homological Dimension Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof

More information

arxiv: v1 [math.gr] 4 Mar 2014

arxiv: v1 [math.gr] 4 Mar 2014 K-stable splendid Rickard complexes Yuanyang Zhou Department of Mathematics and Statistics, Central China Normal University, Wuhan, 430079, P.R. China Email: zhouyy74@163.com arxiv:1403.0661v1 [math.gr]

More information

INTRO TO TENSOR PRODUCTS MATH 250B

INTRO TO TENSOR PRODUCTS MATH 250B INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the

More information

Pseudo Sylow numbers

Pseudo Sylow numbers Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo

More information

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9 COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We

More information

MOTIVIC DECOMPOSITION OF PROJECTIVE HOMOGENEOUS VARIETIES AND THE KRULL-SCHMIDT THEOREM

MOTIVIC DECOMPOSITION OF PROJECTIVE HOMOGENEOUS VARIETIES AND THE KRULL-SCHMIDT THEOREM Transformation Groups, Vol.?, No.?,??, pp. 1?? c Birkhäuser Boston (??) MOTIVIC DECOMPOSITION OF PROJECTIVE HOMOGENEOUS VARIETIES AND THE KRULL-SCHMIDT THEOREM V. CHERNOUSOV Department of Mathematical

More information

ON MAXIMAL RADICALS AND PRIME M-IDEALS

ON MAXIMAL RADICALS AND PRIME M-IDEALS ON MAXIMAL RADICALS AND PRIME M-IDEALS John A. Beachy Department of Mathematical Sciences Northern Illinois University DeKalb, IL 60115 ABSTRACT: It is shown that if M is a projective generator in the

More information

FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO

FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO SEJONG PARK Abstract. For each finite p-group P, Glauberman [8] defined characteristic subgroup K (P ) and K (P ) of P and showed that, under

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES

FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES TARAN FUNK AND THOMAS MARLEY Abstract. It is proved that a module M over a Noetherian local ring R of prime characteristic and positive dimension has finite

More information

DOUGLAS J. DAILEY AND THOMAS MARLEY

DOUGLAS J. DAILEY AND THOMAS MARLEY A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.

More information

A note on the basic Morita equivalences

A note on the basic Morita equivalences SCIENCE CHINA Mathematics. ARTICLES. March 204 Vol.57 No.3: 483 490 doi: 0.007/s425-03-4763- A note on the basic Morita equivalences HU XueQin School of Mathematical Sciences, Capital Normal University,

More information

Classifying Camina groups: A theorem of Dark and Scoppola

Classifying Camina groups: A theorem of Dark and Scoppola Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu

More information

SOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB. Chapter 8

SOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB. Chapter 8 SOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB CİHAN BAHRAN I changed the notation in some of the questions. Chapter 8 1. Prove that if G is any finite group then the only idempotents in the

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

The Fitting Submodule

The Fitting Submodule The Fitting Submodule U. Meierfrankenfeld B. Stellmacher Department of Mathematics, Michigan State University, East Lansing MI 48840 meier@math.msu.edu Mathematisches Seminar, Christian-Albrechts- Universität,

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

SELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX

SELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX An. Şt. Univ. Ovidius Constanţa Vol. 9(1), 2001, 139 148 SELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX Alexander Zimmermann Abstract Let k be a field and A be

More information

FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP

FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP FOULKES MODULES AND DECOMPOSITION NUMBERS OF THE SYMMETRIC GROUP EUGENIO GIANNELLI AND MARK WILDON Abstract. The decomposition matrix of a finite group in prime characteristic p records the multiplicities

More information

The Major Problems in Group Representation Theory

The Major Problems in Group Representation Theory The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship

More information

LECTURE NOTES AMRITANSHU PRASAD

LECTURE NOTES AMRITANSHU PRASAD LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

THE DERIVED CATEGORY OF BLOCKS WITH CYCLIC DEFECT GROUPS

THE DERIVED CATEGORY OF BLOCKS WITH CYCLIC DEFECT GROUPS THE DERIVED CATEGORY OF BLOCKS WITH CYCLIC DEFECT GROUPS 1. Introduction Let O be a complete discrete valuation ring with algebraically closed residue field k of characteristic p > 0 and field of fractions

More information

Irreducible subgroups of algebraic groups

Irreducible subgroups of algebraic groups Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland

More information

International Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT

International Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,

More information

VERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP

VERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP VERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP MARK WILDON Abstract. This paper studies the vertices, in the sense defined by J. A. Green, of Specht modules for symmetric groups. The main

More information

Modules over Principal Ideal Domains

Modules over Principal Ideal Domains Modules over Principal Ideal Domains Let henceforth R denote a commutative ring with 1. It is called a domain iff it has no zero-divisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two

More information

Modular Representation Theory of Endomorphism Rings

Modular Representation Theory of Endomorphism Rings Modular Representation Theory of Endomorphism Rings Lehrstuhl D für Mathematik RWTH Aachen University Bad Honnef, April 2010 Alperin s Weight Conjecture Assumptions: Let G be a finite group and k be an

More information

5 Dedekind extensions

5 Dedekind extensions 18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

More information

MATH5735 Modules and Representation Theory Lecture Notes

MATH5735 Modules and Representation Theory Lecture Notes MATH5735 Modules and Representation Theory Lecture Notes Joel Beeren Semester 1, 2012 Contents 1 Why study modules? 4 1.1 Setup............................................. 4 1.2 How do you study modules?.................................

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Cohomology and Base Change

Cohomology and Base Change Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

More information

Math 210B: Algebra, Homework 4

Math 210B: Algebra, Homework 4 Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,

More information

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009 INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section,

More information

MATH 527, Topics in Representation Theory

MATH 527, Topics in Representation Theory Archive of documentation for MATH 527, Topics in Representation Theory Bilkent University, Spring 2016, Laurence Barker version: 20 May 2016 Source file: arch527spr16.tex page 2: Course specification.

More information

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by Lecture 7 1. Modules of fractions Let S A be a multiplicative set, and A M an A-module. In what follows, we will denote by s, t, u elements from S and by m, n elements from M. Similar to the concept of

More information

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT

More information

Subrings of Finite Commutative Rings

Subrings of Finite Commutative Rings Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish

More information

arxiv: v2 [math.ra] 14 Sep 2016

arxiv: v2 [math.ra] 14 Sep 2016 ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left

More information

Algebra. Travis Dirle. December 4, 2016

Algebra. Travis Dirle. December 4, 2016 Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................

More information

THE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley

THE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information