LECTURE NOTES TO HUMPHREYS INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "LECTURE NOTES TO HUMPHREYS INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY"

Transcript

1 LECTURE NOTES TO HUMPHREYS INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY ZHENGYAO WU Abstract. Reference: [Hum78]. Since our course is called Finite Dimensional Algebra, we assume that a vector space has finite dimension unless otherwise specified. Contents 1. February 8th Introduction to Lie algebra :00-8:45 [Hum78, 1] :55-9:40 [Hum78,.1,.] :00-10:45 [Hum78,.3, 3.1] 10. March 7th Solvable and nilpotent Lie algebras :00-8:45 [Hum78, 3.] :55-9:40 [Hum78, 3.3] :00-10:45 [Hum78, 4.1] March 14th Lie theorem, Jordan decomposition, Cartan s criterion and Killing form :00-8:45 [Hum78, 4.1] :55-9:40 [Hum78, 4.] :50-10:35 [Hum78, 4.3] :45-11:30 [Hum78, 5.1] 8 4. March 1st Semisimple decomposition, Lie modules, Casimir element and Weyl s theorem :00-8:45 [Hum78, 5., 5.3] :55-9:40 [Hum78, 6.1] :50-10:35 [Hum78, 6.] :45-11:30 [Hum78, 6.3] March 8th Jodan decomposition, sl(, F )-modules, maximal toral subalgebras and its centralizer :00-8:45 [Hum78, 6.4] :55-9:40 [Hum78, ] :50-10:35 [Hum78, 8.1] :45-11:30 [Hum78, ] April 11th Root systems and examples, pairs of roots :00-8:45 [Hum78, 8.4, 8.5] :55-9:40 [Hum78, 9.1] :50-10:35 [Hum78, 9.] :45-11:30 [Hum78, 9.3] April 18th Simple roots and the Weyl group 63 1

2 ZHENGYAO WU :00-8:45 [Hum78, 10.1] :55-9:40 [Hum78, 10.] :50-10:35 [Hum78, 10.3] :45-11:30 [Hum78, 10.3] April 5th Irreducible root systems, two root lengths and Cartan matrix :00-8:45 [Hum78, 10.3] :55-9:40 [Hum78, 10.4] :50-10:35 [Hum78, 10.4] :45-11:30 [Hum78, 11.1] May nd Coxeter graphs, Dynkin diagrams and types A, B :00-8:45 [Hum78, 11.] :55-9:40 [Hum78, 11.3] :50-10:35 [Hum78, 11.4] :45-11:30 [Hum78, 1.1] May 9th Types C,D,E,F,G, automorphisms and weights :00-8:45 [Hum78, 1.1] :55-9:40 [Hum78, 1.1] :50-10:35 [Hum78, 1.] :45-11:30 [Hum78, 13.1] May 16th Saturated set, universal enveloping algebra and Poincaré- Birkhoff-Witt theorem :00-8:45 [Hum78, 13., 13.3] :55-9:40 [Hum78, 13.4, 17.1] :50-10:35 [Hum78, 17.] :45-11:30 [Hum78, 17.4] May 3th Standard cyclic modules and condictions for finite dimension :00-8:45 [Hum78, 17.3] :55-9:40 [Hum78, 0.1, 0.] :50-10:35 [Hum78, 0.3, 1.1] :45-11:30 [Hum78, 1.] June 6th Applications of Freudenthal s formula June 13th Applications of Kostant s formula and Steinberg s formula 15 References 133

