Group actions and identities for the simple Lie algebra sl 2 (C)

Size: px
Start display at page:

Download "Group actions and identities for the simple Lie algebra sl 2 (C)"

Transcription

1 Group actions and identities for the simple Lie algebra sl 2 (C IMECC - Unicamp September 02, 2011

2 Beginning: A. Giambruno, A. Regev, Wreath products and PI algebras, J. Pure Appl. Algebra 35 (

3 To have a description of G-identities of sl 2 (C, where G is a finite group that acts faithfully on sl 2 (C.

4 Berele in 2004 in the paper Polynomial identities for 2 2 matrices with finite group actions, J. Algebra 274 (1 ( , described bases of the G-identities for the matrix algebra of order two M 2 (C, where G is a finite group acting faithfully on M 2 (C. It is well known that if G is a finite group that acts faithfully on M 2 (C, then it must be one of the groups Z n, D n,. His proofs rely on the concrete basis of the 2-graded identities for M 2 (C found by Di Vincenzo in 1993 and on computations in the group algebras of the corresponding groups.

5 Our problem is analogous to Berele s problem for the simple three-dimensional Lie algebra sl 2 (C. Fortunately, in this case it is well known that the finite groups that act faithfully on sl 2 (C are the same as those for M 2 (C, and they act on sl 2 (C in the same way that they act on M 2 (C, by conjugation of matrices. We use the concrete form of the 2-graded identities for sl 2 (C, and moreover, some methods and techniques developed by Berele. We exhibit bases of the corresponding G-identities for sl 2 (C.

6 How we approach the problem:

7 How we approach the problem: The same way that Berele did. is the easiest case, because of that we discuss it separately. We treat each group family in turn, so we divide the problem in three cases. In the first two cases, where the groups are Z n and D n, we consider computations in the group algebras of the corresponding groups. In the last case, where the groups are we consider sl 2 (C as a G-module.

8 Notation:

9 Notation: X = {x 1, x 2, x 3,...} will denote an infinite countable set. G will denote a group. By a G-Lie Algebra we understand a Lie Algebra together with a group G that acts on it. LC X ; G will denote the C-free Lie algebra of symbols g(x, where g G and x X, that we will refer to as G-free Lie algebra.

10 Definition Given f LC X ; G and a G- Lie algebra A, f is called a G-polynomial identity of A, if for every G-homomorphism ϕ : LC X ; G A, ϕ(f = 0. Remark The set of all G-polynomial identities of A is a G-ideal of LC X ; G, that is invariant under all G-endomorphisms. This set will be denoted by T G (A. The relatively free algebra of the G-Lie algebra A is the algebra LC X ; G. T G (A

11 G = : Let G = {e, g} = and its action on sl 2 (C be given by: ( a b e c a ( a b = c a and ( a b g c a ( a b = c a.

12 G = : Let G = {e, g} = and its action on sl 2 (C be given by: ( a b e c a ( a b = c a and ( a b g c a ( a b = c a. G-identity: [e(x + g(x, e(y + g(y] = 0.

13 The algebra sl 2 (K, where K is an infinite field of characteristic different from 2, admits a natural -grading: sl 2 (K = K(e 11 e 22 (Ke 12 + Ke 21.

14 The algebra sl 2 (K, where K is an infinite field of characteristic different from 2, admits a natural -grading: sl 2 (K = K(e 11 e 22 (Ke 12 + Ke 21. Theorem (Koshlukov The graded identities for sl 2 (K with the above grading follow from the identity [x 1, x 2 ] = 0 where x 1 and x 2 are even (neutral variables.

15 The algebra sl 2 (K, where K is an infinite field of characteristic different from 2, admits a natural -grading: sl 2 (K = K(e 11 e 22 (Ke 12 + Ke 21. Theorem (Koshlukov The graded identities for sl 2 (K with the above grading follow from the identity [x 1, x 2 ] = 0 where x 1 and x 2 are even (neutral variables. For all x sl 2 (C define π 0 (x = e(x + g(x. Then it follows from Koshlukov s theorem that all the G-polynomial identities are consequences of:

16 The algebra sl 2 (K, where K is an infinite field of characteristic different from 2, admits a natural -grading: sl 2 (K = K(e 11 e 22 (Ke 12 + Ke 21. Theorem (Koshlukov The graded identities for sl 2 (K with the above grading follow from the identity [x 1, x 2 ] = 0 where x 1 and x 2 are even (neutral variables. For all x sl 2 (C define π 0 (x = e(x + g(x. Then it follows from Koshlukov s theorem that all the G-polynomial identities are consequences of: [π 0 (x, π 0 (y] = 0.

17 G = Z/nZ = Z n (n 3 : Let G = Z n be generated by g G.

18 G = Z/nZ = Z n (n 3 : Let G = Z n be generated by g G. g acts on sl 2 (C by conjugation by a matrix A of order n. ( 1 0 We can assume that A is a diagonal matrix of the form 0 ω where ω is a n-th primitive root of unity. ( ( a b a ω Then g = 1 b c a ωc a,

19 G = Z/nZ = Z n (n 3 : Let G = Z n be generated by g G. g acts on sl 2 (C by conjugation by a matrix A of order n. ( 1 0 We can assume that A is a diagonal matrix of the form 0 ω where ω is a n-th primitive root of unity. ( ( a b a ω Then g = 1 b c a ωc a CG = n 1 i=0 Ce i, where each e i, i {0,..., n 1}, is a primitive idempotent and e i = (1/n n 1 j=0 ω ji g j. Since G is abelian we can use this decomposition to obtain an equivalence between the G-actions and the G-gradings. sl 2 (C = n 1 i=0 e isl 2 (C. If i 0, 1, n 1, then e i sl 2 (C = 0.,

20 Denote e n 1 by e 1, then instead of considering the Z n grading on sl 2 (C, we can consider a Z-grading concentrated in { 1, 0, 1}.

21 Denote e n 1 by e 1, then instead of considering the Z n grading on sl 2 (C, we can consider a Z-grading concentrated in { 1, 0, 1}. Thus we have that ( ( ( a b a 0 a b e 0 =, e c a 0 a 1 c a ( a e 1 c b = a ( 0 b 0 0 =. ( 0 0 c 0, and

22 Denote e n 1 by e 1, then instead of considering the Z n grading on sl 2 (C, we can consider a Z-grading concentrated in { 1, 0, 1}. Thus we have that ( ( ( a b a 0 a b e 0 =, e c a 0 a 1 c a ( a e 1 c b = a ( 0 b 0 0 =. G-identities: [e i (x 1, e i (x 2 ] = 0, for all i { 1, 0, 1}. ( 0 0 c 0, and

23 Theorem Let G = Z n, where n 3. Then all the G-identities of sl 2 (C are consequences of the following: 1 e 0 (x + e 1 (x + e 1 (x = x; 2 For α { 1, 0, 1}, [e α (x 1, e α (x 2 ] = 0.

24 Theorem Let G = Z n, where n 3. Then all the G-identities of sl 2 (C are consequences of the following: 1 e 0 (x + e 1 (x + e 1 (x = x; 2 For α { 1, 0, 1}, [e α (x 1, e α (x 2 ] = 0. To prove this theorem we construct a basis for the relatively free LC X ; G algebra T G (sl 2 (C.

25 Theorem The following set is a basis for the relatively free algebra LC X ; G T G (sl 2 (C : 1 [e 1 (x i1, e 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x iα, e 1 (x jα ]; 2 [e 1 (x i1, e 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x iα ]; 3 [e 1(x i1, e 0(x m, e 1(x j1, e 1(x i2, e 1(x j2,..., e 1(x iα, e 1(x jα, e 1(x jα+1 ]; 4 [e 1(x j1, e 0(x m ]; 5 e 0(x i1 ; where m 0, α 1 and [e k (x i1, e 0(x m ], for all k { 1, 1} means [e k (x i1, e 0(x (1,..., e 0(x (m ].

26 G = D n : D n = g, h : g n = h 2 = 1, hgh = g 1.

27 G = D n : D n = g, h : g n = h 2 = 1, hgh = g 1. It is well known that: If n = 2m, for some m N, then CD n = C C C C M 2 (C... M 2 (C. }{{} m 1 If n = 2m + 1, for some m N, then CD n = C C M 2 (C... M 2 (C. }{{} m

28 G = D n : D n = g, h : g n = h 2 = 1, hgh = g 1. It is well known that: If n = 2m, for some m N, then CD n = C C C C M 2 (C... M 2 (C. }{{} m 1 If n = 2m + 1, for some m N, then CD n = C C M 2 (C... M 2 (C. }{{} m Let e i be as before, then for each i, he i = e i h. The two copies of C in CD n are generated by the idempotents (1/2(1 he 0 and (1/2(1 + he 0, and for i > 0 there is a copy of M 2 (C with basis given by e i, e i, he i, and he i.

29 Embedding ( D n into PGL 2 (C, ( we can take g as before, g =, and h as. 0 ω 1 0

30 Embedding ( D n into PGL 2 (C, ( we can take g as before, g =, and h as. 0 ω 1 0 So the action by h is ( ( a b a c h = c a b a.

31 As before, if i 2 then each e ±i and he ±i acts as zero on sl 2 (C.

32 As before, if i 2 then each e ±i and he ±i acts as zero on sl 2 (C. For the remaining elements we have that

33 As before, if i 2 then each e ±i and he ±i acts as zero on sl 2 (C. For the remaining elements we have that ( ( a b 2a 0 (1 he 0 = c a 0 2a ( a e 1 c ( a e 1 c, ( ( ( b 0 0 a b 0 c =, he a c 0 1 = c a 0 0 ( ( b 0 b a b = and he a = c a, ( 0 0 b 0.

34 Theorem Let G = D n, where n 1. Then, all G-identities of sl 2 (C are consequences of the following: (1 he 0 1 (x + e 1 (x + e 1 (x = x; 2 2 For α { 1, 1}, [e α (x 1, e α (x 2 ] = 0; 3 For α { 1, 1}, [he α (x 1, he α (x 2 ] = 0; 4 For α { 1, 1}, [e α (x 1, he α (x 2 ] = 0.

35 Theorem Let G = D n, where n 1. Then, all G-identities of sl 2 (C are consequences of the following: (1 he 0 1 (x + e 1 (x + e 1 (x = x; 2 2 For α { 1, 1}, [e α (x 1, e α (x 2 ] = 0; 3 For α { 1, 1}, [he α (x 1, he α (x 2 ] = 0; 4 For α { 1, 1}, [e α (x 1, he α (x 2 ] = 0. Again, to prove this theorem we construct a basis for the relatively LC X ; G free algebra T G (sl 2 (C.

36 Note that this case is very similar to the previous one, the difference being that we have two elements in the components 1 and -1.

37 Note that this case is very similar to the previous one, the difference being that we have two elements in the components 1 and -1. ( ( a b 2a 0 Component 0: (1 he 0 =. c a 0 2a Component 1: ( a b e 1 = c a ( 0 0 c 0 ( a and he 1 c b = a ( 0 0 b 0. Component -1: ( a b e 1 = c a ( 0 b 0 0 ( a and he 1 c b a = ( 0 c 0 0.

38 Thus we have a basis that looks similar to the basis in the Z n case for n 3, the differences being:

39 Thus we have a basis that looks similar to the basis in the Z n case for n 3, the differences being: 1 e 0 is replaced by (1 he 0 ; 2 Wherever e 1 appeared, we have two possibilites: e 1 or he 1 ; 3 Wherever e 1 appeared, we have two possibilites: e 1 or he 1.

40 Theorem The following set is a basis for the relatively free algebra LC X ; G T G (sl 2 (C : 1 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x iα, e 1 (x jα ]; 2 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x iα ]; 3 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x iα, e 1 (x jα, e 1 (x jα+1 ]; 4 [e 1 (x j1, (1 he 0 (x m ]; 5 (1 he 0 (x i1 ; 6 [e 1 (x i1, (1 he 0 (x m, he 1 (x j1, e 1 (x i2, he 1 (x j2,..., e 1 (x iα, he 1 (x jα ]; 7 [e 1 (x i1, (1 he 0 (x m, he 1 (x j1, e 1 (x i2, he 1 (x j2,..., e 1 (x iα ]; 8 [e 1 (x i1, (1 he 0 (x m, he 1 (x j1, e 1 (x i2, he 1 (x j2,..., e 1 (x iα, he 1 (x jα, he 1 (x jα+1 ]; 9 [he 1 (x j1, (1 he 0 (x m ];

41 Theorem 10 [he 1 (x i1, (1 he 0 (x m, e 1 (x j1, he 1 (x i2, e 1 (x j2,..., he 1 (x iα, e 1 (x jα ]; 11 [he 1 (x i1, (1 he 0 (x m, e 1 (x j1, he 1 (x i2, e 1 (x j2,..., he 1 (x iα ]; 12 [he 1 (x i1, (1 he 0 (x m, e 1 (x j1, he 1 (x i2, e 1 (x j2,..., he 1 (x iα, e 1 (x jα, e 1 (x jα+1 ]; 13 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, he 1 (x ik+1, e 1 (x jk+1,..., he 1 (x iα, e 1 (x jα ]; 14 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, he 1 (x ik+1, e 1 (x jk+1,..., he 1 (x iα ]; 15 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, he 1 (x ik+1, e 1 (x jk+1,..., he 1 (x iα, e 1 (x jα, e 1 (x jα+1 ]; 16 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, e 1 (x ik+1, he 1 (x jk+1,..., e 1 (x iα, he 1 (x jα ]; 17 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, e 1 (x ik+1, he 1 (x jk+1,..., e 1 (x iα ]; 18 [e 1 (x i1, (1 he 0 (x m, e 1 (x j1, e 1 (x i2, e 1 (x j2,..., e 1 (x ik, e 1 (x jk, e 1 (x ik+1, he 1 (x jk+1,..., e 1 (x iα, he 1 (x jα, he 1 (x jα+1 ]; where m 0, α 1 and (1 he 0 (x m is analogous to e 0 (x m.

42 G = A 4, A 5 or S 4 : All these cases are similar.

43 G = A 4, A 5 or S 4 : All these cases are similar. The span of the image of G in the group of automorphisms of sl 2 (C is isomorphic to C sl 3 (C.

44 G = A 4, A 5 or S 4 : All these cases are similar. The span of the image of G in the group of automorphisms of sl 2 (C is isomorphic to C sl 3 (C. Thus it contains elements ɛ ij, where i, j {1, 2, 3}, that act on sl 2 (C in the following way: ɛ ij v α = δ j,α v i, where v 1 = e 11 e 22, v 2 = e 12 and v 3 = e 21 form a basis for sl 2 (C.

45 ( a b If A = c a we have:

46 ( a b If A = we have: c a Component 0: ( a 0 ɛ 11 (A = 0 a Component 1: ( 0 a ɛ 21 (A = 0 0 ( b 0 = e 0 (A, ɛ 12 (A = 0 b ( 0 b, ɛ 22 (A = 0 0 Component -1: ( ( ɛ 31 (A =, ɛ a 0 32 (A = b 0 ( c 0, ɛ 13 (A = 0 c ( 0 c = e 1 (A and ɛ 23 (A = 0 0 ( 0 0 and ɛ 33 (A = c 0.. = e 1 (A.

47 Theorem Let G = A 4, A 5, S 4. Then all G-identities of sl 2 (C are consequences of the following: 1 ɛ 11 (x + ɛ 22 (x + ɛ 33 (x = x; 2 For α, β {1, 2, 3}, [ɛ 1α (x, ɛ 1β (y] = 0; 3 For α, β {1, 2, 3}, [ɛ 2α (x, ɛ 2β (y] = 0; 4 For α, β {1, 2, 3}, [ɛ 3α (x, ɛ 3β (y] = 0.

48 Theorem Let G = A 4, A 5, S 4. Then all G-identities of sl 2 (C are consequences of the following: 1 ɛ 11 (x + ɛ 22 (x + ɛ 33 (x = x; 2 For α, β {1, 2, 3}, [ɛ 1α (x, ɛ 1β (y] = 0; 3 For α, β {1, 2, 3}, [ɛ 2α (x, ɛ 2β (y] = 0; 4 For α, β {1, 2, 3}, [ɛ 3α (x, ɛ 3β (y] = 0. Again, to prove this theorem we construct a basis for the relatively LC X ; G free algebra T G (sl 2 (C.

49 Again we have a basis that looks similar to the basis in the Z n case for n 3, the differences being:

50 Again we have a basis that looks similar to the basis in the Z n case for n 3, the differences being: 1 Wherever e 0 appeared, we have three possibilites: e 0 = ɛ 11, ɛ 12, or ɛ 13; 2 Wherever e 1 appeared, we have three possibilites: ɛ 21, e 1 = ɛ 22, or ɛ 23; 3 Wherever e 1 appeared, we have three possibilites: ɛ 31, ɛ 32, or e 1 = ɛ 33.

51 Again we have a basis that looks similar to the basis in the Z n case for n 3, the differences being: 1 Wherever e 0 appeared, we have three possibilites: e 0 = ɛ 11, ɛ 12, or ɛ 13; 2 Wherever e 1 appeared, we have three possibilites: ɛ 21, e 1 = ɛ 22, or ɛ 23; 3 Wherever e 1 appeared, we have three possibilites: ɛ 31, ɛ 32, or e 1 = ɛ 33. Thus, this basis is worse than in the previous case, and will not be displayed here.

52 With similar but more complicated calculations we can show that the bases for the G-identities for are the same as those for sl 2 (C.

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z). 18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg = Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for

More information

On the centre of the generic algebra of M 1,1

On the centre of the generic algebra of M 1,1 On the centre of the generic algebra of M 1,1 Thiago Castilho de Mello University of Campinas PhD grant from CNPq, Brazil F is a field of characteristic zero; F X = F x 1, x 2,... is the free associative

More information

On splitting of the normalizer of a maximal torus in groups of Lie type

On splitting of the normalizer of a maximal torus in groups of Lie type On splitting of the normalizer of a maximal torus in groups of Lie type Alexey Galt 07.08.2017 Example 1 Let G = SL 2 ( (F p ) be the ) special linear group of degree 2 over F p. λ 0 Then T = { 0 λ 1,

More information

LIE ALGEBRAS: LECTURE 7 11 May 2010

LIE ALGEBRAS: LECTURE 7 11 May 2010 LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

Ring Theory Problems. A σ

Ring 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 information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

e j = Ad(f i ) 1 2a ij/a ii

e j = Ad(f i ) 1 2a ij/a ii A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

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

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c

More information

Review of Linear Algebra

Review 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 information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8

On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8 213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional

More information

Commutator rings. Zachary Mesyan. July 6, 2006

Commutator rings. Zachary Mesyan. July 6, 2006 Commutator rings Zachary Mesyan July 6, 2006 Abstract A ring is called a commutator ring if every element is a sum of additive commutators. In this note we give examples of such rings. In particular, we

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

A method for construction of Lie group invariants

A method for construction of Lie group invariants arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute

More information

Group Gradings on Finite Dimensional Lie Algebras

Group Gradings on Finite Dimensional Lie Algebras Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

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

FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S 2 S 3

FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S 2 S 3 FAMILIES OF IRREDUCIBLE REPRESENTATIONS OF S S 3 JAY TAYLOR We would like to consider the representation theory of the Weyl group of type B 3, which is isomorphic to the wreath product S S 3 = (S S S )

More information

Symbol Index Group GermAnal Ring AbMonoid

Symbol Index Group GermAnal Ring AbMonoid Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

Problems in Linear Algebra and Representation Theory

Problems 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 information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note 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 information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

Representation Theory

Representation Theory Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim

More information

Order 3 elements in G 2 and idempotents in symmetric composition algebras. Alberto Elduque

Order 3 elements in G 2 and idempotents in symmetric composition algebras. Alberto Elduque Order 3 elements in G 2 and idempotents in symmetric composition algebras Alberto Elduque 1 Symmetric composition algebras 2 Classification 3 Idempotents and order 3 automorphisms, char F 3 4 Idempotents

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined

More information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA 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 information

The Terwilliger Algebras of Group Association Schemes

The Terwilliger Algebras of Group Association Schemes The Terwilliger Algebras of Group Association Schemes Eiichi Bannai Akihiro Munemasa The Terwilliger algebra of an association scheme was introduced by Paul Terwilliger [7] in order to study P-and Q-polynomial

More information

On finite simple braces

On finite simple braces Jan Okniński University of Warsaw Lecce, September 2017 Plan of the talk 1. set theoretic solutions and braces 2. three important results 3. matched products and simple braces 4. asymmetric products and

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups

More information

The number 6. Gabriel Coutinho 2013

The number 6. Gabriel Coutinho 2013 The number 6 Gabriel Coutinho 2013 Abstract The number 6 has a unique and distinguished property. It is the only natural number n for which there is a construction of n isomorphic objects on a set with

More information

M3/4/5P12 PROBLEM SHEET 1

M3/4/5P12 PROBLEM SHEET 1 M3/4/5P12 PROBLEM SHEET 1 Please send any corrections or queries to jnewton@imperialacuk Exercise 1 (1) Let G C 4 C 2 s, t : s 4 t 2 e, st ts Let V C 2 with the stard basis Consider the linear transformations

More information

33 Idempotents and Characters

33 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 information

On the generation of the coefficient field of a newform by a single Hecke eigenvalue

On the generation of the coefficient field of a newform by a single Hecke eigenvalue On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

arxiv: v1 [math.rt] 15 Oct 2008

arxiv: v1 [math.rt] 15 Oct 2008 CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined

More information

Complex Hadamard matrices and 3-class association schemes

Complex Hadamard matrices and 3-class association schemes Complex Hadamard matrices and 3-class association schemes Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University (joint work with Takuya Ikuta) June 26, 2013 The 30th Algebraic

More information

Combinatorial bases for representations. of the Lie superalgebra gl m n

Combinatorial bases for representations. of the Lie superalgebra gl m n Combinatorial bases for representations of the Lie superalgebra gl m n Alexander Molev University of Sydney Gelfand Tsetlin bases for gln Gelfand Tsetlin bases for gl n Finite-dimensional irreducible representations

More information

3 Representations of finite groups: basic results

3 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 information

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012

REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

Quantum exterior algebras extended by groups

Quantum exterior algebras extended by groups Quantum exterior algebras extended by groups Lauren Grimley 1 Christine Uhl 2 1 Spring Hill College lgrimley@shc.edu 2 St. Bonaventure University cuhl@sbu.edu June 4, 2017 Grimley (SHC) and Uhl (SBU) Truncated

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

Linear Algebra and its Applications

Linear Algebra and its Applications Linear Algebra and its Applications 432 (2010) 3141 3148 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Identities and isomorphisms

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

LECTURE 16: REPRESENTATIONS OF QUIVERS

LECTURE 16: REPRESENTATIONS OF QUIVERS LECTURE 6: REPRESENTATIONS OF QUIVERS IVAN LOSEV Introduction Now we proceed to study representations of quivers. We start by recalling some basic definitions and constructions such as the path algebra

More information

Character tables for some small groups

Character tables for some small groups Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas

More information

Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative.

Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Suppose A h is a flat family of non-commutative algebras, such that A 0 is commutative. Then A 0 has an additional

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2. Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,

More information

Spherical varieties and arc spaces

Spherical varieties and arc spaces Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected

More information

GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)

GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped

More information

Representations Associated to the Group Matrix

Representations Associated to the Group Matrix Brigham Young University BYU ScholarsArchive All Theses and Dissertations 014-0-8 Representations Associated to the Group Matrix Joseph Aaron Keller Brigham Young University - Provo Follow this and additional

More information

Introduction to Group Theory

Introduction to Group Theory Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

Weyl Group Representations and Unitarity of Spherical Representations.

Weyl Group Representations and Unitarity of Spherical Representations. Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν

More information

Department of Mathematics, University of California, Berkeley

Department of Mathematics, University of California, Berkeley ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically

More information

Computational Approach to Polynomial Identities of Matrices a Survey

Computational Approach to Polynomial Identities of Matrices a Survey Computational Approach to Polynomial Identities of Matrices a Survey FRANCESCA BENANTI 1 Dipartimento di Matematica ed Applicazioni, Università di Palermo, via Archirafi 34, 90123 Palermo, Italy, (fbenanti@dipmat.math.unipa.it).

More information

1 Homework 8 Solutions

1 Homework 8 Solutions 1 Homework 8 Solutions (1) Let G be a finite group acting on a finite set S. Let V be the vector space of functions f : S C and let ρ be the homomorphism G GL C (V ) such that (ρ(g)f)(s) = f(g 1 s) g G,

More information

On Representability of a Finite Local Ring

On 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 information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

GEOMETRY HW 8. 1 x z

GEOMETRY HW 8. 1 x z GEOMETRY HW 8 CLAY SHONKWILER Consider the Heisenberg group x z 0 y which is a Lie group diffeomorphic to R 3 a: Find the left invariant vector fields X, Y, Z on R 3 whose value at the identity is the

More information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations

More information

CLIFFORD ALGEBRAS AND DIRAC OPERATORS

CLIFFORD ALGEBRAS AND DIRAC OPERATORS CLIFFORD ALGEBRAS AND DIRAC OPERATORS EFTON PARK 1 Algebras Definition 11 Let K be a field A ring R is a K-algebra if there exists a map : K R R that makes R into a K-vector space and has the property

More information

Leavitt Path Algebras

Leavitt Path Algebras Leavitt Path Algebras At the crossroads of Algebra and Functional Analysis Mark Tomforde University of Houston USA In its beginnings, the study of Operator Algebras received a great deal of motivation

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html Permutation groups H. W. Lenstra, Fall 2007 http://www.math.leidenuniv.nl/ streng/permutation/index.html Solvable groups. Let G be a group. We define the sequence G (0) G (1) G (2)... of subgroups of G

More information

Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition

Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition Prof. Tesler Math 283 Fall 2016 Also see the separate version of this with Matlab and R commands. Prof. Tesler Diagonalizing

More information

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem

Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret

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

The Standard Polynomial in Verbally Prime Algebras

The Standard Polynomial in Verbally Prime Algebras International Journal of Algebra, Vol 11, 017, no 4, 149-158 HIKARI Ltd, wwwm-hikaricom https://doiorg/101988/ija01775 The Standard Polynomial in Verbally Prime Algebras Geraldo de Assis Junior Departamento

More information

Simply connected gradings of complex matrix algebra

Simply connected gradings of complex matrix algebra of matrix algebras Simply connected gradings of complex matrix algebra 04.07.2013 of matrix algebras Table of contents 1 2 of matrix algebras 3 of matrix algebras A grading of an algebra A by a group G

More information

On the Power of Standard Polynomial to M a,b (E)

On the Power of Standard Polynomial to M a,b (E) International Journal of Algebra, Vol. 10, 2016, no. 4, 171-177 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6214 On the Power of Standard Polynomial to M a,b (E) Fernanda G. de Paula

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK Graduate Abstract Algebra I May 2, 2004 Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it

More information

Automorphisms and twisted forms of Lie conformal superalgebras

Automorphisms and twisted forms of Lie conformal superalgebras Algebra Seminar Automorphisms and twisted forms of Lie conformal superalgebras Zhihua Chang University of Alberta April 04, 2012 Email: zhchang@math.ualberta.ca Dept of Math and Stats, University of Alberta,

More information

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear

More information

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE FOUR: LOCALIZATION 1

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE FOUR: LOCALIZATION 1 EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE FOUR: LOCALIZATION 1 WILLIAM FULTON NOTES BY DAVE ANDERSON Recall that for G = GL n (C), H G Pn 1 = Λ G [ζ]/(ζ n + c 1 ζ n 1 + + c n ), 1 where ζ =

More information

Groups St Andrews 5th August 2013

Groups St Andrews 5th August 2013 Generators and Relations for a discrete subgroup of SL 2 (C) SL 2 (C) joint work with A. del Río and E. Jespers Ann Kiefer Groups St Andrews 5th August 2013 Goal: Generators and Relations for a subgroup

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS MAX GOLDBERG Abstract. We explore ways to concisely describe circulant graphs, highly symmetric graphs with properties that are easier to generalize

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1

More information

Contents. 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. 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 information

1.4 Solvable Lie algebras

1.4 Solvable Lie algebras 1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)

More information