Proposition (D& F, Thm )
|
|
- Kathlyn Pearson
- 5 years ago
- Views:
Transcription
1 Proposition (D& F, Thm ) Let Q be an R-module. The following are equivalent. (1) If 0 ãñ A ' Ñ B Ñ C Ñ 0 is exact, then so is 0 ãñ Hom R pc, Qq Ñ '1 1 Hom R pb,qq Ñ Hom R pa, Qq Ñ0. (2) For any injective ' : A Ñ B and f P Hom R pa, Qq, thereisa lift F of f in Hom R pb,qq: ' A B f (3) If Q is isomorphic to a submodule of B, thenitisadirect summand of B, i.e.everyses0 ãñ Q ' Ñ B Ñ C Ñ 0 splits. (Compare to [D& F, Thm ].) An R-module is called injective if it satisfies any of 1 3. Essentially, property 3 is our favorite again; it says that any module B that Q injects into has Q as a direct summand. Q F 2. For any injective ' : A Ñ B and f P Hom R pa, Qq, thereisa lift F of f in Hom R pb,qq: ' A B Proposition (Baer s Criterion) f An R-module Q is projective if and only if for every left ideal I of R, everyr-module homomorphism I Ñ Q lifts to an R-module homomorphism R Ñ Q. (See [D&F, Prop (1)] for proof.) Q F
2 Defn. An R-module M is divisible if for all r P R, wehave rm M. Ex. Z is not divisible as a Z-module since nz Z for n 1. Ex. F 3 is divisible as a F 3 -module. Ex. Every field F is a divisible module over itself: Fˆ F 0 is a multiplicative group and therefore acts transitively on itself by left multiplication. Proposition (D&F, Prop (2)) If R is a PID, an R-module is injective if and only if it is divisible. Ex. Z is not divisible over itself, so it is not injective. (But again, 0 ãñ Z Ñ n Z Ñ Z{nZ Ñ 0 does not split.) Ex. Q is divisible over Z, soq is an injective Z-module. Theorem (D&F, Thm ) Every R-module M is contained in an injective R-module. Moreover, the minimal such Q is well-defined. Minimality: Fix M. ThereexistsaninjectiveQ such that for all injective Q 1 Ö M, wehaveq Q for some M Ñ Q Ñ Q 1 i.e. up to isomorphism M Ñ Q Ñ Q 1. We call Q the injective hull or injective envelope of M.
3
4 Semisimple rings: decompositions galore AringR is semisimple if every R module is isomorphic to the direct sum of simple modules. Equivalently, R is semisimple if R is a direct sum of simple rings. Non-ex: R Z. The let regular module M Z is not simple (it has submodules nz for all n), but does not split. So Z is not semisimple. Example: We will show FG is semisimple for all finite groups G and fields F whose characteristic of F does not divide G. For example, CS n is semisimple because C has characteristic 0. Non-ex: F 3 has characteristic 3, whichdivides S 3 6; andf 3 S 3 is not semisimple. For example, the permutation module is not simple but does not split. Theorem (Maschke s theorem [D&F, Thm ]) Let G be a finite group and let F be a field whose characteristic does not divide G. LetV be an FG-module, and U be a submodule. Then there is also a submodule W satisfying V U W. (There s a submodule W in V satisfying U X W 0 and U ` W V.) Before we get to the proof... Big example: Let G be a group of order n, F be a field of char not dividing n, and consider the module V FG over R FG. Given the linear algebra that we know, we can decompose FG using inner products and projections as follows...
5 Big example: every submodule of FG is a direct summand Let G be a group of order n, F be a field of char not dividing n, and consider the module V FG over R FG. Define the sym. bilinear form x, y on FG by and extend linearly. xg, hy g,h for all g, h P G, Claim 1: x, y is non-degenerate. If a gpg gg satisfies So xa, F Gy 0, then xa, hy 0 for all h P G. C G ÿ 0 g g, h ÿ g xg, hy h gpg gpg for all h P G. Soa 0. X Big example: every submodule of FG is a direct summand Let G be a group of order n, F be a field of char not dividing n, and consider the module V FG over R FG. Define the sym. bilinear form x, y on FG by and extend linearly. xg, hy g,h for all g, h P G, Claim 2: x, y is invariant. (meaning xgu, vy xu, g 1 vy@g, u, v) Fix an order on G tg 1,...,g n u,yieldinganorderedbasisforfg as a vector space. Since every g P G Ñ R acts on G Ñ V by a permutation, the associated matrix M MG G p pgqq for the action of g on FG is a permutation matrix. (Ch4: G acts on itself by left mult., which induces a hom into S G.) In particular, M 1 M t. So, identifying a P FG with MB 1 paq, we have xga, by pmaq t b a t M t b a t M 1 b xa, g 1 by for all a, b P FG. X
6 Big example: every submodule of FG is a direct summand Let G grp of order n, F field of char - n, and consider V FG over R FG.FixorderG tg 1,...,g n u,anddefinex, y on FG by xg, hy g,h and extending linearly. Then x, y is symmetric, bilinear, invariant, and nondegenerate. Let U be a submodule of FG,anddefine U K tv P FG xu, vy 0u. Nondegenerate ñ dimpu K q dimpfgq dimpuq. Bilinear ñ U K is a subspace. Invariant ñ U K is closed under the FG-action: If xu, vy 0 for all u P U, thenforallg P G, xu, gvy xg 1 u, vy 0, since U is closed under the G-action. So gv P U K for all g P G, andthus gpg g v P U K. X Remains to show: U ` U K FG and U X U K 0. Note: The first implies second by a dimension count. Let G grp of order n, F field of char - n, and consider V FG over R FG.Definex, y on FG by xg, hy g,h and extending linearly. Showing U ` U K FG: Recall, for any a, b P V,wecanwritea b {{ ` b K where since b {{ xa, by xb, by b P Fb and b K a b {{ PpFbq K, xb K by,by xa, by xa, xb, by 0. xb, by Similarly, in any vector space V F n with subspace U, anyvector v can be decomposed as v u ` u K where u P U and u K P U K as follows...
7 Let G grp of order n, F field of char - n, and consider V FG over R FG.Definex, y on FG by xg, hy g,h and extending linearly. Showing U ` U K V : Goal: for each v P V,findu P U and u K P U K such that v u ` u K. Let B tu 1,...,u m u be a basis of U, andwrite u 1 u 1 ` ` m u m for some i P F. Solving v u P U K is the same as solving 0 xu i,v uy xu i,vy` 1 xu i,u 1 y` ` m xu i,u m y for all i 1,...,m. But since x, y is the dot product on V,thisis the same as finding p 1,..., m q t such that 0 M t pv M q, where M u 1 u m P M n,m pf q. Let G grp of order n, F field of char - n, and consider V FG over R FG.Definex, y on FG by xg, hy g,h and extending linearly. Showing U ` U K V : Goal: for each v P V,finduPU and u K P U K such that v u ` u K ;whichisequivalenttofinding p 1,..., m q t such that 0 M t pv M q, where M u 1 u m P M n,m pf q. Note: M is not square, but M t M P M m pf q is. And since the columns of M are linearly independent, M t M is invertible. So 0 M t pv M q ô M t M M t v ô pm t Mq 1 M t v. Then u 1 u 1 ` ` m u m M MpM t Mq 1 M t v P U, and u K v u P U K. X
8 Result: Every v P V can be written as v u ` u K,where u MpM t Mq 1 M t v P U and u K v u P U K (where M has column vectors corresponding to a basis of U). Sanity check 1: When m 1, we rebacktom u and MpM t Mq 1 M t v upu t uq 1 u t v upxu, uyq 1 xv, uy xu, vy xu, uy u as desired. Sanity check 2: If you started with an orthonormal basis of V (pairwise orthogonal and xv i,v i y 1), and considered the space spanned by the first m basis vectors, then M m So M t M I m, and MpM t Mq 1 M t I m 0 n m. In summary: G is a grp of order n, F is a field of char - n, andv FG is a module over R FG.Definex, y on FG by xg, hy g,h and extending linearly. Then x, y is symmetric, bilinear, invariant, and nondegenerate; and for every submodule U Ñ V,eachv P V can be written as v u ` u K,where u MpM t Mq 1 M t v P U and u K v u P U K (where M has column vectors corresponding to a basis of U). So (1) U K is a submodule, (2) V U ` U K,and(3) U X U K 0. Therefore V U U K. Finally, note that MpM t Mq 1 M t : V Ñ U is a FG homomorphism: We have U id u, which is a homomorphism on U. And for v P V,writingv u ` u K,wehave so that gu K P U K (since x, y is G-invariant), pgvq pgu ` gu K q gu g puq.
9 What made this proof work? From the perspective of the ring: FG is an algebra over a field, so fin-dim l modules are all vector spaces (isomorphic to F d for d dimpv q). Using the standard dot product on F d, the projection produces an orthogonal complement U K to any subspace U Ñ V. So V U U K as vector spaces. What s missing: under what circumstances is U K asubmodule? In our example, invariance was a result of Mp pgqq 1 Mp pgqq t for all g P G. Not always true! In particular, it requires tools specific to the module, not the ring. And, in fact, the complementary direct summand is often not the orthogonal complement. Further, if you use an inner product other than dot product, then you might get U ` U K à V.
10 Example Let R V CS 2.Fixbasisv 1 1 and v 2 p12q, andidentifyv with C 2 and EndpV q with M 2 pcq. Consider the bilinear form x, y x, y J where J Nondegenerate X Symmetric X. 0 1 Not invariant: ˆ1 ˆ1 xv 1,v 1 y p1, 0q p1, 0q ˆ ˆ0 0 xv 2,v 2 y p0, 1q p0, 1q 1, So xp12qv 1, p12qv 1 y xv 2,v 2 y xv 1,v 1 y. Example Let R V CS 2.Fixbasisv 1 1 and v 2 p12q, andidentifyv with C 2 and EndpV q with M 2 pcq. Consider the bilinear form x, y x, y J where J. 0 1 Nondegenerate X Symmetric X Not invariant ˆ Now try to decompose CS 2... We have the submodule T Ce`, wheree` v 1 ` v 2. Further, T K tv P CS 2 xv 1 ` v 2,vy 0u So v v 1 ` v 2 P T K whenever ˆ1 0 xv 1 ` v 2,vy p 1, 2 q But that implies that T K T,sothatT ` T K T V. (Compare to the known decomposition CS 2 T S, wheres Ce.)
11 Example Again, let R V CS 2.Fixbasisv 1 1 and v 2 p12q, and identify V with C 2 and EndpV q with M 2 pcq. Now consider x, y x, y J where J 0 2 Nondegenerate X Symmetric X Not invariant: ˆ1 xv 1,v 1 y p1, 0q ˆ0 xv 2,v 2 y p0, 1q 2 1, so that x, y is not S 2 -invariant. Example: Again, let R V CS 2.Fixbasisv 1 1 and v 2 p12q, andidentifyv with C 2 and EndpV q with M 2 pcq. Now consider x, y x, y J where J 0 2 Nondegenerate X Symmetric X Invariant ˆ Again, let T Ce` and consider T K : v v 1 ` v 2 P T K whenever ˆ1 0 xv 1 ` v 2,vy p 1, 2 q ` 2 2. So T K Cp2v 1 v 2 q. This time, we do have T X T K 0 and T ` T K V,sothat V T T K as vector spaces. However, this is still the wrong decomposition of V as modules, since T K is not closed under the S 2 action: p12qp2v 1 v 2 q v 1 ` 2v 2 R T K. So V fl T T K.
REPRESENTATIONS OF GROUP ALGEBRAS. Contents. 1. Maschke s theorem: every submodule is a direct summand. References 6
REPRESENTATIONS OF GROUP ALGEBRAS ZAJJ DAUGHERTY MARCH 27, 28 Contents. Maschke s theorem: every submodule is a direct summand References 6 See [DF, Ch. 8] for proofs and more examples. Jumping back into
More informationReview++ of linear algebra continues
Review++ of linear algebra continues Recall a matrix A P M m,n pf q is an array 1 1 2 1 1 n A p j i q 1 2 2 2 2 n...... 1 m n m This encodes a map ' P HompF n,f m q via the images of basis vectors of F
More informationSOLUTIONS Math B4900 Homework 9 4/18/2018
SOLUTIONS Math B4900 Homework 9 4/18/2018 1. Show that if G is a finite group and F is a field, then any simple F G-modules is finitedimensional. [This is not a consequence of Maschke s theorem; it s just
More information1. Linear algebra is fussy but super useful. 2. Instead of studying an algebra A all at once, study its representations/modules!
BIG LESSONS SO FAR 1. Linear algebra is fuss but super useful. 2. Instead of studing an algebra A all at once, stud its representations/modules! (If ou re luck, A is semisimple, and is thus the direct
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More information12. 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 informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationA Field Extension as a Vector Space
Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationModules 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 informationREPRESENTATION 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 informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationNotes on Representations of Finite Groups. Ambar N. Sengupta
Notes on Representations of Finite Groups Ambar N. Sengupta 18th December, 2007 2 Ambar N. Sengupta Contents Preface............................... 6 1 Basic Definitions 7 1.1 Representations of Groups....................
More informationReview: Review: 'pgq imgp'q th P H h 'pgq for some g P Gu H; kerp'q tg P G 'pgq 1 H u G.
Review: A homomorphism is a map ' : G Ñ H between groups satisfying 'pg 1 g 2 q 'pg 1 q'pg 2 q for all g 1,g 2 P G. Anisomorphism is homomorphism that is also a bijection. We showed that for any homomorphism
More informationTheorem The simple finite dimensional sl 2 modules Lpdq are indexed by
The Lie algebra sl 2 pcq has basis x, y, and h, with relations rh, xs 2x, rh, ys 2y, and rx, ys h. Theorem The simple finite dimensional sl 2 modules Lpdq are indexed by d P Z ě0 with basis tv`, yv`, y
More informationMTH 2310, FALL Introduction
MTH 2310, FALL 2011 SECTION 6.2: ORTHOGONAL SETS Homework Problems: 1, 5, 9, 13, 17, 21, 23 1, 27, 29, 35 1. Introduction We have discussed previously the benefits of having a set of vectors that is linearly
More informationHOMEWORK 4 MATH B4900 DUE: 2/28/ Annihilators. Let R be a ring with 1, and let M be an R-module. The annihilator of M in R is
HOMEWORK 4 MATH B4900 DUE: 2/28/2018 SOLUTIONS Math B4900 Homework 4 2/28/2018 1. Annihilators. Let R be a ring with 1, and let M be an R-module. The annihilator of M in R is (a) Show that AnnpMq is an
More informationMATH Linear Algebra
MATH 304 - Linear Algebra In the previous note we learned an important algorithm to produce orthogonal sequences of vectors called the Gramm-Schmidt orthogonalization process. Gramm-Schmidt orthogonalization
More informationProjective 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 informationEXTERIOR 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 informationLECTURE 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 informationFlag Varieties. Matthew Goroff November 2, 2016
Flag Varieties Matthew Goroff November 2, 2016 1. Grassmannian Variety Definition 1.1: Let V be a k-vector space of dimension n. The Grassmannian Grpr, V q is the set of r-dimensional subspaces of V. It
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationIrreducible Representations of symmetric group S n
Irreducible Representations of symmetric group S n Yin Su 045 Good references: ulton Young tableaux with applications to representation theory and geometry ulton Harris Representation thoery a first course
More informationCHARACTERS AS CENTRAL IDEMPOTENTS
CHARACTERS AS CENTRAL IDEMPOTENTS CİHAN BAHRAN I have recently noticed (while thinking about the skewed orthogonality business Theo has mentioned) that the irreducible characters of a finite group G are
More informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationMath Linear Algebra
Math 220 - Linear Algebra (Summer 208) Solutions to Homework #7 Exercise 6..20 (a) TRUE. u v v u = 0 is equivalent to u v = v u. The latter identity is true due to the commutative property of the inner
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More information5 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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More information5 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 informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationTENSOR PRODUCTS, RESTRICTION AND INDUCTION.
TENSOR PRODUCTS, RESTRICTION AND INDUCTION. ANDREI YAFAEV Our first aim in this chapter is to give meaning to the notion of product of characters. Let V and W be two finite dimensional vector spaces over
More informationarxiv: v1 [math.ag] 25 Dec 2015
ORTHOGONAL AND UNITARY TENSOR DECOMPOSITION FROM AN ALGEBRAIC PERSPECTIVE arxiv:1512.08031v1 [math.ag] 25 Dec 2015 ADA BORALEVI, JAN DRAISMA, EMIL HOROBEŢ, AND ELINA ROBEVA Abstract. While every matrix
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationThe 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 informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationALGEBRA 8: Linear algebra: characteristic polynomial
ALGEBRA 8: Linear algebra: characteristic polynomial Characteristic polynomial Definition 8.1. Consider a linear operator A End V over a vector space V. Consider a vector v V such that A(v) = λv. This
More informationLecture 19: Isometries, Positive operators, Polar and singular value decompositions; Unitary matrices and classical groups; Previews (1)
Lecture 19: Isometries, Positive operators, Polar and singular value decompositions; Unitary matrices and classical groups; Previews (1) Travis Schedler Thurs, Nov 18, 2010 (version: Wed, Nov 17, 2:15
More informationOn Representability of a Finite Local Ring
Journal of Algebra 228, 417 427 (2000) doi:10.1006/jabr.1999.8242, available online at http://www.idealibrary.com on On Representability of a Finite Local Ring A. Z. Anan in Departamento de Matemática
More informationMath 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 informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationLecture 11 The Radical and Semisimple Lie Algebras
18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then
More informationLecture 29: Free modules, finite generation, and bases for vector spaces
Lecture 29: Free modules, finite generation, and bases for vector spaces Recall: 1. Universal property of free modules Definition 29.1. Let R be a ring. Then the direct sum module is called the free R-module
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,
More informationHilbert modules, TRO s and C*-correspondences
Hilbert modules, TRO s and C*-correspondences (rough notes by A.K.) 1 Hilbert modules and TRO s 1.1 Reminders Recall 1 the definition of a Hilbert module Definition 1 Let A be a C*-algebra. An Hilbert
More informationSection 6.2, 6.3 Orthogonal Sets, Orthogonal Projections
Section 6. 6. Orthogonal Sets Orthogonal Projections Main Ideas in these sections: Orthogonal set = A set of mutually orthogonal vectors. OG LI. Orthogonal Projection of y onto u or onto an OG set {u u
More informationSome notes on linear algebra
Some notes on linear algebra Throughout these notes, k denotes a field (often called the scalars in this context). Recall that this means that there are two binary operations on k, denoted + and, that
More informationContents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2
Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition
More informationOrthogonal Complements
Orthogonal Complements Definition Let W be a subspace of R n. If a vector z is orthogonal to every vector in W, then z is said to be orthogonal to W. The set of all such vectors z is called the orthogonal
More informationInternational Mathematical Forum, Vol. 7, 2012, no. 56, Epiform Modules. Inaam M. A. Hadi
International Mathematical Forum, Vol. 7, 2012, no. 56, 2749-2758 Epiform Modules Inaam M. A. Hadi Department of Mathematics College of Education Ibn-Al-Haitham University of Baghdad Baghdad, Iraq innam1976@yahoo.com
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationOn the Self-dual Representations of a p-adic Group
IMRN International Mathematics Research Notices 1999, No. 8 On the Self-dual Representations of a p-adic Group Dipendra Prasad In an earlier paper [P1], we studied self-dual complex representations of
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationALGEBRA 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 informationREPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97])
REPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97]) MICHAEL WALTER. Diagrams and Tableaux Diagrams and Tableaux. A (Young) diagram λ is a partition of a natural number n 0, which we often
More informationMath 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg
Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
More informationTopics in Module Theory
Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study
More informationDefinition of adjoint
Definition of adjoint Aim lecture: We generalise the adjoint of complex matrices to linear maps between fin dim inner product spaces. In this lecture, we let F = R or C. Let V, W be inner product spaces
More informationRepresentations 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 informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationYOUNG-JUCYS-MURPHY ELEMENTS
YOUNG-JUCYS-MURPHY ELEMENTS MICAH GAY Abstract. In this lecture, we will be considering the branching multigraph of irreducible representations of the S n, although the morals of the arguments are applicable
More informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
More informationCrew of25 Men Start Monday On Showboat. Many Permanent Improvements To Be Made;Project Under WPA
U G G G U 2 93 YX Y q 25 3 < : z? 0 (? 8 0 G 936 x z x z? \ 9 7500 00? 5 q 938 27? 60 & 69? 937 q? G x? 937 69 58 } x? 88 G # x 8 > x G 0 G 0 x 8 x 0 U 93 6 ( 2 x : X 7 8 G G G q x U> x 0 > x < x G U 5
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationNon-square diagonal matrices
Non-square diagonal matrices Aim lecture: We apply the spectral theory of hermitian operators to look at linear maps T : V W which are not necessarily endomorphisms. This gives useful factorisations of
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
More informationINJECTIVE 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 informationCOURSE 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 informationALGEBRA QUALIFYING EXAM, WINTER SOLUTIONS
ALGEBRA QUALIFYING EXAM, WINTER 2017. SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationRank & nullity. Defn. Let T : V W be linear. We define the rank of T to be rank T = dim im T & the nullity of T to be nullt = dim ker T.
Rank & nullity Aim lecture: We further study vector space complements, which is a tool which allows us to decompose linear problems into smaller ones. We give an algorithm for finding complements & an
More informationEndomorphism 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 informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationMath 261 Lecture Notes: Sections 6.1, 6.2, 6.3 and 6.4 Orthogonal Sets and Projections
Math 6 Lecture Notes: Sections 6., 6., 6. and 6. Orthogonal Sets and Projections We will not cover general inner product spaces. We will, however, focus on a particular inner product space the inner product
More information3 Representations of finite groups: basic results
3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above,
More informationTENSOR PRODUCTS. (5) A (distributive) multiplication on an abelian group G is a Z-balanced map G G G.
TENSOR PRODUCTS Balanced Maps. Note. One can think of a balanced map β : L M G as a multiplication taking its values in G. If instead of β(l, m) we write simply lm (a notation which is often undesirable)
More informationSupplementary Notes March 23, The subgroup Ω for orthogonal groups
The subgroup Ω for orthogonal groups 18.704 Supplementary Notes March 23, 2005 In the case of the linear group, it is shown in the text that P SL(n, F ) (that is, the group SL(n) of determinant one matrices,
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More information