3 LECTURE NOTES 3 1. February 8th Introduction to Lie algebra :00-8:45 [Hum78, 1]. Sophus Lie ( ) established the theory of Lie groups and Lie algebras in late 1880s in Oslo, Norway Definition Let F be a field. Let L be a vector space over F. We say that L is a Lie algebra if there exists a map L L L, (x, y) [x, y] such that (L1) [x, y] is bilinear over F. (L) [x, x] = 0 for all x L. (L3) Jacobi identity [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 for all x, y, z L Lemma If char(f ), then (L ) [x, y] = [y, x] for all x, y L. Proof. By Definition 1.1.1(L1), By Definition 1.1.1(L), Hence (L ). [x + y, x + y] = [x, x] + [x, y] + [y, x] + [y, y]. 0 = 0 + [x, y] + [y, x] Definition Let L, L be two Lie algebras. An isomorphism of vector spaces f : L L is an isomorphism (of Lie algebras) if f([x, y]) = [f(x), f(y)] Example Let V be a vector space over F. Let End F (V ) be the space of endomorphisms (linear transformations) of V. For all x, y End F (V ), define [x, y] = x y y x. Then gl(v ) = (End F (V ), [, ]) is a Lie algebra, called the general linear algebra. Proof. (L1) Since all endomorphisms are linear over F, [x, y] is bilinear. (L) [x, x] = x x x x = 0. (L3) [x, [y, z]]+[y, [z, x]]+[z, [x, y]] = x (y z z y) (y z z y) x+y (z x x z) (z x x z) y+z (x y y x) (x y y x) z = x y z x z y y z x+z y x+y z x y x z z x y+x z y+z x y z y x x y z+y x z = Notation Let H, K be subsets of L. We write [H, K] = Span{[x, y], x H, y K}. By Definition 1.1.1, [H, K] = [K, H]. We write [x, K] = [{x}, K], for all x L Definition A vector subspace K of L is a subalgebra if [K, K] K. By Definition 1.1.1, K is a Lie algebra Example Subalgebras of gl(v ) are called Linear Lie algebras. If dim F (V ) = n, then we write gl(n, F ) = gl(v ). which is the Lie algebra of all n n matrices such that [e ij, e kl ] = δ jk e il δ li e kj where e ij is the n n matrix whose (i, j)-entry is 1 and all other entries are 0; δ ij = 1 if i = j, otherwise δ ij = 0.

4 4 ZHENGYAO WU Definition Classical algebras are the following proper Lie subalgebras of gl(v ) of type A l, B l, C l, D l, l Example Type A l (l 1): special unitary algebras sl(v ) = {x gl(v ) Tr(x) = 0}, dim F (V ) = l + 1 sl(l + 1, F ) = {x gl(l + 1, F ) Tr(x) = 0}. A l has standard basis {e ii e i+1,i+1 1 i l} {e ij 1 i j l + 1}. dim(a l ) = l + l Example Type B l (l 1): orthogonal algebras of odd degree Let f be a nondegenerate symmertic bilinear form on V whose matrix is s. o(v ) = {x gl F (V ) f(x(v), w) = f(v, x(w)), v, w V }, dim F (V ) = l + 1 o(l + 1, F ) = {x gl(l + 1, F ) sx = x t s}, s = I l. 0 I l 0 o(l + 1, F ) = 0 b 1 b b t m n gl(l + 1, F ) n t = n, p t = p b t 1 p m t. B l has standard basis {e i+1,i+1 e l+i+1,l+i+1 1 i l} {e 1,l+i+1 e i+1,1 1 i l} {e 1,i+1 e l+i+1,1 1 i l} {e i+1,j+1 e l+j+1,l+i+1 1 i j l} {e i+1,l+j+1 e j+1,l+i+1 1 i < j l} {e l+i+1,j+1 e l+j+1,i+1 1 j < i l}. dim(b l ) = l + l Example Type C l (l 1): symplectic algebras Let f be a nondegenerate skew-symmertic form on V whose matrix is s. sp(v ) = {x gl F (V ) f(x(v), w) = f(v, x(w)), ( v, w) V }, dim F (V ) = l. 0 sp(l, F ) = {x gl(l, F ) sx = x t Il s}, s =. I l 0 {( ) } m n sp(l, F ) = p m t gl(l, F ) n t = n, p t = p. C l has standard basis {e i,i e l+i,l+i 1 i l} {e ij e l+j,l+i 1 i j l} {e i,l+i 1 i l} {e i,l+j + e j,l+i 1 i < j l} {e l+i,i 1 i l} {e l+i,j + e l+j,i 1 i < j l}. dim(c l ) = l + l Example Type D l (l 1): orthogonal algebras of even degree: Let f be a nondegenerate symmertic bilinear form on V whose matrix is s. o(v ) = {x gl(v ) f(x(v), w) = f(v, x(w)), v, w V }, dim F (V ) = l.

5 LECTURE NOTES 5 ( ) 0 o(l, F ) = {x gl(l, F ) sx = x t Il s}, s =. {( ) I l 0 } m n o(l, F ) = p m t gl(l, F ) n t = n, p t = p. D l has standard basis {e ii e l+i,l+i 1 i l} {e ij e l+j,l+i 1 i j l} {e i,l+j e j,l+i 1 i < j l} {e l+i,j e l+j,i 1 j < i l}. dim(d l ) = l l Theorem Ado-Iwasawa: Every Lie algebra is isomorphic to a linear Lie algebra. Proof. Omit Example Let t(n, F ) be the set of upper triangular matrices. Let n(n, F ) be the set of strictly upper triangular matrices. Let d(n, F ) be the set of diagonal triangular matrices. They are linear Lie algebras Lemma (1) t(n, F ) = d(n, F ) + n(n, F ) as vector space direct sum. () [d(n, F ), n(n, F )] = n(n, F ). (3) [t(n, F ), t(n, F )] = n(n, F ) Proof. See Exercise Definition A derivation of an F -algebra A is a linear map δ : A A such that δ(ab) = aδ(b) + δ(a)b for all a, b A. Let Der(A) be the set of all derivations of A Lemma Der(A) gl(a). Proof. See Exercise Definition Let L be a Lie algebra. Let ad : L Der(L) be the adjoint representation of L such that ad(x)(y) = [x, y] for all x, y L Lemma ad(l) Der(L). Proof. We need to show that ad(x)([y, z]) = [ad(x)(y), z] + [y, ad(x)(z)]. It follows from the Definition 1.1.1(L)(L3) that [x, [y, z]] = [z, [x, y]] [y, [z, x]] = [[x, y], z] + [y, [x, z]] Definition Any derivation of the form ad(x) is called an inner, all other derivations are called outer.

6 6 ZHENGYAO WU Example Let ad L : L gl(l) be the map such that ad L (x)(y) = [x, y] for all x, y L. Let K be a Lie subalgebra of L. Then ad K (x) and ad L (x) are different in general. For x d(n, F ) gl(n, F ). ad d(n,f ) (x) = 0 and ad gl(n,f ) (x) Definition A Lie algebra L is abelian if [x, y] = 0 for all x, y L. Proof. (a) follows from Definition 1.1.1(L). (a) follows from Definition 1.1.1(L3) Example Let L be a finite dimensional vector space over F. Then with [x, y] = 0 for all x, y L, L is an abelian Lie algebra Example Every Lie algebra L of dimension 1 is abelian, since Definition 1.1.1(L) Example A two dimensional Lie algebras is either abelian or isomorphic to F x + F y such that [x, y] = x. Proof. Suppose L is not abelian and L = F a+f b. Then [L, L] = F x, for x = [a, b]. Take z L\F x. Then [x, z] = cx for some c F. Let y = c 1 z. Then L = F x+f y and [x, y] = x Definition (1) Let L be a Lie algebra over F with basis x 1, x,..., x n such that [x i, x j ] = n a k ij x k. {a k ij F 1 i, j, k n} are called structure constants of L. k= Lemma (a) a k ii = 0 = ak ij + ak ji for all 1 i, j, k n. n (b) (a k ij am kl + ak jl am ki + ak li am kj ) = 0 for all 1 i, j, l, m n. k=1

7 LECTURE NOTES :55-9:40 [Hum78,.1,.] Definition A subspace I of a Lie algebra L is an ideal if [I, L] I. 1.. Example 0 and L are ideals of L Example The center Z(L) = {z L [z, L] = 0} of L is an ideal of L, since [Z(L), L] = 0 Z(L) Example The derived algebra [L, L] = Span{[x, y] x, y L} of L is an ideal of L, since [[L, L], L] [L, L] Lemma L is abelian iff [L, L] = Lemma If L is a classical algebra, then L = [L, L]. Proof. Exercise Lemma If I and J are ideals of L, then I + J = {x + y x I, y J} is an ideal of L. Proof. [I + J, L] = [I, L] + [J, L] I + J Lemma If I and J are ideals of L, then [I, J] = { [x i, y i ] x i I, y i J} is an ideal of L. Proof. By Jacobi identity, [[I, J], L] [[J, L], I] + [[L, I], J] [I, J] Definition We call L simple if. (1) L has no ideals except for 0 and L; () [L, L] Lemma If L is simple, then Z(L) = 0. Proof. By Example 1..3 and Definition 1..9(1), Z(L) = 0 or L. If Z(L) = L, then [L, L] = 0, a contradiction to Definition 1..9() Lemma If L is simple, then L = [L, L]. By Defini- Proof. By Example 1..4 and Definition 1..9(1), [L, L] = 0 or L. tion 1..9(), [L, L] 0, hence [L, L] = L Example If char(f ), then sl(, F ) is simple. Proof. A standard basis for L = sl(, F ) is ( ) ( ) x =, y =, h = ( ) Let I 0 be an ideal of L. We show that I = L. Suppose 0 ax + by + ch I. (1) If a 0, then [y, ax + by + ch] = ah + cy I. Then [y, ah + cy] = ay I and hence y I.

8 8 ZHENGYAO WU () If b 0, then [x, ax + by + ch] = bh cx I. Then [x, bh cx] = bx I and hence x I. (3) If a = b = 0, then c 0. Then ax + by + ch = ch I and hence h I. Since [x, y] = h, [h, x] = x, [h, y] = y and I contains one of {x, y, h}, then I = L. Hence L is simple Definition If I is an ideal of L, then the quotient space L/I with is called the quotient algebra. [x + I, y + I] = [x, y] + I Proof. Suppose x 1 + I = x + I and y 1 + I = y + I, we need to show that [x 1, y 1 ] + I = [x, y ] + I. In fact, x x 1 I, y y 1 I = [x, y ] [x 1, y 1 ] = [x x 1, y ] + [x 1, y y 1 ] I Definition The normalizer of a subspace K of L is N L (K) = {x L [x, K] K}. If K = N L (K), then K is called self-normalizing Lemma N L (K) is a subalgebra of L. Proof. Suppose [x, K] K and [y, K] K. By Jacobi identity [[x, y], K] [[y, K], x] + [[K, x], y] [K, x] + [K, y] K Lemma Let K be a subalgebra of L. Then N L (K) is the largest subalgebra of L with K as an ideal. Proof. If A is another subalgebra of L such that [K, A] K. By Definition 1..14, A N L (K) Definition The centralizer of a subset X of L is Lemma C L (X) is a subalgebra of L. C L (X) = {x L [x, X] = 0} Proof. Identify {0} and 0. Suppose [x, X] = 0 and [y, X] = 0. By Jacobi identity Lemma C L (L) = Z(L). [[x, y], X] [[y, X], x] + [[X, x], y] = [0, x] + [0, y] = 0

9 LECTURE NOTES 9 Proof. It follows from Example 1..3 and Definition Definition (1) A linear transformation φ : L L of Lie algebras over F is a homomorphism if φ([x, y]) = [φ(x), φ(y)] for all x, y L. () A homomorphism φ is a monomorphism if ker(φ) = 0. (3) A homomorphism φ is an epimorphism if im(φ) = L. (4) A homomorphism φ is an isomorphism if it is both a monomorphism and an epimorphism Lemma ker(φ) is an ideal of L. Proof. If φ(x) = 0, then φ([x, L]) = [φ(x), φ(l)] = [0, φ(l)] = 0. Hence [x, L] ker(φ). 1.. Lemma φ(l) is a subalgebra of L. Proof. It follows from Definition 1..0(1) Lemma There is a 1-1 correspondence between homomorphisms from L and ideals of L. Given a homomorphism φ, ker(φ) is an ideal of L; Given an ideal I of L, there exists a homomorphism L L/I, x x + I. Proof. Given I, we have ker(l L/I) = I. Conversely, given φ, f : L/ ker(φ) φ(l), f(x + ker(φ)) = φ(x) is an isomorphism. By definition, f is epimorphism. Also, f(x + ker(φ)) = 0 iff x ker(φ) iff x + ker(φ) = 0 L/ ker(φ) Proposition If I ker(φ) is an ideal of L, then there exists a unique homomorphism ψ : L/I L such that the following diagram commute L φ L π ψ L/I Proof. Define ψ(x + I) = φ(x). If x 1 + I = x + I, then x x 1 I ker(φ). Then ψ(x 1 + I) = φ(x 1 ) = φ(x ) = ψ(x + I) Proposition If I J are ideals of L, then J/I is an ideal of L/I and (L/I)/(J/I) L/J. Proof. Since [J/I, L/I] = [J, L]/I J/I, J/I is an ideal of L/I. Define φ : L/I L/J such that φ(x + I) = x + J. It is well-defined because I J. Also, ker(φ) = J/I and φ(l/i) = L/J. The claim follows from Lemma Proposition If I and J are ideals of L, then (I + J)/J I/(I J). Proof. Define φ : I (I + J)/J such that φ(x) = x + J. Also, ker(φ) = I J and φ(i) = I + J/J. The claim follows from Lemma 1..3.

10 10 ZHENGYAO WU :00-10:45 [Hum78,.3, 3.1] Definition A representation of L is a homomorphism φ : L gl(v ) for some vector space V over F. We call φ faithful if it is one-to-one. Here V is allowed to have arbitrary dimension Lemma The adjoint representation ad : L gl(l), x ad(x) = [x, ] is a linear representation. Proof. We need to show that [ad(x), ad(y)] = ad([x, y]). It follows from the Definition 1.1.1(L)(L3) that [x, [y, z]] [y, [x, z]] = [x, [y, z]] + [y, [z, x]] = [z, [x, y]] = [[x, y], z] Notation Let λ x be the left multiplication by x. Let ρ x be the right multiplication by x. Then ad(x) = λ x ρ x Lemma ker(ad) = Z(L). Proof. Since ad(x) = 0 iff [x, L] = Lemma If L is simple, then ad is a monomorphism. Any simple Lie algebra is isomorphic to a linear Lie algebra. Proof. Suppose L is simple. By Lemma 1..10, Z(L) = 0. By Lemma 1.3.4, ker(ad) = 0. Then L ad(l), which is linear by Lemma Definition An automorphism of L is an isomorphism L L. Let Aut(L) be the group of automorphisms of L Example If L gl(v ) and g GL(V ) such that glg 1 = L (e.g. L = gl(v ) or sl(v )), then Int(g) Aut(L). Here Int(g) : L L, x gxg Example Suppose char(f ) = 0 and δ Der(L) such that δ k = 0 for some k > 0. Then (1) exp(δ(x)) exp(δ(y)) = exp(δ(xy)). () exp(δ) Aut(L). Proof. (1) By the Leibniz rule, Then δ n (xy) = n i=0 δ n n n! (xy) = i=0 ( ) n δ i (x) δ n i (y) i ( δ i (x) i! ) ( δ n i ) (y) (n i)! exp(δ(x)) exp(δ(y)) = exp(δ(xy)).

11 LECTURE NOTES 11 () In fact, for exp(δ) = 1 η, its inverse is 1 + η + η + + η k 1, where η = k 1 δ i k 1 δ i 1 = δ and η k = 0. i! i! Example Suppose char(f ) = 0 and x L such that ad(x) k = 0 for some k > 0. Then exp(ad(x)) = 1 + ad(x) + (ad(x)) + + (ad(x))k 1 Aut(L).! (k 1)! Definition An automorphism of the form exp(ad(x)) is inner. The subgroup of Aut(L) generated by exp(ad(x)), x L is denoted by Int(L), its elements are called inner automorphisms Lemma Int(L) is a normal subgroup of Aut(L). Proof. If φ Aut(L) and x L, then (φ ad(x) φ 1 )(y) = φ([x, φ 1 (y)]) = [φ(x), y] = ad(φ(x))(y). Hence φ ad(x) φ 1 = ad(φ(x)). Therefore φ exp(ad(x)) φ 1 = exp(ad(φ(x))) Int(L) Example Let L = sl(, F ). Let σ = exp(ad(x)) exp(ad( y)) ( exp(ad(x)) ) Int(L). Then 0 1 σ = Int(s) where s = exp(x) exp( y) exp(x) =. 1 0 Proof. By ( Exercise ) 1.10, σ(x, ( y, h) = )( y, x, h) Since x =, exp(x) =. ( 0 0 ) ( 0 1 ) Since y =, exp( y) = ( ) ( ) ( ) ( ) Then s = = Also, s 1 = s. ( ) ( ) ( ) ( ) sxs = = = y, ( ) ( ) ( ) ( ) sys = = = x, ( ) ( ) ( ) ( ) shs = = = h Hence σ = Int(s) Lemma Suppose char(f ) = 0. If L gl(v ) is a Lie algebra, and x L is nilpotent, then for all y L. (exp(x))y(exp(x)) 1 = exp(ad(x))(y)

12 1 ZHENGYAO WU Proof. Since ad(x) = λ x ρ x, exp(ad(x)) = exp(λ x ρ x ) = exp(λ x ) exp(ρ x ) 1 = λ exp(x) ρ 1 exp(x) Definition The derived series of ideals of a Lie algebra L is L (0) = L, L (1) = [L, L],, L (i) = [L (i 1), L (i 1) ], We call L solvable if L (n) = 0 for some n Example Abelian Lie algebras are solvable. Proof. If L is abelian, then L (1) = Example Simple Lie algebras are nonsolvable. Proof. If L is simple, then L = L (1) = L () = 0. Hence L is not solvable Remark Define j i = l(e ij ). Suppose i < j, a < b, i b, we have [e ij, e ab ] = δ ja e ib. If j = a, then l(e ib ) = b i = (b a) + (j i) = l(e ab ) + l(e ij ) min{l(e ab ), l(e ij )} Example t(n, F ) is solvable. Proof. Let L = t(n, F ). By Exercise 1.5, L = n(n, F ) d(n, F ) and [d(n, F ), n(n, F )] n(n, F ). Then L (1) = n(n, F ). Suppose i < j, a < b, i b. We have [e ij, e ab ] = δ ja e ib. If j = a, by Remark , l(e ib ) = l(e ab ) + l(e ij ) min{l(e ab ), l(e ij )}. Since L (1) is spanned by e ij such that l(e ij ) 1, L (k) is spanned by e ij such that l(e ij ) k 1. Hence L (m) = 0 whenever m 1 > n 1 because n 1 is the largest possible value for l(e ij ) Proposition If L is solvable, then its subalgebras are solvable. Proof. Let K be a subalgebra of L. If K (n 1) L (n 1), then K (n) = [K (n 1), K (n 1) ] [L (n 1), L (n 1) ] = L (n) Hence K (n) L (n) for all n. If L (n) = 0, then K (n) = Proposition If L is solvable, then its homomorphic images are solvable. Proof. Let φ : L M be an epimorphism. If φ(l (n 1) ) = M (n 1), then φ(l (n) ) = φ([l (n 1), L (n 1) ]) = [φ(l (n 1) ), φ(l (n 1) )]) = [M (n 1), M (n 1) ] = M (n) Hence φ(l (n) ) = M (n) for all n. If L (n) = 0, then M (n) = Proposition Let I be an ideal of L. If I and L/I are solvable, then L is solvable.

