arxiv: v2 [math.ra] 31 Oct 2018
|
|
- Mildred Paul
- 5 years ago
- Views:
Transcription
1 Multipliers, Covers and Stem Extensions or Lie Superalgebras arxiv: v2 [math.ra] 31 Oct 2018 Xingxue Miao and Wende Liu School o Mathematical Sciences, Harbin Normal University Harbin , China Abstract: Suppose that the underlying ield is o characteristic dierent rom 2, 3. In this paper we irst prove that the so-called stem deormations o a ree presentations o a inite-dimensional Lie superalgebra L exhaust all the maximal stem extensions o L, up to equivalence o extensions. Then we prove that multipliers and covers always exist or a Lie superalgebra and they are unique up to Lie superalgebra isomorphisms. Finally, we describe the multipliers, covers and maximal stem extensions o Heisenberg superalgebras o odd centers and model iliorm Lie superalgebras. Keywords: multiplier, cover, stem extension, Heisenberg superalgebra, iliorm Lie supleralgebra Mathematics Subject Classiication 2010: 17B05, 17B30, 17B56 1. Introduction The notion o multipliers and covers, which is closed relative to stem extensions, irst appeared Schur s work in the group theory and then was generalized to Lie algebra case. It proves that the theory o multipliers, covers and stem extension is not only o intrinsic interest, but also o important role in characterizing algebraic structures, such as in computing second cohomology with coeicients in trivial modules or groups or Lie algebras. The study on multipliers o Lie algebras began in 1990 s (see [3, 12], or example) and the theory has seen a ruitul development (see [2, 5, 8, 9, 14, 17, 20], or example). Among them, a typical act analogous to the one in the group theory is that the multiplier o a inite-dimensional Lie algebra L is isomorphic to the second cohomology group o L with coeicients in the 1-dimensional trivial module (see [1], or example). The notions o multipliers, covers and stem extensions may also be naturally generalized to Lie superalgebra case. In this paper, we irst introduce the notions o stem denominators and stem deormations or an extension o a Lie superalgebra and show that all the stem deormations o a ree presentations o a inite-dimensional Lie superalgebra L coincide all the maximal stem extensions o L, up to equivalence o extensions. Then we show that multipliers and covers always exist or a Lie superalgebra and they are unique up to Lie superalgebra isomorphisms. Finally, we describe multipliers, covers and maximal stem extensions o Heisenberg superalgebras o odd centers and model iliorm Lie superalgebras. Correspondence: wendeliu@ustc.edu.cn (W. Liu), supported by the NSF o China ( , ) 1
2 Multipliers, Covers and Stem Extensions or Lie Superalgebras 2 2. Stem extensions Unless otherwise stated, we assume that the underlying ield F is o characteristic dierent rom 2,3, and all (super)spaces, (super)algebras are deined over F. Let Z 2 := { 0, 1} be the additive group o order 2 and V = V 0 V 1 a superspace, that is, a Z 2 -graded vector space. For a homogeneous element x in V, write x or the parity o x. The symbol x implies that x has been assumed to be a homogeneous element. Note that in a superspace, a subsuperspace always has a supplementary subsuperspace. Moreover, i V is a superspace and W is a subsuperspace o V, then the quotient space V/W inherits a super structure and every subsuperspace o V/W is o orm X/W, where X is a subsuperspace containing W. Let us recall the notion o extensions Lie superalgebras and some basic properties. By deinition a Lie superalgebra homomorphism is both an even linear map and an algebra homomorphism and an ideal o a Lie superalgebra is always a Z 2 -graded ideal. An extension o a Lie superalgebra L by A is an exact sequence o Lie superalgebra homomorphisms: 0 A α B β L 0. (2.1) We usually identiy A with a subalgebra o B and omit the embedding map α. Suppose that 0 C D γ L 0 (2.2) is also an extension o L and there is a homomorphism rom extensions (2.1) to (2.2), that is, a Lie superalgebra homomorphism : B D such that γ = β. Then maps A into C and 1 (C) = A. Hereater we denote by itsel the restriction : A C. Then the ollowing diagram commutes: 0 A B β L 0 id 0 C D γ L 0 Clearly, i : B D is surjective, then so is its restriction : A C. Recall that an extension (2.1) is said to be central i the kernel A is contained in the center Z(B) o B. I X is an ideal o A as well as B, then (2.1) induces an exact sequence 0 A/X B/X β L 0. Hereater, we denote by β itsel the map induced β : B/X L. As in the Lie algebra case, we introduce the ollowing notion. Deinition 2.1. A stem extension o a Lie superalgebra L is a central extension such that S [T,T]. 0 S T β L 0 The ollowing properties hold or stem extensions o Lie superalgebras, which are analogous to the ones in Lie algebra case (see [3], or example). Hereater, we use a partial order in Z Z as ollows: (m,n) (k,l) m k,n l. (2.3) For m,n Z, we write (m,n) = m+n. We also view Z Z as the additive group in the usual way.
3 Multipliers, Covers and Stem Extensions or Lie Superalgebras 3 Lemma 2.2. Let L be a inite-dimensional Lie superalgebra. Suppose that 0 S T γ L 0 is a stem extension o L. Then the ollowing statements hold. (1) Suppose that sdiml = (s, t). Then both S and T are inite-dimensional and ( 1 sdims 2 s(s 1)+ 1 ) 2 t(t+1)+s,st. (2) S is contained in every maximal subalgebra o T. (3) Suppose that 0 A B β L 0 is an extension o L and is a homomorphism o extensions: 0 A B β L 0 Then must be surjective. 0 S T γ id L 0 Proo. (1) See [10, Lemma 2.3]. (2) Let X be amaximal subalgebrao T. Assume converselythat S X. Since S Z(T), one sees that S +X = T and then S [T,T] X, a contradiction. (3) Assume conversely that (B) T. By (1), T is inite-dimensional. Then there is a maximal subalgebra X such that (B) X. Note that the commutativity o the diagram implies T = S +(B). Then by (2), we have T X, a contradiction. We note that an arbitrary extension 0 A B β L 0 (2.4) induces naturally a central extension and then a stem extension o L. First, by actoring out the ideal [A,B], we obtain a central extension 0 A/[A,B] B/[A,B] β L 0 (2.5) Then, consider any supplementary subsuperspace o A [B, B]/[A, B] in A/[A, B], which must be o orm X/[A,B], where X is a subsuperspace o A containing [A,B]. Clearly, X is an ideal o A as well as B. Then we have a decomposition o ideals: A/[A,B] = A [B,B]/[A,B] X/[A,B]. (2.6) Such a subsuperspace (ideal) X is called a stem denominator o the extension (2.4). Since X A and β(a) = 0, we obtain an extension 0 A/X B/X β L 0, (2.7) called a stem deormation o extension (2.4). By the ollowing proposition, a stem deormation o an extension is a stem extension.
4 Multipliers, Covers and Stem Extensions or Lie Superalgebras 4 Proposition 2.3. Let 0 A B β L 0 (2.8) be an extension o Lie superalgebra L. Suppose that X is a subsuperspace o A and X [A,B]. (1) X is a stem denominator o extension (2.8) i and only i A = A [B,B]+X and [B,B] X = [A,B]. (2.9) (2) Suppose that X is a stem denominator o extension (2.8). Then is a stem extension and moreover, 0 A/X B/X β L 0 (2.10) A/X = A [B,B]/[A,B]. (2.11) (3) For an extension, a stem denominators and then a deormations always exist. Proo. (1) It ollows rom the act that (2.9) is equivalent to (2.6). (2) Since [A,B] X, we have [A/X,B/X] = 0. By (2.9), it is clear that A/X [B/X, B/X]. Hence (2.10) is a stem extension. While (2.11) is a direct consequence o (2.9). (3) Form the argument beore this proposition, one sees a stem denominator always exists and so does a stem deormation by (2). The ollowing theorem tells us that i a stem extension (S) o a Lie superalgebra L is a homomorphic image o an extension (E) o L, then (S) must be a homomorphic image o some stem deormation o (E). Theorem 2.4. Let be an extension o L and 0 A B β L 0 (2.12) 0 S T γ L 0 (2.13) a stem extension o L. Suppose that : B T is a homomorphism o extensions: 0 A B β L 0 (2.14) 0 S T γ id L 0 Then there is a stem denominator X o extension (2.12) such that (X) = 0 and induces an epimorphism o extensions: 0 A/X B/X β L 0 0 S T γ id L 0
5 Multipliers, Covers and Stem Extensions or Lie Superalgebras 5 Proo. By Lemma 2.2(3), is surjective. Then (A) = S and 1 (S) = A. Since S [T,T], we have S ([B,B]) and S (A [B,B]). Hence S = (A [B,B]) and then (A) = (A [B,B]). Consequently, A = A [B,B]+ker. (2.15) Clearly, [A,B] ker, since S Z(T). By (2.15), there is a subsuperspace X ker satisying that [A,B] X A such that A = A [B,B]+X and [B,B] X = [A,B]. By Proposition 2.3, X is the desired stem denominator. The proo is complete. We shall prove an important act, which states that a stem extension o L must be a homomorphic image o a stem deormation o any ree presentation o L. Recall that a Lie superalgebra L always has a ree presentation, that is, an extension with F being a ree Lie superalgebra. Let 0 R F π L 0 0 S T γ L 0 (2.16) a stem extension o L. Then there is a homomorphism o extensions, 0 R F π L 0 (2.17) 0 S T γ id L 0 So, as a direct consequence o Theorem 2.4, we have Theorem 2.5. Suppose that 0 R F π L 0 (2.18) is a ree presentation o Lie superalgebra L and 0 S T γ L 0 (2.19) is a stem extension o L. Then there is a stem denominator X o (2.18) such that (X) = 0 and induces an epimorphism o extensions: 0 R/X F/X π L 0 0 S T γ id L 0 In view o Lemma 2.2(1), the ollowing notion makes sense. Deinition 2.6. Let L be a inite-dimensional Lie superalgebra. A stem extension o L, 0 S T γ L 0, is called maximal, i, among all the stem extensions o L, the kernel S is o maximal superdimension with respect to the partial order (2.3).
6 Multipliers, Covers and Stem Extensions or Lie Superalgebras 6 Theorem 2.7. Let L be a inite-dimensional Lie superalgebra and 0 R F π L 0. (2.20) a ree presentation. Then, up to isomorphisms o extensions, the stem deormations o (2.20) exhaust all the maximal stem extensions o L. Proo. Let 0 M C γ L 0 (2.21) be a maximalstem extensionol. By Theorem2.5, thereis an epimorphism oextensions: 0 R/X F/X π L 0 0 M C γ id L 0 where X is a stem denominator o (2.20) such that (X) = 0. By the maximality o (2.21), is an isomorphism o extensions. By Proposition 2.3(2), M = R [F,F]/[R,F] is independent o the choice o X. Hence every stem deormation o (2.20) is a maximal stem extension o L. 3. Multipliers and Covers Analogous to the Lie algebra case, we introduce the ollowing deinition or Lie superalgebras. Deinition 3.1. Let L be a inite-dimensional Lie superalgebra. I 0 M C L 0 is a maximal stem extension o Lie superalgebra L, then M is called a multiplier and C a cover o L. By Theorem 2.7, or a inite-dimensional Lie superalgebra, multipliers and covers always exist. We shall prove that both multipliers and covers are unique up to Lie superalgebra isomorphisms. We need a technical lemma, which is a super-version o a general result (see [3]). Recall that a superalgebra is a superspace with a bilinear multiplication which is compatible with the Z 2 -grading structure. Lemma 3.2. Let A 1,A 2,B 1 and B 2 be superalgebras and A 1 B 1 = A2 B 2 (3.1) as superalgebras. Suppose that A 1 and A 2 are inite-dimensional and A 1 = A2 as superalgebras. Then B 1 = B2 as superalgebras. Proo. By (3.1), one can view A 2 and B 2 as Z 2 -graded ideals o the superalgebra A 1 B 1 and then we have A 1 B 1 = A 2 B 2. (3.2) I A 1 B 2 = 0 or A 2 B 1 = 0, one may easily see that B 1 = B2 as superalgebras, since A 1 and A 2 are inite-dimensional.
7 Multipliers, Covers and Stem Extensions or Lie Superalgebras 7 Suppose that A 1 B 2 0 and A 2 B 1 0. Note that both A 1 B 2 and A 2 B 1 are Z 2 -graded ideals. By (3.2), we have the ollowing superalgebra isomorphism: A 1 A 1 B 2 B 1 A 2 B 1 = A 2 A 2 B 1 B 2 A 1 B 2. (3.3) Then we have the ollowing superalgebra isomorphisms: A 1 A 2 B 1 A 2 = A 1 B 1 A 1 B 2 A 2 B 1 A 2 B 1 A 1 B 2 = = A 2 A 2 B 2 A 2 B 1 A 1 B 2 A 2 B 2 A 2. A 2 B 1 A 1 B 2 By symmetry, since A 1 = A2 as superalgebras, it ollows rom (3.3) that the ollowing superalgebra isomorphism holds: A 1 A 1 B 2 A 2 A 2 B 1 B 1 = A 1 A 1 B 2 A 2 A 2 B 2 B 2. By induction on dimensions, we have B 1 = B2 as superalgebras. Theorem 3.3. Let L be a inite-dimensional Lie superalgebra. Up to Lie superalgebra isomorphisms, there are a unique multiplier and a unique cover o L, denoted by M(L) and C(L), respectively. Moreover, or any ree presentation o L, (1) M(L) = R [F,F]/[R,R], 0 R F L 0, (3.4) (2) C(L) = Y/[R,F], where Y is any subsuperspace Y o F containing [F,F] such that F/[R,F] = X/[R,F] Y/[R,F] as superspaces. Proo. Let X be a stem denominator o (3.4). By Theorem 2.7, it suices to show that both R/X and F/X are independent o the choice o stem denominator X. Moreover, by Theorem 2.7 again, one may assume that F is a ree Lie superalgebra generated by a inite homogeneous set, since L is inite-dimensional. Since X is a stem denominator, we have [F,F] X = [R,F] and then [F,F]/[R,F] X/[R,F] = 0. Then there is a subsuperspace Y o F containing [F,F] such that we have a direct sum decomposition o superspaces: F/[R,F] = X/[R,F] Y/[R,F]. (3.5) Since Y [F,F], we have Y F. Hence (3.5) is also a direct sum decomposition o ideals. Since X is a stem denominator, we also have a direct sum decomposition o ideals: R/[R,F] = R [F,F]/[R,F] X/[R,F]. Then, up to Lie superalgebra isomorphisms, X/[R,F] is independent o the choice o X. Moreover, X/[R,F] = R/R [F,F] = (R+[F,F])/[F,F] F/[F,F]. is inite-dimensional. Then by Lemma 3.2, it ollows rom (3.5) that, up to Lie superalgebra isomorphisms, F/X = Y/[R,F] is independent o the choice o X.
8 Multipliers, Covers and Stem Extensions or Lie Superalgebras 8 4. Heisenberg superalgebras In this section, we compute multipliers, covers and maximal stem extensions or Heisenberg superalgebras o odd center. Recall that a inite-dimensional Lie superalgebra g is called a Heisenberg (Lie) superalgebra provided that g 2 = Z(g) and dimz(g) = 1. Heisenberg superalgebras consist o two types according to the parity o the ceter (see [19]). (1) A Heisenberg superalgebra o even center, denoted by H(p,q) with p +q 1, has a homogeneous basis (called standard) {u 1,u 2,...,u p,v 1,v 2,...,v p,z w 1,w 2,...,w q }, where u i = v j = z = 0, w k = 1; 1 i p, 1 j p, 1 k q, and the multiplication is given by [u i,v i ] = [v i,u i ] = z, [w k,w k ] = z and the other brackets o basis elements vanishing. (2) A Heisenberg superalgebra o odd center, denoted by H(n) with n 1, has a homogeneous basis (called standard) {u 1,u 2,...,u n z,w 1,w 2,...,w n }, where u i = 0, w j = z = 1; 1 i m, 1 j n, and the multiplication is given by [u i,w i ] = [w i,u i ] = z and the other brackets o basis elements vanishing. In [10, Proposition 4.4] (see also [13, Theorem 4.3]), the authors characterize the multipliers o Heisenberg superalgebras o even center: (2p 2 p+ 1 2 q q 1,2pq), p+q 2, sdimm(h(p, q)) = (0,0), p = 0,q = 1, (2,0), p = 1,q = 0. Let us give a maximal stem extension o the Heisenberg superalgebra H(n) o odd center. Suppose that 0 W K H(n) 0 is a stem extension. Then W K 2 Z(K) and K/W = H(n). Then K/W has a standard basis (a 1 +W,...,a n +W c+w,b 1 +W,...,b n +W),
9 Multipliers, Covers and Stem Extensions or Lie Superalgebras 9 where a i,b i,c K with a i = 0, b i = c = 1. So one may assume that [a i,a j ] = y i,j, 1 i < j n, [a i,b i ] = c+y i, 1 i n, [a i,b j ] = z i,j, 1 i j n, [a i,c] = m i, 1 i n, [b i,b j ] = w i,j, 1 i j n, [b i,c] = n i, 1 i n, [c,c] = t, where y i,j,y i,z i,j,m i,w i,j,n i,t W and y i,j = n i = w i,j = t = 0, y i = z i,j = m i = 1. Furthermore, without loss o generality, one may assume that y 1 = 0. Note that Then we rewrite n i = [b i,[a i,b i ]] = 1 2 [a i,[b i,b i ]] = 0, t = [c,[a 1,b 1 ]] = 0. [a i,a j ] = y i,j, 1 i < j n, [a 1,b 1 ] = c, [a i,b i ] = c+y i, 2 i n, [a i,b j ] = z i,j, 1 i j n, [a i,c] = m i, 1 i n, [b i,b j ] = w i,j, 1 i j n, [b i,c] = 0, 1 i n, [c,c] = 0. Now it is obvious that W is spanned by the ollowing elements: y i,j, 1 i < j n, y i, 2 i n, z i,j, 1 i j n, m i, 1 i n, w i,j, 1 i j n. Then K is spanned by the elements displayed above and a 1,...,a n,b 1,...,b n and c. Case 1: n = 1. Suppressing all the subscripts, we have [a,b] = c, [a,c] = m, [b,b] = w, [b,c] = [c,c] = 0. Then W is generated by w,m. Hence sdimw (1 1). Now let Ĥ(1) be a superspace with a basis (â,ŵ b,ĉ, m). Then superalgebra by letting Ĥ(1) becomes a Lie [â, b] = [ b,â] = ĉ, [â,ĉ] = [ĉ,â] = m, [ b, b] = ŵ
10 Multipliers, Covers and Stem Extensions or Lie Superalgebras 10 and the other brackets o basis elements vanish. Let MH(1) be the subsuperspace spanned by ŵ, m. Then MH(1) Ĥ(1)2 Z(Ĥ(1)) and Ĥ(1)/ MH(1) = H(1). Since sdim MH(1) = (1 1), one sees that 0 MH(1) Ĥ(1) H(1) 0 is a maximal stem extension o H(1). In particular, MH(1) is a multiplier and Ĥ(1) a cover o H(1). Case 2: n 2. Consider any i and take j i. One may check that m i = [a i,[a j,b j ]] = 0. Then W is spanned by the ollowing elements: y i,j, 1 i < j n, y i, 2 i n, z i,j, 1 i j n, w i,j, 1 i j n. Hence sdimw (n 2 n 2 1). Now let Ĥ(n) with n 2 be a superspace with a basis consisting o even elements and odd elements â i, 1 i n, ŷ i,j, 1 i < j n, ŵ i,j, 1 i j n, bi, 1 i n, ĉ, ŷ i, 2 i n, ẑ i,j, 1 i j n. Then one may check that Ĥ(n) becomes a Lie superalgebra by letting [â i,â j ] = [â j,â i ] = ŷ i,j, 1 i < j n, [â 1, b 1 ] = [ b 1,â 1 ] = ĉ, [â i, b i ] = [ b i,â i ] = ĉ+ŷ i, 2 i n, [â i, b j ] = [ b j,â i ] = ẑ i,j, 1 i j n, [ b i, b j ] = [ b j, b i ] = ŵ i,j, 1 i < j n, and the other brackets o basis elements vanish. Let MH(n) be the subsuperspace spanned by ŷ i,j,ŵ i,j,ŷ i,ẑ i,j. Then MH(n) Ĥ(n)2 Z(Ĥ(n)) and Ĥ(n)/ MH(n) = H(n). Since sdim MH(n) = (n 2 n 2 1), one sees that 0 MH(n) Ĥ(n) H(n) 0 is a maximal stem extension o. In particular, MH(n) is a multiplier and Ĥ(n) a cover o H(n). Summarizing, we have
11 Multipliers, Covers and Stem Extensions or Lie Superalgebras 11 Theorem 4.1. Let n be a positive integer. Then 0 MH(n) Ĥ(n) H(n) 0 is a maximal stem extension o the Heisenberg superalgebra H(n) o odd center. In particular, Ĥ(n) is the cover o H(n) and { (n sdimm(h(n)) = 2 n 2 1), n 2 (1 1), n = Model iliorm superalgebras Suppose that n is a positive integer and m a nonnegative integer. Let F(n,m) be a Lie superalgebra with basis {x 0,...,x n y 1,...,y m }, (5.1) where x i = 0, y j = 1; 0 i n, 1 j m, and multiplication given by [x 0,x i ] = x i+1, [x 0,y j ] = y j+1 and the other brackets o basis elements vanishing. It is easy to see that F(n,m) is a nilpotent Lie superalgebra o super-nilindex (n, m) (see[11], or example). Note that F(1, 0) is an abelian Lie algebra and F(1,1) are an abelian Lie superalgebra. Note that F(n,0) with n > 1 is just the model iliorm Lie algebra o nilindex n (see [6], or example). We call F(n,m) with (n,m) (1,0),(1,1) the model iliorm Lie superalgebra o super-nilindex (n, m). For urther inormation on iliorm Lie (super)algebras, the reader is reerred to [6, 7], or example. Let us give a maximal stem extension o the model iliorm Lie superalgebra F(n,m). Suppose that 0 W K F(n,m) 0 is astem extension. Then W K 2 Z(K) and K/W = F(n,m). Then K/W hasastandard basis (a 0 +W,a 1 +W,...,a n +W b 1 +W,...,b m +W), where a i,b j K with a i = 0, b j = 1. Then we have [a 0,a i ] = a i+1 +x i, 1 i n 1, [a i,a j ] = y i,j, 1 i < j n, [a 0,b j ] = b j+1 +y j, 1 j m 1, [b i,b j ] = z i,j, 1 i j m, [a i,b j ] = t i,j, 1 i n,1 j m, where x i,y i,j,y j,z i,j,t i,j W and x i = y i,j = z i,j = 0, y j = t i,j = 1. Since W Z(K), without loss o generality, one may assume that x i = y j = 0. Moreover, using the super Jacobi identity one may check the ollowing identities: (1) y i,j+1 = y i+1,j or 1 i,j n 1.
12 Multipliers, Covers and Stem Extensions or Lie Superalgebras 12 (2) t i,j+1 = t i+1,j or 1 i n 1, 1 j m 1. (3) t 1,j+1 = 0 or 1 j m 1. (4) t i+1,1 = 0 or 1 i n 1. (5) z i,j+1 = z i+1,j or 1 i j m 1. (6) 2z j,j+1 = 0 or 1 j m 1. Case 1: n 2, m = 0. In this case, F(n,0) is a model iliorm Lie algebra. By (1), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd. Now it is obvious that W is spanned by the elements y i,i+1, 1 i n 1. Hence sdimw (n 1 0). Then K is spanned by the elements displayed above and a 0,a 1,...,a n. Now let F(n,0) with n 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n. Then one may check that F(n,0) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, andthe otherbracketsobasiselementsvanish. Let MF(n,0) be the subsuperspacespanned by all ŷ j. Then MF(n,0) F(n,0) 2 Z( F(n,0)) and F(n,0)/ MF(n,0) = F(n,0). Since sdim MF(n,0) = (n 1 0), one sees that 0 MF(n,0) F(n,0) F(n,0) 0 is a maximal stem extension o F(n,0). In particular, MF(n,0) is a multiplier and F(n,0) a cover o F(n,0). Case 2: n 2, m = 1. By (1) and (4), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd, [a 1,b 1 ] = t 1,1, [b 1,b 1 ] = z 1,1.
13 Multipliers, Covers and Stem Extensions or Lie Superalgebras 13 Now it is obvious that W is spanned by the elements t 1,1, z 1,1, y i,i+1, 1 i n 1. Hence sdimw (n 1). Then K is spanned by the elements displayed above and a 0,a 1,...,a n. Now let F(n,1) with n 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n, ẑ, and odd element t. Then one may check that F(n,1) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, [â 1, b 1 ] = [ b 1,â 1 ] = t, [ b 1, b 1 ] = [ b 1, b 1 ] = ẑ, andthe otherbracketsobasiselementsvanish. Let MF(n,1) be the subsuperspacespanned by t,ẑ and all ŷ j. Then MF(n,1) F(n,1) 2 Z( F(n,1)) and F(n,1)/ MF(n,1) = F(n,1). Since sdim MF(n,1) = (n 1), one sees that 0 MF(n,1) F(n,1) F(n,1) 0 is a maximal stem extension o F(n,1). In particular, MF(n,1) is a multiplier and F(n,1) a cover o F(n,1). Case 3: n 2, m 2. By (1),(2),(5) and (6), we rewrite [a 0,a i ] = a i+1, 1 i n 1, [a 1,a 2 ] = y 1,2, [a n 1,a n ] = y n 1,n, [a i,a j ] = y i,j = y i+1,j 1 = [a i+1,a j 1 ], 2 < j i being odd, [a 0,b j ] = b j+1, 1 j m 1, [a 1,b 1 ] = t 1,1, [a n,b m ] = t n,m, [a i,b j ] = t i,j = t i+1,j 1 = [a i+1,b j 1 ], 1 i n 1,2 j m. Now it is obvious that W is spanned by the ollowing elements: y i,i+1, 1 i n 1, t i,1, 1 i n, t n,j, 2 j m. Hence sdimw (n 1 n+m 1). Then K is spanned by the elements displayed above and a 0,a 1,...,a n,b 1,...,b m. Now let F(n,m) with n,m 2 be a superspace with a basis consisting o even elements â i, 0 i n, ŷ j, 2 j n,
14 Multipliers, Covers and Stem Extensions or Lie Superalgebras 14 and odd elements bp, 1 p m, t q, 2 q m+n. Then one may check that F(n,m) becomes a Lie superalgebra by letting [â 0,â i ] = [â i,â 0 ] = â i+1, 1 i n 1, [â 1,â 2 ] = [â 2,â 1 ] = ŷ 2, [â n 1,â n ] = [â n,â n 1 ] = ŷ n, [â i,â j ] = [â j,â i ] = [â i+1,â j 1 ] = [â j 1,â i+1 ] = ŷ j 1, 2 < j i being odd, [â 0, b p ] = [ b p,â 0 ] = b p+1, 1 p m 1, [â 1, b 1 ] = [ b 1,â 1 ] = t 2, [â n, b m ] = [ b m,â n ] = t m+n, [â i, b p ] = [ b p,â i ] = [â i+1, b p 1 ] = [ b p 1,â i+1 ] = t i+p, 1 i n 1,2 p m. and the other brackets o basis elements vanish. Let MF(n,m) be the subsuperspace spanned by all ŷ j, t q. Then MF(n,m) F(n,m) 2 Z( F(n,m)) and F(n,m)/ MF(n,m) = F(n,m). Since sdim MF(n,m) = (n 1 m+n 1), one sees that 0 MF(n,m) F(n,m) F(n,m) 0 isamaximalstemextensionof(n,m). In particular, MF(n,m) isamultiplier and F(n,m) a cover o F(n,m). Case 4: n = 1, m 2. By (3),(5) and (6), we rewrite [a 0,b j ] = b j+1, 1 j m 1, [a 1,b 1 ] = t 1,1. Now it is obvious that W is spanned by the element t 1,1. Hence sdimw (0 1). Then K is spanned by the elements displayed above and a 0,a 1,b 1,...,b m. Now let F(1,m) with m 2 be a superspace with a basis consisting o even element â 0,â 1 and odd elements t, b p, 1 p m. Then one may check that F(1,m) becomes a Lie superalgebra by letting [â 0, b p ] = [ b p,â 0 ] = b p+1, 1 p m 1, [â 1, b 1 ] = [ b 1,â 1 ] = t, andtheotherbracketsobasiselementsvanish. Let MF(1,m)bethesubsuperspacespanned by t. Then MF(1,m) F(1,m) 2 Z( F(1,m)) and F(1,m)/ MF(1,m) = F(1,m). Since sdim MF(1,m) = (0 1), one sees that 0 MF(1,m) F(1,m) F(1,m) 0 is a maximal stem extension o F(1,m). In particular, MF(1,m) is a multiplier and F(1,m) a cover o F(1,m). Summarizing, we have:
15 Multipliers, Covers and Stem Extensions or Lie Superalgebras 15 Theorem 5.1. Let n, m be positive integers. Then 0 MF(n,m) F(n,m) F(n,m) 0 is a maximal stem extension o the model iliorm Lie superalgebra F(n,m). In particular, F(n,m) is the cover o F(n,m) and (n 1 0), n 2, m = 0, (n 1), n 2, m = 1, sdimm(f(n,m)) = (n 1 n+m 1), n 2, m 2, (0 1), n = 1, m 2. Reerences [1] P. Batten, Multipliers and covers o Lie algebras, Ph.D. Thesis, North Caolina State University (1993). [2] P. Batten, K. Moneyhun and E. Stitzinger, On characterizing nilpotent Lie algebras by their multipliers, Comm. Algebra 24(14)(1996): [3] P. Batten, E. Stitzinger, On covers o Lie algebras, Comm. Algebra 24(1996): [4] L. R. Bosko, On Schur multipliers o Lie algebras and groups o maximal class, Internat. J. Algebra Comput. 20(6)(2010): [5] D. Eshrati, F. Saeedi and H. Darabi, On the multiplier o nilpotent n-lie algebras, J. Algebra 450(2016): [6] A. Fialowski, D. Millionschikov, Cohomology o graded Lie algebras o maximal class. J. Algebra 296(2006): [7] M. Gilg, Low-dimensional iliorm Lie superalgebras. Rev. Mat. Complut. 14(2001): [8] P. Hardy, On characterizing nilpotent Lie algebras by their multipliers, III, Comm. Algebra 33(2005): [9] P. Hardy, E. Stitzinger, On characterizing nilpotent Lie algebras by their multipliers t(l) = 3,4,5,6, Comm. Algebra 26(1998): [10] W.-D. Liu, Y.-L. Zhang, Classiication o nilpotent Lie superalgebras o multiplier-rank 2, arxiv: [11] W.-D. Liu, Y. Yang, Cohomology o model iliorm Lie superalgebra. J. Algebra Appl. 17(2018): [12] K. Moneyhun, Isoclinisms in Lie algebras, Algebras Groups Geom. 11(1994): [13] S. Nayak, Multipliers o nilpotent Lie superalgebra, arxiv: v1. [14] P. Niroomand, On dimension o the Schur multilier o nilpotent Lie algebras, Cent. Eur. J. Math. 9(1)(2011):
16 Multipliers, Covers and Stem Extensions or Lie Superalgebras 16 [15] P. Niroomand, F. Johari, The structure, capability and the Schur multiplier o generalized Heisenberg Lie algebras J. Algebra 505(2018): [16] P. Niroomand, F. Johari and M. Parvizi, On the capability and Schur multiplier o nilpotent Lie algebra o class two, Amer. Math. Soc. 144(2016): [17] P. Niroomand, F. G. Russo, A note on the schur multiplier o a nilpotent Lie algebra, Comm. Algebra 39(4)(2011): [18] Z. Riyahi, A.R. Salemkar, A remark on the Schur multiplier o nilpotent Lie algebras, J. Algebra 438(2015): 1 6. [19] M. C. Rodrguez-Vallarte, G. Salgado and O.A. Snchez-Valenzuela, Heisenberg Lie superalgebras and their invariant superorthogonal and supersymplectic orms. J. Algebra 332(2011): [20] F. Saeedi, H. Arabyani and P. Niroomand, On dimension o the Schur multilier o nilpotent Lie algebras II, Asian-Eur. J. Math. 10(4)(2017): (8 pages). [21] A. R. Salemkar, B. Edalatzadeh, On covers o perect Lie algebras, Algebra Colloq. 18(3)(2011): [22] B. Yankosky, On the multiplier o a Lie algebra, J. Lie Theory 13(2003): 1 6.
On dimension of the Schur multiplier of nilpotent Lie algebras
Cent. Eur. J. Math. 9() 0 57-64 DOI: 0.478/s533-00-0079-3 Central European Journal of Mathematics On dimension of the Schur multiplier of nilpotent Lie algebras Research Article Peyman Niroomand School
More informationJournal of Algebra 370 (2012) Contents lists available at SciVerse ScienceDirect. Journal of Algebra.
Journal of Algebra 370 (2012) 320 325 Contents lists available at SciVerse ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Some properties of the c-nilpotent multiplier of Lie algebras
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationAbstract. In this paper, we classify (n + 5)-dimensional nilpotent n-lie algebras of class two over the arbitrary field, when n 3.
ON CLASSIFICATION OF (n+5)-dimensional NILPOTENT n-lie ALGEBRA OF CLASS TWO arxiv:180206961v1 [mathra] 20 Feb 2018 ZAHRA HOSEINI 1, FARSHID SAEEDI 1, AND HAMID DARABI 2 Abstract In this paper, we classify
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More informationON THE BETTI NUMBERS OF FILIFORM LIE ALGEBRAS OVER FIELDS OF CHARACTERISTIC TWO
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No. 1, 2017, Pages 95 106 Published online: February 9, 2017 ON THE BETTI NUMBERS OF FILIFORM LIE ALGEBRAS OVER FIELDS OF CHARACTERISTIC TWO IOANNIS TSARTSAFLIS
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationOn 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 informationThe lower radical construction for non-associative rings: Examples and counterexamples
BULL. AUSTRAL. MATH. SOC. VOL. 2 (1979), 259-271. I6A2I The lower radical construction or non-associative rings: Examples and counterexamples BJ. Gardner Some suicient conditions are presented or the lower
More informationA NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3185 3189 S 0002-9939(97)04112-9 A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES BENJI FISHER (Communicated by
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationIDEAL CLASSES AND RELATIVE INTEGERS
IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationHomotopy, Quasi-Isomorphism, and Coinvariants
LECTURE 10 Homotopy, Quasi-Isomorphism, an Coinvariants Please note that proos o many o the claims in this lecture are let to Problem Set 5. Recall that a sequence o abelian groups with ierential is a
More informationLIE ALGEBRAS: LECTURE 3 6 April 2010
LIE ALGEBRAS: LECTURE 3 6 April 2010 CRYSTAL HOYT 1. Simple 3-dimensional Lie algebras Suppose L is a simple 3-dimensional Lie algebra over k, where k is algebraically closed. Then [L, L] = L, since otherwise
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationA REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS
A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS ALESSANDRO D ANDREA Ad Olivia, che mi ha insegnato a salutare il Sole ABSTRACT. I give a short proof of the following algebraic statement:
More information2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction
. ETA EVALUATIONS USING WEBER FUNCTIONS Introduction So ar we have seen some o the methods or providing eta evaluations that appear in the literature and we have seen some o the interesting properties
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationarxiv: v1 [math.ra] 10 May 2013
ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS arxiv:1305.2285v1 [math.ra] 10 May 2013 Abstract. Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K.
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationarxiv: v1 [math.ra] 3 Oct 2009
ACTOR OF AN ALTERNATIVE ALGEBRA J.M. CASAS, T. DATUASHVILI, AND M. LADRA arxiv:0910.0550v1 [math.ra] 3 Oct 2009 Abstract. We define a category galt of g-alternative algebras over a field F and present
More informationMAXIMAL SUBALGEBRAS AND CHIEF FACTORS OF LIE ALGEBRAS DAVID A. TOWERS
MAXIMAL SUBALGEBRAS AND CHIEF FACTORS OF LIE ALGEBRAS DAVID A. TOWERS Department of Mathematics and Statistics Lancaster University Lancaster LA1 4YF England d.towers@lancaster.ac.uk Abstract This paper
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationLIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS
LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationCollected trivialities on algebra derivations
Collected trivialities on algebra derivations Darij Grinberg December 4, 2017 Contents 1. Derivations in general 1 1.1. Definitions and conventions....................... 1 1.2. Basic properties..............................
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationLecture 11 The Radical and Semisimple Lie Algebras
18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationVertex algebras generated by primary fields of low conformal weight
Short talk Napoli, Italy June 27, 2003 Vertex algebras generated by primary fields of low conformal weight Alberto De Sole Slides available from http://www-math.mit.edu/ desole/ 1 There are several equivalent
More information2 Coherent D-Modules. 2.1 Good filtrations
2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More information1 Relative degree and local normal forms
THE ZERO DYNAMICS OF A NONLINEAR SYSTEM 1 Relative degree and local normal orms The purpose o this Section is to show how single-input single-output nonlinear systems can be locally given, by means o a
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More informationarxiv: 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 informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), 79 7 www.emis.de/journals ISSN 176-0091 WARPED PRODUCT SUBMANIFOLDS IN GENERALIZED COMPLEX SPACE FORMS ADELA MIHAI Abstract. B.Y. Chen
More information48 CHAPTER 2. COMPUTATIONAL METHODS
48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process
More informationON SOME STRUCTURES OF LEIBNIZ ALGEBRAS
Contemporary Mathematics ON SOME STRUCTURES OF LEIBNIZ ALGEBRAS Ismail Demir, Kailash C. Misra and Ernie Stitzinger Abstract. Leibniz algebras are certain generalization of Lie algebras. In this paper
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationD-MATH Alessio Savini. Exercise Sheet 4
ETH Zürich Exercise Sheet 4 Exercise 1 Let G, H be two Lie groups and let ϕ : G H be a smooth homomorphism. Show that ϕ has constant rank. Solution: We need to show that for every g G the rank of the linear
More informationA proof of the Jordan normal form theorem
A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it
More informationTHE SNAIL LEMMA ENRICO M. VITALE
THE SNIL LEMM ENRICO M. VITLE STRCT. The classical snake lemma produces a six terms exact sequence starting rom a commutative square with one o the edge being a regular epimorphism. We establish a new
More informationAutomorphisms 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 informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More information1.5 The Nil and Jacobson Radicals
1.5 The Nil and Jacobson Radicals The idea of a radical of a ring A is an ideal I comprising some nasty piece of A such that A/I is well-behaved or tractable. Two types considered here are the nil and
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationLeibniz Algebras Associated to Extensions of sl 2
Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 Leibniz Algebras Associated to Extensions of sl 2 L. M. Camacho, S. Gómez-Vidal
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationArithmetic Analogues of Derivations
JOURNAL OF ALGEBRA 198, 9099 1997 ARTICLE NO. JA977177 Arithmetic Analogues of Derivations Alexandru Buium Department of Math and Statistics, Uniersity of New Mexico, Albuquerque, New Mexico 87131 Communicated
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More information( x) f = where P and Q are polynomials.
9.8 Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm ( ) ( ) ( ) P where P and Q are polynomials. Q An eample o a simple rational
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationRohit Garg Roll no Dr. Deepak Gumber
FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics
More informationJACOBI-JORDAN ALGEBRAS DIETRICH BURDE AND ALICE FIALOWSKI
JACOBI-JORDAN ALGEBRAS DIETRICH BURDE AND ALICE FIALOWSKI Abstract. We study finite-dimensional commutative algebras, which satisfy the Jacobi identity. Such algebras are Jordan algebras. We describe some
More information