13 LECTURE NOTES 13 Proof. If (L/I) (n) = 0, then L (n) I. Since an ideal I of L is also a subalgebra of L, by Proposition , L (n) is solvable with derived series L (n) L (n+1) L (n+). Hence L is solvable.

14 14 ZHENGYAO WU. March 7th Solvable and nilpotent Lie algebras.1. 8:00-8:45 [Hum78, 3.]..1.1 Proposition If I, J are solvable ideals of L, then I + J is solvable. Proof. Since I is solvable, by Proposition 1.3.0, its homomorphic image I/(I J) is solvable. By Proposition 1..6, (I + J)/J I/(I J) is solvable. Since J and (I + J)/J are solvable, by Proposition 1.3.1, I + J is solvable..1. Lemma There exists a unique maximal solvable ideal of any Lie algebra. Proof. Existence. Let L be a Lie algebra. Since 0 is a solvable ideal of L, there exists a maximal solvable ideal S of L. Uniqueness. If I is a solvable ideal of L, then by Proposition.1.1, S + I is a solvable ideal of L. By the maximality of S, S = S + I and hence I S..1.3 Definition The unique maximal solvable ideal of L is called the radical Rad(L)..1.4 Definition If Rad(L) = 0, then L is called semisimple..1.5 Example A simple algebra is semisimple. Proof. Let L be a simple Lie algebra. By Definition 1..9, Rad(L) = 0 or Rad(L) = L. By Example , L is nonsolvable, then Rad(L) L. Hence Rad(L) = Example 0 is semisimple, since Rad(0) = Lemma For all Lie algebra L, L/ Rad(L) is semisimple. Proof. Let R be the ideal of L containing a solvable ideal Rad(L) of R such that R/ Rad(L) = Rad(L/ Rad(L)). Since Rad(L) and Rad(L/ Rad(L)) are solvable, by Proposition 1.3.1, R is solvable. By the maximality of Rad(L), R = Rad(L). Then Rad(L/ Rad(L)) = R/ Rad(L) = 0. Hence L/ Rad(L) is semisimple..1.8 Definition The descending (lower) central series of ideals of a Lie algebra L is L 0 = L, L 1 = [L, L],, L i = [L, L i 1 ], A Lie algebra L is nilpotent if L n = 0 for some n, or equivalently, ad(x 1 ) ad(x ) ad(x n )(y) = 0 for all x i, y L..1.9 Example Any abelian algebra L is nilpotent, since L 1 = 0. The abelian algebra d(n, F ) is nilpotent Lemma Nilpotent algebras are solvable.

15 LECTURE NOTES 15 Proof. Let L be a Lie algebra. We show that L (n) L n for all n. We use induction. L (1) = [L, L] = L 1. If L (n) L n, then L (n+1) = [L (n), L (n) ] [L, L (n) ] [L, L n ] = L n+1. Since L is nilpotent, L n = 0 for some n. Then L (n) = 0 and hence L is solvable Example t(n, F ) is solvable but not nilpotent. Proof. Let L = t(n, F ) By Example , t(n, F ) is solvable and L 1 = n(n, F ) 0. By Exercise 1.5, L = [t(n, F ), n(n, F )] = [d(n, F ) + n(n, F ), n(n, F )] = [d(n, F ), n(n, F )] + [n(n, F ), n(n, F )] = n(n, F ) + [n(n, F ), n(n, F )] = n(n, F ) = L 1. Similarly, L 1 = L = L 3 =, i.e. t(n, F ) is not nilpotent..1.1 Example n(n, F ) is nilpotent. Proof. Let M = n(n, F ). Similar to Example , M = M 0 is spanned by e ij such that l(e ij ) 1. Suppose i < j, a < b, i b, We have [e ij, e ab ] = δ ja e ib. If j = a, by Remark , l(e ib ) = l(e ab ) + l(e ij ) > max{l(e ab ), l(e ij )}. If e ij M and l(e ab ) m, then l(e ib ) m + 1. By induction, M m is spanned by e ij such that l(e ij ) m + 1. We have M n 1 = 0 since n 1 is the largest possible value for l(e ij ). Hence M is nilpotent Proposition If L is nilpotent, then its subalgebras are nilpotent. Proof. Suppose K is a subalgebra of L. If K n 1 L n 1, then K n = [K, K n 1 ] [L, L n 1 ] = L n. Hence K n L n for all n. If L n = 0, then K n = Proposition If L is nilpotent, then its homomorphic images are nilpotent. Proof. Suppose φ : L K is an epimorphism. If φ(l n 1 ) = K n 1, then φ(l n ) = φ([l, L n 1 ]) = [φ(l), φ(l n 1 )] = [K, K n 1 ] = K n Hence φ(l n ) = K n for all n. If L n = 0, then K n = Proposition If L/Z(L) is nilpotent, then so is L. Proof. If (L/Z(L)) n = 0, then L n Z(L). Hence L n+1 = [L, L n ] [L, Z(L)] = Proposition If L is nilpotent and nonzero, then Z(L) 0. Proof. Suppose L n 0 and [L, L n ] = L n+1 = 0. Then Z(L) L n 0.

16 16 ZHENGYAO WU.1.17 Definition For x L, x is ad-nilpotent if ad(x) is a nilpotent endomorphism Lemma If L is nilpotent, then all elements of L are ad-nilpotent. Proof. By Definition.1.8, ad(x 1 ) ad(x ) ad(x n )(y) = 0 for all x i, y L for some n. Let x = x 1 = = x n. We have (ad(x)) n = Lemma If x gl(v ) is a nilpotent endomorphism, then ad(x) is also nilpotent. Proof. Suppose x n = 0. Then λ n x = 0 and ρ n x = 0. By Notation 1.3.3, n ( ) n (ad(x)) n = (λ x ρ x ) n = (λ x ) i ( ρ x ) n i = 0. i.1.0 Example I n gl(n, F ) is ad-nilpotent but not nilpotent, since ad(i n ) = 0 and In m all m. i=0 = I n for

17 LECTURE NOTES :55-9:40 [Hum78, 3.3]...1 Lemma If f gl(v ) is nilpotent, then there exists 0 v V such that f(v) = 0. Proof. Suppose f n 0 and f n+1 = 0. Then there exists 0 w V such that f n (w) 0. Let v = f n (w). Then v 0 and f(v) = 0... Lemma Let K be a maximal proper subalgebra of L and an ideal of L. Then L = K + F z for some z L \ K. Proof. If dim(l/k) > 1, then a one-dimensional subalgebra of L/K corresponds a subalgebra of L strictly containing K, a contradiction. Then dim(l/k) = 1. Suppose L = K + F z for some z L \ K...3 Lemma Let L be a Lie subalgebra of gl(v ), where V is finite dimensional. Let K be a maximal proper nonzero subalgebra of L. If L consists of nilpotent endomorphisms and V 0, then K is an ideal of L. Proof. By Lemma.1.19, K acts on L via ad and elements of ad(k) are nilpotent. Since [K, K] K, K also acts on L/K. Since dim(l/k) < dim(l), by induction, there exists K x + K L/K such that ad(k)(x + K) = 0. Then x K and [K, x] K. Hence K N L (K). By maximality of K, N L (K) = L, i.e. K is an ideal of L...4 Theorem Let L be a Lie subalgebra of gl(v ), where V is finite dimensional. If L consists of nilpotent endomorphisms and V 0, then there exists nonzero v V such that x(v) = 0 for all x L. Proof. We prove by induction. If dim(l) = 1, then L is generated by some f gl(v ). By Lemma..1, there exists 0 v V such that f(v) = 0. Then x(v) = 0 for all x L. Let K be a maximal proper nonzero subalgebra of L. By Lemma..3, K is an ideal of L. By Lemma.., L = K + F z for some z L \ K. Let W = {w V y(w) = 0, y K} By induction, W 0. For all w W and y K, we have [x, y] K and hence y(x(w)) = x(y(w)) [x, y](w) = x(0) 0 = 0. Then x(w ) W for all x L. As F z gl(w ), by Lemma..1, there exists 0 v W such that z(v) = 0. Then x(v) = (y + cz)(v) = y(v) + cz(v) = 0 for all x L where x = y + cz, y K and c F...5 Theorem Engel: If all elements of L are ad-nilpotent, then L is nilpotent. Proof. Since ad(l) gl(l) consists of nilpotent endomorphisms, by Theorem..4, there exists 0 v L such that [L, v] = 0, i.e. Z(L) 0. Then all elements of L/Z(L) are ad-nilpotent and dim(l/z(l)) < dim(l). By induction, L/Z(L) is nilpotent. By Proposition.1.15, L is nilpotent.

18 18 ZHENGYAO WU..6 Definition If dim F (V ) <, a flag in V is a chain of subspaces 0 = V 0 V 1 V n = V, dim F (V i ) = i If x End(V ), we say that x stablizes (or leaves invariant) this flag if xv i V i for all i.

19 LECTURE NOTES :00-10:45 [Hum78, 4.1]..3.1 Corollary Suppose L is nilpotent, x L gl(v ), there exists a flag (V i ) in V, stable under L, with xv i V i 1 for all i. In other words, there exists a basis of V relative to which the matrices of L are all in n(n, F ). Proof. By Theorem..4, there exists v V such that x(v) = 0 for all x L. Since the action of L on V/(F v) is by nilpotent endomorphisms, by induction, there exists a flag (W i ) 0 i n 1 in V/(F v) such that x(w i ) W i 1. Let π : V V/(F v) be the quotient map. Let V i = π 1 (W i 1 ) for all 1 i n. Then and V 0 = 0, V 1 = F v, V = π 1 (W 1 ),..., V n = π 1 (W n 1 ) = π 1 (V/(F v)) = V x(v i ) = π 1 (x(w i 1 )) π 1 (W i ) V i Lemma Let L be nilpotent. Let K be an ideal of L. If K 0, then K Z(L) 0. In particular, Z(L) 0. Proof. Since L acts on K via ad, by Theorem..4, there exists 0 v K such that [L, v] = 0. Hence v K Z(L). For the rest of today, let F be an algebraically closed field of characteristic Lemma Let L be a finite dimensional solvable Lie algebra. There exists an ideal K of L of codimension 1. Proof. Since L is solvable and dim(l) > 0, by definition, [L, L] L. Let K be a codimension 1 subspace of L/[L, L]. Since L/[L, L] is abelian, K is an ideal of L/[L, L]. Let π : L L/[L, L] be the quotient map. Then K = π 1 (K ) is an ideal of L of codimension dim(l) dim(k) = (dim(l) dim([l, L])) (dim(k) dim([l, L])) = dim(l/[l, L]) dim(k/[l, L]) = dim(l/[l, L]) dim(k ) = Lemma Let V be a finite dimensional vector space over F. Let L be a solvable subalgebra of gl(v ). Let K be an ideal of L of codimension 1. Let λ : K F be a linear function. Let W = {w V y(w) = λ(y)w, y K}. If W 0, then x(w ) W for all x L. Proof. (1) Fix w W. Let n be the smallest integer such that w, x(w),..., x n (w) are linearly dependent. Let W 0 = 0; W i = Span{w, x(w), x (w)..., x i 1 (w)}, 1 i n. Then dim(w n ) = n, W n = W n+1 = W n+ =, x(w i 1 ) W i and x(w n ) W n. Next, we show that for all y K, y(x i (w)) λ(y)x i (w)(mod W i ), i 0

20 0 ZHENGYAO WU The case i = 0 follows from the definition of W. By induction, for some w W i 1. Then y(x i 1 (w)) = λ(y)x i 1 (w) + w y(x i (w)) = x(y(x i 1 (w))) [x, y](x i 1 (w)) = x(λ(y)x i 1 (w) + w ) λ([x, y])x i 1 (w) = λ(y)x i (w) + x(w ) λ([x, y])x i 1 (w) where x(w ) λ([x, y])x i 1 (w) W i. Therefore, y(w i ) W i and Tr Wn (y) = nλ(y). Since [x, y] K, nλ([x, y]) = Tr Wn ([x, y]) = Tr Wn (x y) Tr Wn (y x) = 0. We have λ([x, y]) = 0 since char(f ) = 0. () For all x L, y K and w W, we have [x, y] K and y(x(w)) = x(y(w)) [x, y](w) = x(λ(y)w) λ([x, y])(w) = λ(y)x(w) λ([x, y])(w) = λ(y)x(w). Therefore x(w) W.

21 LECTURE NOTES 1 3. March 14th Lie theorem, Jordan decomposition, Cartan s criterion and Killing form :00-8:45 [Hum78, 4.1] Theorem Let L be a solvable subalgebra of gl(v ). If V 0, then V contains a common eigenvector for all endomorphisms in L. Proof. Use induction on dim(l). If dim(l) = 0, then L = 0. Every nonzero vector of V is an eigenvector of 0. If dim(l) > 0, by Lemma.3.3, there exists a codimension one ideal K of L. Since K is a subalgebra of the solvable algebra L, by Proposition , K is solvable. By induction, there exists a common eigenvector 0 v V for all endomorphisms in K, and there exists a linear function λ : K F such that y(v) = λ(y)v for all y K, i.e. W 0 as in Lemma.3.4, where λ(y) are eigenvalues of v. Let W be the set of common eigenvectors of K, W 0. By Lemma.., L = K + F z. Since F is algebraically closed, by Lemma.3.4, z(w ) W, there exists an eigenvector v 0 W of z. Hence λ can be extend to L and v 0 is a common eigenvector of L Corollary Lie s theorem. Let L be a solvable subalgebra of gl(v ). dim F (V ) = n <. Then L stabilizes some flag in V. In other words, the matrices of L to a suitable basis of V are in t(n, F ). Proof. By Theorem 3.1.1, there exists a common eigenvector v of L. Then L acts on V/(F v), by induction, there exists a flag (W i ) 0 i n 1 in V/(F v) such that x(w i ) W i for all x L. Let π : V V/(F v) be the quotient map. Let V i = π 1 (W i 1 ) for all 1 i n. Similar to Corollary.3.1, (V i ) 1 i n is a flag and x(v i ) = π 1 (x(w i 1 )) π 1 (W i 1 ) = V i Corollary Let L be solvable. Then there exists a chain of ideals of L such that dim(l i ) = i. 0 = L 0 L 1 L n = L Proof. Let ad : L gl(l) be the adjoint representation of L. Since ad(l) is the homomorphic image of the solvable algebra L, by Proposition 1.3.0, ad(l) is solvable. By Corollary 3.1., there exists a flag of subspaces L i of L of dim(l i ) = i such that ad(l)(l i ) = [L, L i ] L i. Then L i is an ideal of L for all 0 i n Corollary Let L be solvable. If x [L, L] then ad L (x) is nilpotent. In particular, [L, L] is nilpotent. Proof. By Corollary 3.1.3, there exists a flag of ideals (L i ) 0 i n. Let {x 1, x,..., x n } be a basis of L such that L i = Span{x 1,..., x i }. Then matrices of ad(l) are in t(n, F ). Then matrices of [ad(l), ad(l)] = ad([l, L]) are in [t(n, F ), t(n, F )] =

22 ZHENGYAO WU n(n, F ), which is nilpotent by Example.1.1. Therefore ad L (x) is nilpotent for all x [L, L]. Then ad [L,L] (x) is nilpotent for all x [L, L]. By Theorem..5, [L, L] is nilpotent Definition Let F be a field of arbitrary characteristic. Let V be a finite dimensional vector space over F. We call x End F (V ) semisimple if the roots of its minimal polynomial over F are distinct Lemma Let F be an algebraically closed and let V be a finite dimensional vector space over F for the rest of this subsection. The x gl(v ) is semisimple iff x is diagonalizable. Proof. The minimal polynomial of the n a n a Jordan block a a a a is (X a) na. Since x is similar to its Jordan canonical form, x is semisimple iff n a = 1 for all eigenvalues a of x iff the Jordan canonical form of x is diagonal Lemma If x is semisimple and x(w ) W for some W V, then x W is semisimple. Proof. Let m(t ; x) be the minimal polynomial of x. By Definition 3.1.5, roots of m(t ; x) are distinct. Since m(t ; x W ) is a factor of m(t ; x), roots of m(t ; x W ) are distinct. By Definition again, x W is semisimple Lemma Commuting endomorphisms of finite dimensional vector spaces can be simultaneously diagonalized. Proof. We treat endomorphism as matrices. Suppose x, y gl(v ) are diagonalizable and xy = yx. We need to show that there exists z gl(v ) such that zxz 1 and zyz 1 are diagonal. Let E λ = {v V y(v) = λv} be eigenspaces of y. Since y(x(v)) = x(y(v)) = x(λv) = λx(v), x(e λ ) E λ for all eigenvalues λ of y. By Lemma 3.1.7, x Eλ is diagonalizable, there exists a basis of E λ and z λ gl(e λ ) (where row vectors of z λ are basis vectors) such that z λ (x Eλ )z 1 λ is diagonal for all λ. Since the basis vectors of E λ are eigenvectors of y, z λ (y Eλ )z 1 λ is diagonal for all λ because row vectors of z λ are basis vectors. Let z = z λ. Then zxz 1, zyz 1 λ are diagonal. For more commuting endomorphisms, use induction and a similar argument Lemma The sum or difference of two commuting endomorphisms are semisimple.

23 LECTURE NOTES 3 Proof. We treat endomorphisms as matrices. Let x, y be two semisimple endomorphisms of gl(v ) such that xy = yx. By Lemma 3.1.6, x, y are diagonalizable. By Lemma 3.1.8, there exists z gl(v ) such that zxz 1 = x, zyz 1 = y are diagonal. Hence z(x ± y)z 1 = x ± y are diagonal. By Lemma again, x ± y are semisimple Lemma For all x End F (V ), if the characteristic polynomial of x is there exists a polynomial p(t ) F [T ] such that p(t ) a i (mod(t a i ) mi ), p(t ) 0(mod T ) k (T a i ) mi, then Proof. If there exists a i = 0, then the last congruence is redundant. Otherwise polynomials (T a i ) mi, 1 i k or T are pairwise coprime. By Chinese Remainder Theorem, such p(t ) exists.

24 4 ZHENGYAO WU 3.. 8:55-9:40 [Hum78, 4.] Proposition Jordan-Chevalley decomposition. For all x End F (V ), there exists unique x s, x n End F (V ) such that (1) x s, x n are polynomials in x whose constant term is 0; () x = x s + s n ; (3) x s x n = x n x s ; if xy = yx, then x s y = yx s and x n y = yx n. (4) x s is semisimple; (5) x n is nilpotent; (6) If A B V and x(b) A, then x s (B) A and x n (B) A. (7) The decomposition is unique. Proof. Take p(t ) from Lemma (1) Let x s = p(x) and x n = x p(x). The fact that p(0) = 0 follows from p(t ) 0(mod T ); Also 0 p(0) = 0. () x = p(x) + (x p(x)) = x s + x n. (3) Because of x s and x n are polynomials of x. (4) If W is a subspace of V such that x(w ) W, then x s (W ) W and x n (W ) W. Let V i = ker(x a i 1) mi. Then x(v i ) = (x a i 1)(V i ) + a i V i V i and hence x s (V i ) V i. Since p(t ) a i (mod(t a i ) mi ), (x s a i 1) Vi = 0. Hence x s acts on V i diagonally by multiplying a i. Since V = k V i, x s is semisimple. (5) Since x n = x x s, (T p(t )) mi 0(mod(T a i ) mi ). Hence ((x n ) Vi ) mi = 0. Therefore x m n = 0 where m > m i for all 1 i k, x n is nilpotent. (6) follows from p(0) = 0. (7) If x = x s + x n = x s + x n are two decompositions, then, by Lemma and binomial theorem respectively, x s x s = x n x n is both semisimple and nilpotent, hence is Definition We call x = x s + x n the additive Jordan-Chevalley decomposition of x if x s is semisimple, x n is nilpotent and x s x n = x n x s We call x s the semisimple part of x and x n the nilpotent part of x Lemma Consider the the adjoint representation of gl(v ), dim F (V ) <. (1) If x gl(v ) is nilpotent, then ad gl(v ) (x) gl(gl(v )) is nilpotent. () If x gl(v ) is semisimple, then ad gl(v ) (x) gl(gl(v )) is semisimple. Proof. (1) was proved in Lemma () Suppose that relative to a basis of V, x = diag(a 1,..., a n ). Then [x, e ij ] = (a i a j )e ij, i.e. the matrix of ad(x) is diagonal relative to the basis {e ij 1 i, j n} of gl(v ) Lemma Let x End(V ), (dim(v ) < ). If x = x s + x n is the Jordan decomposition, then ad(x) = ad(x s ) + ad(x n ) is the Jordan decomposition of ad(x) in End F (End F (V )). Proof. By Lemma 3..3, ad(x s ) is semisimple, ad(x n ) is nilpotent. Also [ad(x s ), ad(x n )] = ad([x s, x n ]) = ad(0) = 0. By Proposition 3..1(7), ad(x s ) = (ad(x)) s and ad(x n ) = (ad(x)) n.

25 LECTURE NOTES Lemma Let A be a finite dimensional F -algebra, then Der(A) contains the semisimple and nilpotent parts (in gl(a)) of all its elements. Proof. Suppose x Der(A), we need to show that x s, x n Der(A). Let A a = {y A (x a 1) ka (y) = 0, k a }. By Lemma and Proposition 3..1(1), x s acts on A a by multiplication of a. For all y A a and z A b, we have x s (y)z + yx s (z) = ayz + ybz = (a + b)yz. On the other hand, since (x (a + b) 1)(yz) = (x a 1)(y)z + y(x b 1)(z), we have k a+k b (x (a + b) 1) ka+k b (yz) = (x a 1) ka+kb i (y) (x b 1) i (z), we obtain A a A b A a+b. Then yz A a+b, x s (yz) = (a + b)yz. i=0 Together x s (yz) = x s (y)z + yx s (z) for all y A a and z A b. Since A = A a, where a runs through all eigenvalues of x, we have x s Der(A). Since x n = x x s, x n Der(A) Lemma If [L, L] is nilpotent, then L is solvable. Proof. By Lemma.1.10, [L, L] is solvable. By Example , L/[L, L] is solvable. By Proposition 1.3.1, L is solvable.

26 6 ZHENGYAO WU :50-10:35 [Hum78, 4.3] Lemma Lagrange interpolation. Suppose a 1,..., a n, b 1,..., b n F. If a i a j for all 1 i < j n, then there exists a polynomial r(t ) F [T ] such that r(a i ) = b i. Proof. n n r(t ) = j=1,j i x a j b i a i a j 3.3. Lemma Let A B be two subspaces of gl(v ), dim F (V ) <. Set M = {y gl(v ) [y, B] A}. Suppose x M satisfies Tr(xy) = 0 for all y M. Then x is nilpotent. Proof. Let x = x s + x n be the Jordan decomposition of x. Take a basis of V such that x s = diag(a 1,..., a n ) gl(v ). Let E = Span Q {a i 1 i n}. If we can show that any linear function f : E Q is 0, then Hom(E, Q) = 0. Since char(f ) = 0, Q F. Then E = 0, x s = 0 and hence x = x n is nilpotent. Let y = diag(f(a 1 ),..., f(a n )). Then [x s, e ij ] = (a i a j )e ij and [y, e ij ] = (f(a i ) f(a j ))e ij. By Lemma 3.3.1, there exists a polynomial r(t ) F [T ] such that r(0) = 0 and r(a i a j ) = f(a i ) f(a j ). Here r is well-defined because f is linear. Hence r(ad(x s )) = ad(y). By Lemma 3..4, ad(x s ) = (ad(x)) s is a polynomial of ad(x) without constant term. Then ad(y) is also a polynomial of ad(x) without constant term. Since x M, ad(x)(b) = [x, B] A, we have ad(y)(b) A. Then 0 = Tr(xy) = n a i f(a i ). Apply f on both sides, we have n f(a i ) = 0 and hence f(a i ) = 0 for all 1 i n. Therefore f = Lemma Tr([x, y]z) = Tr(x[y, z]) for all x, y, z gl(v ). Proof. Tr([x, y]z) = Tr(x[y, z]) Tr(xyz yxz) = Tr(xyz xzy) Tr(xyz) Tr(y(xz)) = Tr(xyz) Tr((xz)y) Tr(y(xz)) = Tr((xz)y) The last step follows from Tr(AB) = Tr(BA) for all A, B F n n Theorem Cartan s criterion. Let L be a subalgebra of gl(v ), dim F (V ) <. Suppose that Tr(xy) = 0 for all x [L, L], y L, then L is solvable.

27 LECTURE NOTES 7 Proof. Let M = {c gl(v ) [c, L] [L, L]}. Then L M. For all a, b L, we have [b, c] [L, L] and Tr([a, b]c) = Tr(a[b, c]) by Lemma As {[a, b] a, b L} are generators of [L, L], Tr(xc) = 0 for all x [L, L], c M. By Lemma 3.3., x is nilpotent for all x [L, L]. By Lemma.1.19, ad(x) is nilpotent for all x [L, L]. By Theorem..5, [L, L] is nilpotent. By Lemma 3..6, L is solvable Corollary Let L be a Lie algebra such that Tr(ad(x) ad(y)) = 0 for all x [L, L], y L. Then L is solvable. Proof. By Theorem 3.3.4, ad(l) is solvable. By Lemma 1.3.4, ker(ad) = Z(L). By Lemma 1..3, L/ ker(ad) ad(l). Then L/Z(L) is solvable. By Example , Z(L) is solvable. By Proposition 1.3.1, both Z(L) and L/Z(L) are solvable implies that L is solvable.

28 8 ZHENGYAO WU :45-11:30 [Hum78, 5.1] Definition The Killing form of a Lie algebra L is κ(x, y) = Tr(ad(x) ad(y)), x, y L 3.4. Lemma κ is an associative, symmetric bilinear form over L. Proof. Associativity follows from Lemma Lemma Let W be a linear subspace of V. Tr(φ) = Tr(φ W ). If φ End(V ) such that φ(v ) W, then Proof. Let e 1,..., e m be a basis of W. Extend it to a basis e 1,..., e m, e m+1,..., e n of V. Then φ(e i ) = m a ij e j, a ij = 0 for m + 1 j n. Hence Tr(φ) = n a ii = m a ii = Tr(φ W ). j= Lemma Let I be an ideal of L. Then κ I = κ I I. Proof. For x, y I, (ad(x) ad(y))(l) I, by Lemma 3.4.3, we have κ(x, y) = Tr(ad(x) ad(y)) = Tr((ad(x) ad(y)) I ) = Tr(ad I (x) ad I (y)) = κ I (x, y) Definition The radical of a symmetric bilinear form β of L is Lemma The radical of κ is an ideal of L. S = {x L β(x, y) = 0, y L}. Proof. Let S be the radical of κ. For all x S, by Lemma 3.4. hence [x, y] S for all y L. κ([x, y], z) = κ(x, [y, z]) = 0, y, z L Definition A bilinear form β : V V F is nondegenerate if its radical S is Lemma Let x 1,..., x n be a basis of V. Then a bilinear form β is nondegenerate iff det((β(x i, x j )) 1 i,j n ) 0. Proof. S = ker( β) where β : V V, β(x)(y) = β(x, y). β is nondegenerate iff β is invertible iff its matrix (β(x i, x j )) 1 i,j n is nonsingular Example The Killing form of sl(, F ) is nondegenerate.

29 LECTURE NOTES 9 Proof. Take the standard basis {x, h, y} as column vectors. We have ad(x) = 0 0 1, ad(h) = 0 0 0, ad(y) = Then κ has matrix whose determinant is It follows from Lemma that κ is nondegenerate Lemma A Lie algebra is not semisimple iff it has at least one nonzero abelian ideal. Proof. If L has a nonzero abelian ideal, the ideal is solvable, then Rad(L) 0, a contradiction to Definition.1.4. Suppose L has no nonzero abelian ideals. If L is not semisimple, then Rad(L) 0. Since Rad(L) is solvable, by Definition , the last nonzero term in the derived series of Rad(L) is abelian. By Exercise 3.1, this term is a nonzero abelian ideal of L, a contradiction Lemma Let S be the radical of κ. Then S Rad(L) but the reverse inclusion need not hold. Proof. By Definition 3.4.5, for all x S, 0 = κ(x, y) = Tr(ad(x) ad(y)) for all y L. By Cartan s criterion Corollary 3.3.5, S is solvable. By Lemma 3.4.6, S is an ideal of L. Hence S Rad(L). For the reverse, see Exercise Lemma Let S be the radical of κ. Every abelian ideal I of L is included in S. Proof. For all x I and y L, (ad(x) ad(y))(l) = [x, [y, L]] [x, L] I. Then (ad(x) ad(y)) (L) (ad(x) ad(y))(i) = [x, [y, I]] [I, I] = 0. Then ad(x) ad(y) is nilpotent and hence κ(x, y) = Tr(ad(x) ad(y)) = 0. Therefore I S Theorem A Lie algebra L is semisimple iff its Killing form κ is nondegenerate. Proof. Let S be the radical of κ. If L is semisimple, by Definition.1.4, Rad(L) = 0. By Lemma , S = 0. By Definition 3.4.7, κ is nondegenerate. Conversely, if κ is nondegenerate, by Definition 3.4.7, S = 0. By Lemma 3.4.1, all abelian ideals of L are 0. By Lemma , L is semisimple. See also Exercise Definition A Lie algebra is the direct sum of ideals if L = I I t as direct sum of subspaces. We write L = I 1 I t. In this case, [I i, I j ] I i I j = Definition Let I be an ideal of L. Define I = {x L κ(x, I) = 0}.

30 30 ZHENGYAO WU Lemma I is an ideal of L. Proof. For all x I and y, z L, by Lemma 3.4., Then [x, y] I, I is an ideal of L Lemma If L is semisimple, then L = I I. κ([x, y], z) = κ(x, [y, z]) = 0 Proof. Since L is semisimple, I L, x κ(x, ) is injective. Since L is finite dimensional, by duality, L L I, x κ(, x) is surjective. Then L I + I I + I and dim(i ) = dim(ker(l I )) = dim(l) dim(i ) = dim(l) dim(i). Let J = I I. Then κ(x, y) = 0 for all x, y J. Then κ(x, y) = 0 for all x [J, J], y J. By Cartan s criterion Corollary 3.3.5, J is a solvable ideal of L, then J Rad(L) Since L is semisimple, Rad(L) = 0, then J = 0. Therefore L = I I.

31 LECTURE NOTES March 1st Semisimple decomposition, Lie modules, Casimir element and Weyl s theorem :00-8:45 [Hum78, 5., 5.3] Theorem Let L be semisimple. Then there exists simple ideals L 1,, L t of L such that L = L 1 L t. Proof. If L has no nonzero proper ideal, then L is simple, t = 1 and L 1 = L. If L 1 is a minimal nonzero proper ideal of L, then Rad(L 1 ) Rad(L) = 0 and hence L 1 is semisimple. Hence L 1 is simple by minimality and L = L 1 L 1. Similarly, L 1 is semisimple. By induction L 1 is a direct sum of simple ideals of L 1, which are also ideals of L Theorem Every simple ideal of L coincides one of L i. The Killing form of L i is κ Li L i. Proof. Let I be a nonzero simple ideal of L. Since [I, L] is an ideal of I and I is simple, [I, L] = 0 or [I, L] = I. Since Z(L) = 0, [I, L] = I. On the other hand, I = [I, L] = [I, L 1 ] [I, L t ]. So I = [I, L i ] for some i and [I, L j ] = 0 for all j i. Then I = [I, L i ] is an ideal of L i. Since L i is simple, we have I = L i. The last assertion follows from Lemma Corollary If L is semisimple, then L = [L, L]. Proof. Suppose L = L 1 L t where L i are simple ideals of L. By Lemma 1..11, [L i, L i ] = L i. By Definition , [L i, L j ] = 0 for all i j. Then [ t ] t t t [L, L] = L i, L i = [L i, L i ] = L i = L Corollary All ideals of a semisimple Lie algebra L are semisimple. Proof. Let I be an ideal of L. By Lemma and Lemma , det(κ I ) det(κ I ) = det(κ). Since L is semisimple, by Theorem , κ is nondegenerate. By the above equality, κ I is nondegenerate. By Theorem again, I is semisimple Corollary All homomorphic images of a semisimple Lie algebra L are semisimple. Proof. Let φ : L M be an epimorphism. If I is a simple ideal of L, then φ(i) is a simple ideal of M. Otherwise there exists a nonzero proper ideal J of φ(i) such that φ 1 (J) is a nonzero proper ideal of I. By Theorem 4.1.1, L = L 1 L t where L i are simple. Then M = φ(l) = φ(l 1 ) φ(l t ) is a direct sum of simple ideals Corollary Each ideal of L is a direct sum of certain simple ideals of L.

32 3 ZHENGYAO WU Proof. By Corollary 4.1.4, an ideal I of L is semisimple. Theorem Lemma [δ, ad(x)] = ad(δ(x)) for all x L, δ Der(L). Proof. For all y L, The rest follows from [δ, ad(x)](y) = δ(ad(x)(y)) ad(x)(δ(y)) = δ([x, y]) [x, δ(y)] = [δ(x), y] = ad(δ(x))(y) Proposition If L is semisimple, then L is linear. Proof. Since L is semisimple, Rad(L) = 0. Since Z(L) is solvable, Z(L) Rad(L). Then Z(L) = 0. By Lemma 1.3.4, ker(ad L ) = 0. Therefore L ad(l) gl(l) Theorem If L is semisimple, then ad(l) = Der(L) i.e. every derivation of L is inner. Proof. By Proposition 4.1.8, L ad(l) is semisimple, by Theorem , ad(l) has a nondegenerate Killing form κ ad(l). By Lemma 4.1.7, [Der(L), ad(l)] ad(l), i.e. ad(l) is an ideal of Der(L). By Lemma 3.4.4, κ ad(l) = κ Der(L) ad(l). Let ad(l) be the complement ad(l) in Der(L) relative to κ Der(L). Since κ ad(l) is nondegenerate, ad(l) ad(l) = 0 and hence [ad(l), ad(l) ] = 0. Now we show that ad(l) = 0. If δ ad(l), then by Lemma 4.1.7, ad(δ(x)) = [δ, ad(x)] = 0 for all x L. Then δ(x) = 0 for all x L. Hence δ = 0. Therefore ad(l) = 0, Der(L) = ad(l) Proposition If L is semisimple, then for all x L, there exists unique x s, x n L such that x = x s + x n, [x s, x n ] = 0, x s is ad-semisimple (i.e. ad(x s ) is semisimple), x n is ad-nilpotent (i.e. ad(x n ) is nilpotent). We call it the abstract Jordan decomposition of x in L. Proof. Let ad(x) = (ad(x)) s + (ad(x)) n be the Jordan decomposition of ad(x) in gl(l). Since ad(x) Der(L), by Lemma 3..5, ad(x) s, ad(x) n Der(L). By Theorem 4.1.9, ad(l) = Der(L) and hence ad(x) s, ad(x) n ad(l). Since L is semisimple, by Proposition 4.1.8, L ad(l). Then there exists unique x s, x n gl(l) such that ad(x s ) = (ad(x)) s and ad(x n ) = (ad(x)) n Remark If L = sl(v ), then the abstract and the usual Jordan decomposition coincide. Proof. Let x = x s + x n be the usual Jordan decomposition in gl(v ). Since x n is nilpotent, Tr(x n ) = 0, we have x n L and x s = x x n L. By Lemma 3..3(1), ad gl(v ) (x s ) is semisimple. Since ad(x s )(L) [L, L] L, by Lemma 3.1.7, ad L (x s ) is semisimple. By Lemma 3..3(), ad gl(v ) (x n ) is nilpotent. Then its restriction ad L (x n ) is nilpotent. Also [x n, x s ] = 0. By the uniqueness, x = x s + x n is the abstract Jordan decomposition of x.

33 LECTURE NOTES :55-9:40 [Hum78, 6.1] Definition Let L be a Lie algebra. Let V be a vector space with an operation L V V, (x, v) x v such that (M1) (ax + by) v = a(x v) + b(y v), (M) x (av + bw) = a(x v) + b(x w), (M3) [x, y] v = x (y v) y (x v), for all x, y L, v, w V and a, b F. Then we call V an L-module. 4.. Lemma x v = φ(x)(v), x L, v V. (1) Given a representation φ : L gl(v ), this defines an L-module. () Given an L-module V, this defines a representation φ : L gl(v ). Proof. (M1) iff φ is linear. (M) iff φ(x) is linear for all x L. (M3) iff φ is a homomorphism of Lie algebras Definition A homomorphism of L-modules is a map φ : V W such that φ(x v) = x φ(v) for all x L and v V Lemma Let φ : V W be a homomorphism of L-modules. Then ker(φ) is an L-module. Proof. If x L and v ker(φ), then φ(x v) = x φ(v) = x 0 = 0 and hence x v ker(φ). (M1-3) of ker(φ) are induced by (M1-3) of V Example L is an L-module via ad. (M1,) follows from the fact that [, ] is bilinear. (M3) follows from the Jacobi identity Definition If a homomorphism of L-modules φ : V W is an isomorphism of vector spaces, then we call φ an isomorphism of L-modules. Or we say that V and W afford equivalent representations of L Definition An L-module V is irreducible if it has precisely two L-submodules 0 and V Example 0 is not an irreducible L-module since it only has one submodule Example A one-dimensional vector space on which L acts trivially is an irreducible L-module Definition An L-module is called completely reducible if V is a direct sum of irreducible L-submodules Lemma An L-module is completely reducible iff each L-submodule W of V has a complement W, an L-submodule such that V = W W Example A simple algebra L is an irreducible L-module, since L-submodules equivalent to ideals Example A semisimple algebra L is a completely reducible L-module, since Theorem

34 34 ZHENGYAO WU Remark Given a representation φ : L gl(v ), the associative algebra with 1 generated by φ(l) has the same invariant subspaces as L. Then all the usual results for modules over associative rings hold for L as well, such as Jordan-Hölder theorem Lemma Schur. Let φ : L gl(v ) be irreducible. Then the only endomorphism of V commuting with all φ(x), x L are the scalars. Proof. Suppose ψ gl(v ) such that φ(x) ψ = ψ φ(x) for all x L. Since F is algebraically closed, ψ has eigenvalues. Let a be an eigenvalue of ψ. Then ψ a 1 gl(v ). Since eigenvectors of ψ are nonzero, ker(ψ a 1) 0. Since V is irreducible, ker(ψ a 1) = V and hence ψ a 1 = 0. Therefore ψ = a Example If W and W are L-modules, then W W is an L-module with x (w, w ) = (x w, x w ) for all x L, w W and w W Example Let V be an L-module. Then V is an L-module by (x f)(v) = f(x v) for all x L, v V and f V. (M1,) follows from the fact that f is linear. (M3) ([x, y] f)(v) = f([x, y] v) = f(x (y v) y (x v)) = f(x (y v))+f(y (x v)) = (x f)(y v)+(y f)(x v) = (y (x f))(v)+(x (y f))(v) = ((x (y f)) (y (x f)))(v) Example Let V and W be L-modules. Then V F W is a L-module by x (v w) = x v w + v x w. (M1,) follows from the fact that is bilinear. (M3) [x, y] (v w) = ([x, y] v) w + v ([x, y] w) = (x (y v) y (x v)) w + v (x (y w) y (x w)) = (x (y v)) w + v (x (y w)) (y (x v)) w v (y (x w)) = (x (y v)) w + (y v) (x w) + (x v) (y w) + v (x (y w)) (y (x v)) w (x v) (y w) (y v) (x w) v (y (x w)) = x ((y v) w) + x (v (y w)) y ((x v) w) y (v (x w)) = x (y (v w)) y (x (v w)) Example Let V and W be L-modules. Then Hom F (V, W ) is a L-module by (x f)(v) = x f(v) f(x v) for all x L, f Hom(V, W ) and v V. (M1,) follows from the fact that is bilinear.

Lecture 13 - Root Space Decomposition II

Lecture 13 - Root Space Decomposition II Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).

Διαβάστε περισσότερα

Reminders: linear functions

Reminders: linear functions Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U

Διαβάστε περισσότερα

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal

Διαβάστε περισσότερα

EE512: Error Control Coding

EE512: Error Control Coding EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3

Διαβάστε περισσότερα

Congruence Classes of Invertible Matrices of Order 3 over F 2

Congruence Classes of Invertible Matrices of Order 3 over F 2 International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and

Διαβάστε περισσότερα

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)

Διαβάστε περισσότερα

2 Composition. Invertible Mappings

2 Composition. Invertible Mappings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,

Διαβάστε περισσότερα

Lecture 10 - Representation Theory III: Theory of Weights

Lecture 10 - Representation Theory III: Theory of Weights Lecture 10 - Representation Theory III: Theory of Weights February 18, 2012 1 Terminology One assumes a base = {α i } i has been chosen. Then a weight Λ with non-negative integral Dynkin coefficients Λ

Διαβάστε περισσότερα

UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition

UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition UNIT - I LINEAR ALGEBRA Definition Vector Space : A non-empty set V is said to be vector space over the field F. If V is an abelian group under addition and if for every α, β F, ν, ν 2 V, such that αν

Διαβάστε περισσότερα

dim(u) = n 1 and {v j } j i

dim(u) = n 1 and {v j } j i SOLUTIONS Math B4900 Homework 1 2/7/2018 Unless otherwise specified, U, V, and W denote vector spaces over a common field F ; ϕ and ψ denote linear transformations; A, B, and C denote bases; A, B, and

Διαβάστε περισσότερα

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all

Διαβάστε περισσότερα

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that

Διαβάστε περισσότερα

Example Sheet 3 Solutions

Example Sheet 3 Solutions Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

Lie Algebras Representations- Bibliography

Lie Algebras Representations- Bibliography Lie Algebras Representations- Bibliography J. E. Humphreys Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Springer 1980 Hans Samelson, Notes on Lie Algebras B. C.

Διαβάστε περισσότερα

Lie algebras. Course Notes. Alberto Elduque Departamento de Matemáticas Universidad de Zaragoza Zaragoza, Spain

Lie algebras. Course Notes. Alberto Elduque Departamento de Matemáticas Universidad de Zaragoza Zaragoza, Spain Lie algebras Course Notes Alberto Elduque Departamento de Matemáticas Universidad de Zaragoza 50009 Zaragoza, Spain c 2005-2015 Alberto Elduque These notes are intended to provide an introduction to the

Διαβάστε περισσότερα

Every set of first-order formulas is equivalent to an independent set

Every set of first-order formulas is equivalent to an independent set Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent

Διαβάστε περισσότερα

Lecture 15 - Root System Axiomatics

Lecture 15 - Root System Axiomatics Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the

Διαβάστε περισσότερα

C.S. 430 Assignment 6, Sample Solutions

C.S. 430 Assignment 6, Sample Solutions C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order

Διαβάστε περισσότερα

Lie Algebras Representations- Bibliography

Lie Algebras Representations- Bibliography Lie Algebras Representations- Bibliography J. E. Humphreys Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics, Springer 1980 Alex. Kirillov An Introduction to Lie Groups

Διαβάστε περισσότερα

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Αναπαραστάσεις Αλγεβρών Lie Ενότητα 1: Αναπαραστάσεις Αλγεβρών Lie Κ. Δασκαλογιάννης Τμήμα Μαθηματικών Α.Π.Θ. (Α.Π.Θ.) Αναπαραστάσεις

Διαβάστε περισσότερα

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.

Διαβάστε περισσότερα

Cyclic or elementary abelian Covers of K 4

Cyclic or elementary abelian Covers of K 4 Cyclic or elementary abelian Covers of K 4 Yan-Quan Feng Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China Summer School, Rogla, Slovenian 2011-06 Outline 1 Question 2 Main results 3

Διαβάστε περισσότερα

3.2 Simple Roots and Weyl Group

3.2 Simple Roots and Weyl Group 44 CHAPTER 3. ROOT SYSTEMS 3.2 Simple Roots and Weyl Group In this section, we fix a root system Φ of rank l in a euclidean space E, with Weyl group W. 3.2.1 Bases and Weyl chambers Def. A subset of Φ

Διαβάστε περισσότερα

On the Galois Group of Linear Difference-Differential Equations

On the Galois Group of Linear Difference-Differential Equations On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts

Διαβάστε περισσότερα

Fractional Colorings and Zykov Products of graphs

Fractional Colorings and Zykov Products of graphs Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is

Διαβάστε περισσότερα

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

6.1. Dirac Equation. Hamiltonian. Dirac Eq. 6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2

Διαβάστε περισσότερα

From root systems to Dynkin diagrams

From root systems to Dynkin diagrams From root systems to Dynkin diagrams Heiko Dietrich Abstract. We describe root systems and their associated Dynkin diagrams; these notes follow closely the book of Erdman & Wildon ( Introduction to Lie

Διαβάστε περισσότερα

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p) Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

Διαβάστε περισσότερα

Jordan Form of a Square Matrix

Jordan Form of a Square Matrix Jordan Form of a Square Matrix Josh Engwer Texas Tech University josh.engwer@ttu.edu June 3 KEY CONCEPTS & DEFINITIONS: R Set of all real numbers C Set of all complex numbers = {a + bi : a b R and i =

Διαβάστε περισσότερα

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function March 22, 2013 References: A. Knapp, Lie Groups Beyond an Introduction. Ch V Fulton-Harris, Representation

Διαβάστε περισσότερα

ST5224: Advanced Statistical Theory II

ST5224: Advanced Statistical Theory II ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known

Διαβάστε περισσότερα

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed

Διαβάστε περισσότερα

MATH1030 Linear Algebra Assignment 5 Solution

MATH1030 Linear Algebra Assignment 5 Solution 2015-16 MATH1030 Linear Algebra Assignment 5 Solution (Question No. referring to the 8 th edition of the textbook) Section 3.4 4 Note that x 2 = x 1, x 3 = 2x 1 and x 1 0, hence span {x 1, x 2, x 3 } has

Διαβάστε περισσότερα

Finite Field Problems: Solutions

Finite Field Problems: Solutions Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The

Διαβάστε περισσότερα

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Chapter 6: Systems of Linear Differential. be continuous functions on the interval Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations

Διαβάστε περισσότερα

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Partial Differential Equations in Biology The boundary element method. March 26, 2013 The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet

Διαβάστε περισσότερα

Homework 3 Solutions

Homework 3 Solutions Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For

Διαβάστε περισσότερα

Uniform Convergence of Fourier Series Michael Taylor

Uniform Convergence of Fourier Series Michael Taylor Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula

Διαβάστε περισσότερα

Contraction of a Lie Algebra with respect to one of its Subalgebras and its application to Group Representations

Contraction of a Lie Algebra with respect to one of its Subalgebras and its application to Group Representations Contraction of a Lie Algebra with respect to one of its Subalgebras and its application to Group Representations Maury LeBlanc Department of Mathematics The University of Georgia 1 December 2011 Motivation

Διαβάστε περισσότερα

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X. Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:

Διαβάστε περισσότερα

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik Affine Weyl Groups Gabriele Nebe Lehrstuhl D für Mathematik Summerschool GRK 1632, September 2015 Crystallographic root systems. Definition A crystallographic root system Φ is a finite set of non zero

Διαβάστε περισσότερα

Chapter 3: Ordinal Numbers

Chapter 3: Ordinal Numbers Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What

Διαβάστε περισσότερα

4.6 Autoregressive Moving Average Model ARMA(1,1)

4.6 Autoregressive Moving Average Model ARMA(1,1) 84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this

Διαβάστε περισσότερα

Other Test Constructions: Likelihood Ratio & Bayes Tests

Other Test Constructions: Likelihood Ratio & Bayes Tests Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :

Διαβάστε περισσότερα

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King

g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King Ole Warnaar Department of Mathematics g-selberg integrals The Selberg integral corresponds to the following k-dimensional generalisation of the beta integral: D Here and k t α 1 i (1 t i ) β 1 1 i

Διαβάστε περισσότερα

Intuitionistic Fuzzy Ideals of Near Rings

Intuitionistic Fuzzy Ideals of Near Rings International Mathematical Forum, Vol. 7, 202, no. 6, 769-776 Intuitionistic Fuzzy Ideals of Near Rings P. K. Sharma P.G. Department of Mathematics D.A.V. College Jalandhar city, Punjab, India pksharma@davjalandhar.com

Διαβάστε περισσότερα

Homomorphism in Intuitionistic Fuzzy Automata

Homomorphism in Intuitionistic Fuzzy Automata International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic

Διαβάστε περισσότερα

Tridiagonal matrices. Gérard MEURANT. October, 2008

Tridiagonal matrices. Gérard MEURANT. October, 2008 Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,

Διαβάστε περισσότερα

Units and the Unit Conjecture

Units and the Unit Conjecture Units and the Unit Conjecture Joint with Peter Pappas David A. Craven University of Oxford London Algebra Colloquium, 4th November, 2010 David A. Craven (University of Oxford) The Unit Conjecture 4th November,

Διαβάστε περισσότερα

New bounds for spherical two-distance sets and equiangular lines

New bounds for spherical two-distance sets and equiangular lines New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a

Διαβάστε περισσότερα

5. Choice under Uncertainty

5. Choice under Uncertainty 5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation

Διαβάστε περισσότερα

arxiv: v1 [math.ra] 19 Dec 2017

arxiv: v1 [math.ra] 19 Dec 2017 TWO-DIMENSIONAL LEFT RIGHT UNITAL ALGEBRAS OVER ALGEBRAICALLY CLOSED FIELDS AND R HAHMED UBEKBAEV IRAKHIMOV 3 arxiv:7673v [mathra] 9 Dec 7 Department of Math Faculty of Science UPM Selangor Malaysia &

Διαβάστε περισσότερα

Lecture 21: Properties and robustness of LSE

Lecture 21: Properties and robustness of LSE Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem

Διαβάστε περισσότερα

CRASH COURSE IN PRECALCULUS

CRASH COURSE IN PRECALCULUS CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter

Διαβάστε περισσότερα

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S. Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. Proof. ( ) Since α is 1-1, β : S S such that β α = id S. Since β α = id S is onto,

Διαβάστε περισσότερα

The ε-pseudospectrum of a Matrix

The ε-pseudospectrum of a Matrix The ε-pseudospectrum of a Matrix Feb 16, 2015 () The ε-pseudospectrum of a Matrix Feb 16, 2015 1 / 18 1 Preliminaries 2 Definitions 3 Basic Properties 4 Computation of Pseudospectrum of 2 2 5 Problems

Διαβάστε περισσότερα

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits. EAMCET-. THEORY OF EQUATIONS PREVIOUS EAMCET Bits. Each of the roots of the equation x 6x + 6x 5= are increased by k so that the new transformed equation does not contain term. Then k =... - 4. - Sol.

Διαβάστε περισσότερα

Generating Set of the Complete Semigroups of Binary Relations

Generating Set of the Complete Semigroups of Binary Relations Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze

Διαβάστε περισσότερα

Matrices and Determinants

Matrices and Determinants Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z

Διαβάστε περισσότερα

w o = R 1 p. (1) R = p =. = 1

w o = R 1 p. (1) R = p =. = 1 Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:

Διαβάστε περισσότερα

Numerical Analysis FMN011

Numerical Analysis FMN011 Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =

Διαβάστε περισσότερα

A Note on Intuitionistic Fuzzy. Equivalence Relation

A Note on Intuitionistic Fuzzy. Equivalence Relation International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com

Διαβάστε περισσότερα

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R + Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b

Διαβάστε περισσότερα

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------

Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- ----------------- Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin

Διαβάστε περισσότερα

Structure Groups and Linear Transformations

Structure Groups and Linear Transformations Structure Groups and Linear Transformations Darien Elderfield August 20, 2015 1 Preliminaries Definition 1 Let V be a vector space and R : V V V V R be linear in each input R is an algebraic curvature

Διαβάστε περισσότερα

Quadratic Expressions

Quadratic Expressions Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots

Διαβάστε περισσότερα

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required) Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts

Διαβάστε περισσότερα

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University

Διαβάστε περισσότερα

Space-Time Symmetries

Space-Time Symmetries Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a

Διαβάστε περισσότερα

Math221: HW# 1 solutions

Math221: HW# 1 solutions Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin

Διαβάστε περισσότερα

1. Introduction and Preliminaries.

1. Introduction and Preliminaries. Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.yu/filomat Filomat 22:1 (2008), 97 106 ON δ SETS IN γ SPACES V. Renuka Devi and D. Sivaraj Abstract We

Διαβάστε περισσότερα

Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices

Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Chi-Kwong Li Department of Mathematics The College of William and Mary Williamsburg, Virginia 23187-8795

Διαβάστε περισσότερα

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4

Διαβάστε περισσότερα

The product rule for derivations on finite dimensional split semi-simple Lie algebras over a field of characteristic zero

The product rule for derivations on finite dimensional split semi-simple Lie algebras over a field of characteristic zero The product rule for derivations on finite dimensional split semi-simple Lie algebras over a field of characteristic zero Richard L. Kramer Department of Mathematics Iowa State University Ames, Iowa 50011,

Διαβάστε περισσότερα

de Rham Theorem May 10, 2016

de Rham Theorem May 10, 2016 de Rham Theorem May 10, 2016 Stokes formula and the integration morphism: Let M = σ Σ σ be a smooth triangulated manifold. Fact: Stokes formula σ ω = σ dω holds, e.g. for simplices. It can be used to define

Διαβάστε περισσότερα

Lecture Notes Introduction to Cluster Algebra

Lecture Notes Introduction to Cluster Algebra Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 29, 2017 7.2 Properties of Exchangeable roots The notion of exchangeable is explained as follows Proposition 7.20. If C and C = C

Διαβάστε περισσότερα

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =

Διαβάστε περισσότερα

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β 3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle

Διαβάστε περισσότερα

SOME PROPERTIES OF FUZZY REAL NUMBERS

SOME PROPERTIES OF FUZZY REAL NUMBERS Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical

Διαβάστε περισσότερα

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology. Bol. Soc. Paran. Mat. (3s.) v. 30 2 (2012): 71 77. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v30i2.13793 Some new generalized topologies via hereditary

Διαβάστε περισσότερα

Homework 8 Model Solution Section

Homework 8 Model Solution Section MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx

Διαβάστε περισσότερα

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp.115-126. α, β, γ ORTHOGONALITY ABDALLA TALLAFHA Abstract. Orthogonality in inner product spaces can be expresed using the notion of norms.

Διαβάστε περισσότερα

Bounding Nonsplitting Enumeration Degrees

Bounding Nonsplitting Enumeration Degrees Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,

Διαβάστε περισσότερα

Lecture 2. Soundness and completeness of propositional logic

Lecture 2. Soundness and completeness of propositional logic Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness

Διαβάστε περισσότερα

About these lecture notes. Simply Typed λ-calculus. Types

About these lecture notes. Simply Typed λ-calculus. Types About these lecture notes Simply Typed λ-calculus Akim Demaille akim@lrde.epita.fr EPITA École Pour l Informatique et les Techniques Avancées Many of these slides are largely inspired from Andrew D. Ker

Διαβάστε περισσότερα

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ. Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action

Διαβάστε περισσότερα

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano 235 Kragujevac J. Math. 30 (2007) 235 242. THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS Daniel A. Romano Department of Mathematics and Informatics, Banja Luka University, Mladena Stojanovića

Διαβάστε περισσότερα

Commutative Monoids in Intuitionistic Fuzzy Sets

Commutative Monoids in Intuitionistic Fuzzy Sets Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,

Διαβάστε περισσότερα

arxiv: v2 [math.at] 19 Feb 2015

arxiv: v2 [math.at] 19 Feb 2015 ON THE PETERSON HIT PROBLEM arxiv:112.3309v2 [math.at] 19 Feb 2015 NGUYỄN SUM Abstract. We study the hit problem, set up by F. Peterson, of finding a minimal set of generators for the polynomial algebra

Διαβάστε περισσότερα

F A S C I C U L I M A T H E M A T I C I

F A S C I C U L I M A T H E M A T I C I F A S C I C U L I M A T H E M A T I C I Nr 46 2011 C. Carpintero, N. Rajesh and E. Rosas ON A CLASS OF (γ, γ )-PREOPEN SETS IN A TOPOLOGICAL SPACE Abstract. In this paper we have introduced the concept

Διαβάστε περισσότερα

Approximation of distance between locations on earth given by latitude and longitude

Approximation of distance between locations on earth given by latitude and longitude Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth

Διαβάστε περισσότερα

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS EXERCISE 01 Page 545 1. Use matrices to solve: 3x + 4y x + 5y + 7 3x + 4y x + 5y 7 Hence, 3 4 x 0 5 y 7 The inverse of 3 4 5 is: 1 5 4 1 5 4 15 8 3

Διαβάστε περισσότερα

6.3 Forecasting ARMA processes

6.3 Forecasting ARMA processes 122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear

Διαβάστε περισσότερα

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008 Sequent Calculi for the Modal µ-calculus over S5 Luca Alberucci, University of Berne Logic Colloquium Berne, July 4th 2008 Introduction Koz: Axiomatisation for the modal µ-calculus over K Axioms: All classical

Διαβάστε περισσότερα

Section 8.3 Trigonometric Equations

Section 8.3 Trigonometric Equations 99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.

Διαβάστε περισσότερα

Homomorphism of Intuitionistic Fuzzy Groups

Homomorphism of Intuitionistic Fuzzy Groups International Mathematical Forum, Vol. 6, 20, no. 64, 369-378 Homomorphism o Intuitionistic Fuzz Groups P. K. Sharma Department o Mathematics, D..V. College Jalandhar Cit, Punjab, India pksharma@davjalandhar.com

Διαβάστε περισσότερα

Multilinear Algebra 1

Multilinear Algebra 1 Multilinear Algebra 1 Tin-Yau Tam Department of Mathematics and Statistics 221 Parker Hall Auburn University AL 36849, USA tamtiny@auburn.edu November 30, 2011 1 Some portions are from B.Y. Wang s Foundation

Διαβάστε περισσότερα

arxiv: v2 [math.gr] 14 Dec 2018

arxiv: v2 [math.gr] 14 Dec 2018 arxiv:181.05311v [math.gr] 1 Dec 018 Sequences over finite fields defined by BN-pair decomposition of PSL (q) recursively Robert Shwartz Department of Mathematics Ariel University, Israel robertsh@ariel.ac.il

Διαβάστε περισσότερα

Second Order Partial Differential Equations

Second Order Partial Differential Equations Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y

Διαβάστε περισσότερα