arxiv: v1 [math.ra] 26 Oct 2011

Transcription

1 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS arxv: v1 [math.ra] 26 Oct 2011 DANIEL BRICE AND HUAJUN HUANG Abstract. We reformulate the defnton of a zero product determned algebra n terms of tensor products and obtan necessary and suffcent condtons for an algebra to be zero product determned. These condtons allow us to prove that the drect sum I A of algebras for any ndex seti s zero product determned f and only f each of the component algebras A s zero product determned. As an applcaton, every parabolc subalgebra of a fnte-dmensonal reductve Le algebra, over an algebracally-closed feld of characterstc zero, s zero product determned. In partcular, every such reductve Le algebra s zero product determned. Let K be a commutatve rng. Gven a K-algebra A and a K-blnear map ϕ : A A B, we may ask whether or not ϕ may be wrtten as the composton of multplcaton n A wth a K-lnear transformaton ϕ, that s, whether or not ϕ(a 1,a 2 ) = ϕ(a 1 a 2 ) for all a 1,a 2 A for some ϕ : A 2 B. (Here and throughout, A 2 denotes the K-lnear span of the products of members of A). In order to study the above problem, Brešar, Grašč, and Ortega ntroduced the noton of a zero product determned algebra n [5]. A K-algebra A (not necessarly assocatve) s called zero product determned f each K-blnear map ϕ : A A B satsfyng ϕ(a 1,a 2 ) = 0 whenever a 1 a 2 = 0 can be wrtten as ϕ(a 1,a 2 ) = ϕ(a 1 a 2 ) for some ϕ : A 2 B. Ther defnton was motvated by applcatons to the study of zero product preservng lnear maps defned on Banach algebras and on matrx algebras under the standard matrx product, the Le product, or the Jordan product [1, 5, 7, 8, 13]. Let A,B be K-algebras, and let f : A B be K-lnear. f s sad to be zero product preservng f f(a 1 )f(a 2 ) = 0 Date: 10 October

2 2 DANIEL BRICE AND HUAJUN HUANG whenever a 1 a 2 = 0. One would lke to fnd condtons onf or onathat mply that f s a homomorphsm of K-algebras, or s at least close to an algebra homomorphsm n the followng sense. We defne a mappng ϕ(a 1,a 2 ) = f(a 1 )f(a 2 ). Then ϕ s K-blnear and satsfes ϕ(a 1,a 2 ) = 0 whenever a 1 a 2 = 0. If A s zero product determned, then there s a unque K-lnear ϕ : A 2 B satsfyng ϕ(a 1 a 2 ) = ϕ(a 1,a 2 ) = f(a 1 )f(a 2 ) for all a 1,a 2 A. If we further assume that 1 A A (so n partcular A 2 = A), then ϕ(a) = ϕ(1 A a) = ϕ(1 A,a) = f(1 A )f(a) for all a A, and by combnng the above equatons, we arrve at f(a 1 )f(a 2 ) = f(1 A )f(a 1 a 2 ) for all a 1,a 2 A. As a corollary, f A s zero product determned, and f 1 A A and 1 B B are denttes, then any zero product preservng lnear map f : A B that satsfes f(1 A ) = f(1 B ) s an algebra homomorphsm. The ntal work of Brešar, Grašč, and Ortega and subsequent work by Ge, Grašč, L, and Wang have provded examples both of zero product determned algebras and algebras that are not zero product determned [9, 13]. Recent smlar work ncludes Brešar s and Šmerl s study of commutatvty preservng lnear map [6] and Chen s, Wang s, and Yu s study of dempotent preservng blnear maps and the noton of an dempotent elements determned algebra [12]. In the context of Le algebras, Grašč n [9] gves an example of an nfnte-dmensonal Le algebra that s not zero product determned. Brešar, Grašč, and Ortega produce a famly of Le algebras of arbtrarlylarge fnte dmenson that are not zero product determned n [5]. In [9], Grašč shows that the classcal Le algebras over an arbtrary feld are zero product determned. Chen, Wang, and Yu complment ths result n [13] by showng that every parabolc subalgebra of a fntedmensonal smple Le algebra over an algebracally-closed feld of characterstc zero s zero product determned. In partcular, the smple Le algebras themselves are zero product determned, assumng the scalar feld to be algebracally closed and of characterstc zero. In ths paper, we provde three man results that further research n ths drecton. We reformulate the defnton of a zero product determned algebra n terms of tensor products and obtan necessary and

3 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 3 suffcent condtons for an algebra to be zero product determned (Theorem 2.4). These necessary and suffcent condtons allow us to prove that the drect sum of algebras I A for any ndex set I s zero product determned f and only f each component algebras A s zero product determned (Theorem 3.3). We then apply ths result n the context of Le algebras, showng that all fnte-dmensonal reductve Le algebras over an algebracally-closed feld of characterstc zero, and all parabolc subalgebras of such Le algebras, are zero product determned (Theorem 4.2). In all that follows, let K denote a fxed commutatve rng. By a module we mean a K-module. The notaton S A means S s a submodule of A. If A s a module and S A, let S denote the submodule of A generated by S. By a lnear map, we mean a K-lnear map between two modules. By a blnear map, we mean a K-blnear map between the Cartesan product of two modules and a thrd module. We say ϕ factors through ψ to mean that ϕ = ϕψ for some lnear map ϕ. 1. Prelmnares We wll often make use of the followng classcal result n module theory. Lemma 1.1. Let A,B,C be modules. Let ϕ : A B be a lnear map, and let ρ : A C be a surjectve lnear map. There exsts a lnear map ϕ : C B satsfyng ϕ = ϕρ f and only f Kerρ Kerϕ, and n such a case, the map ϕ s unquely determned. A ϕ ρ B ϕ C Proof. For suffcency, one s referred to the proof gven of Theorem 7 n Chapter VI, Secton 4 of [3]. For necessty, smply note that f such a ϕ exsts, and f a Kerρ, then ϕ(a) = ϕρ(a) = ϕ(0) = 0.

4 4 DANIEL BRICE AND HUAJUN HUANG The tensor product of two modules A and B s denoted by A B = A K B = F(A B)/S where F(A B) s the free module takng for generatng set the Cartesan product A B, and S s the submodule generated by elements of the type(a 1 +ka 2,b) (a 1,b) k(a 2,b) and(a,b 1 +kb 2 ) (a,b 1 ) k(a,b 2 ) for all k K, a,a 1,a 2 A, b,b 1,b 2 B. We wrte a b to denote the coset (a,b)+s, and we call elements of ths type pure tensors. Let T = {a b a A, b B} denoted the set of all pure tensors. Every element of A B s a sum of fntely-many pure tensors. Lemma 1.1 mples the followng result. Lemma 1.2. Let A, B, C be modules. There s a one-to-one correspondence between the set of blnear maps ϕ : A B C and the set of lnear maps ϕ : A B C, gven by ( ) ϕ a b = ϕ(a,b ) and ϕ(a,b) = ϕ(a b) for all a,a A and b,b B. Proof. Suppose ϕ : A B C s a lnear map. Let P( ϕ) : A B C be a map defned by P( ϕ)(a,b) = ϕ(a b) for all a A and b B. Obvously P( ϕ) s a well-defned blnear map. Conversely, suppose ϕ : A B C s a blnear map. Snce F(A B) s the free module on A B, the map ϕ nduces a lnear map F(ϕ) : F(A B) C, such that ( ) F(ϕ) k (a,b ) = k ϕ(a,b ), k K. The canoncal projecton π : F(A B) F(A B)/S = A B s a lnear map wth Kerπ = S. We clam that S KerF(ϕ). (a 1 + ka 2,b) (a 1,b) k(a 2,b) s a typcal generator of S, and F(ϕ)((a 1 +ka 2,b) (a 1,b) k(a 2,b)) = ϕ(a 1 +ka 2,b) ϕ(a 1,b) kϕ(a 2,b) = 0. The dervaton s smlar for the other typcal generator (a,b 1 +kb 2 ) (a,b 1 ) k(a,b 2 ), verfyng the clam.

5 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 5 By Lemma 1.1, there exsts a lnear map Q(ϕ) : A B C such that F(ϕ) = Q(ϕ)π. We see that ( ) ( ) Q(ϕ) a b = Q(ϕ)π (a,b ) for all a A and b B. ( ) = F(ϕ) (a,b ) = ϕ(a,b ) To prove the one-to-one correspondence n the statement, t remans to show that the functors ϕ P( ϕ) and ϕ Q(ϕ) are nverse to each other. On one hand, gven the lnear map ϕ : A B C, we have ( ) Q(P( ϕ)) a b = P( ϕ)(a,b ) = ( ) ϕ(a b ) = ϕ a b and thus Q(P( ϕ)) = ϕ; on the other hand, gven the blnear map ϕ : A B C, we have P (Q(ϕ))(a,b) = Q(ϕ)(a b) = ϕ(a,b) and thus P (Q(ϕ)) = ϕ. Ths completes the proof. 2. Zero product determned algebras Defnton 2.1. An algebra (more precsely, a K-algebra) s a par (A,µ) where A s a module and µ : A A A s a lnear map. Ths defnton encompasses assocatve algebras, alternatve algebras (an example beng the octonons), Lebnz algebras, Le algebras, and Jordan algebras, among others. The algebra multplcaton s encoded by the map µ f we defne a 1 a 2 = µ(a 1 a 2 ). In lght of Lemma 1.2, the condton µ : A A A s equvalent to the requrement that multplcaton be blnear. We wll denote by A 2 the submodule Imµ A. Notce that A 2 conssts of fnte sums of products n A, not merely the products themselves.

6 6 DANIEL BRICE AND HUAJUN HUANG Defnton 2.2. The algebra (A, µ) s called zero product determned f whenever a lnear map ϕ : A A B satsfes then ϕ factors through µ: µ(a 1 a 2 ) = 0 mples ϕ(a 1 a 2 ) = 0, A A A2 ϕ ϕ B By Lemma 1.2, ths defnton s n agreement wth that gven n [5]. We wll reformulate ths defnton n terms of kernels and pure tensors below. Frst, we requre some termnology. Consder an algebra (A,µ), and recall that T = {a 1 a 2 a 1,a 2 A} denotes the set of pure tensors. For any map ψ : A A B, let µ T ψ = T Kerψ. In other words, T ψ s the set comprsed of those pure tensors whose mage under ψ s 0. In partcular, T µ s the set of pure tensors of members of A whose product n A s 0. Lemma 2.3. (A,µ) s zero product determned f and only f for every lnear map ϕ : A A B, we have T µ T ϕ mples that Kerµ Kerϕ. Proof. The two condtons "T µ T ϕ " and "µ(a 1 a 2 ) = 0 mples ϕ(a 1 a 2 ) = 0" are lterally dentcal, and "Kerµ Kerϕ" s equvalent to ϕ factorng through µ by Lemma 1.1. Our frst man result, stated below, gves a very clear concepton of what makes an algebra (A, µ) zero product determned. Frst, recall that T µ denotes the module generated by T µ. Theorem 2.4. (A,µ) s zero product determned f and only f T µ = Kerµ. Proof. If T µ = Kerµ, then T µ T ϕ mples that Kerµ = T µ T ϕ Kerϕ, so ϕ factors through µ whenever T µ T ϕ. On the other hand, f T µ Kerµ, the canoncal projecton π : A A

7 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 7 (A A)/ T µ satsfes T µ T π but by Lemma 1.1, π does not factor through µ, so (A,µ) s not zero product determned. The condton T µ = Kerµ s just to say that Kerµ s generated by ts ntersecton wth T,.e. by pure tensors. Thus, the theorem says that an algebra A s zero product determned f and only f the kernel of ts multplcaton map s generated by pure tensors. It s worthwhle to observe that whle A A s generated by T, an arbtrary submodule B A A s not necessarly generated by ts ntersecton wth T. We gve a few examples to llustrate ths pont. Proposton 2.5. Suppose K s a feld. Let V be a vector space over K wth dmv 2. Then, nether the tensor algebra T(V) nor the symmetrc algebra S(V) are zero product determned. Proof. Recall that the tensor algebra T(V) over a vector space V may be thought of as the free assocatve K-algebra on dm V generators. Lkewse, the symmetrc algebra S(V) over V may be thought of as the free commutatve assocatve K-algebra on dmv generators. The tensor and symmetrc algebras over a vector space are ntegral domans, and as such, we have that µ(t 1 t 2 ) = 0 f and only f t 1 = 0 or t 2 = 0, n ether case gvng t 1 t 2 = 0. In short, ths means T µ = 0. To show that these algebras are not zero product determned, we must now show that Kerµ 0. In other words, we must produce at least one non-trval kernel element. Snce dmv 2, we may select two K-lnearly ndependent vectors v 1,v 2 V. Then for the tensor algebra T(V), consder the element v 1 v 2 v 1 v 1 v 2 v 1 T(V) T(V). (Here, multplcaton n T(V) s denoted by juxtaposton, to avod confuson wth members of T (V) T (V).) We have that µ(v 1 v 2 v 1 v 1 v 2 v 1 ) = v 1 v 2 v 1 v 1 v 2 v 1 = 0 so that v 1 v 2 v 1 v 1 v 2 v 1 Kerµ, whle also v 1 v 2 v 1 v 1 v 2 v 1 0 by lnear ndependence. As for the symmetrc algebra S(V), we may use the element v 1 v 2 v 2 v 1 S(V) S(V)

8 8 DANIEL BRICE AND HUAJUN HUANG whch s non-zero yet contaned nkerµ by commutatvty ofs(v). The next proposton shows that the condton on the dmenson of V n the prevous s qute necessary. We recall that K s an arbtrary commutatve rng. When vewed as a module, K has an obvous algebra structure by lettng µ(k 1 k 2 ) = k 1 k 2. Furthermore, any deal H of K s a submodule of K, and the quotent module K/H, agan through the usual multplcaton, has an algebra structure. Proposton 2.6. Assume 1 K. For any deal H K, the rng K/H s zero product determned when vewed as a K-algebra. In partcular, K s zero product determned as a K-algebra. Proof. K/H K K/H = K/H, wth µ servng as an somorphsm. Ths s because (k 1 +H) K (k 2 +H) = k 1 (1+H) K (k 2 +H) = (1+H) K k 1 (k 2 +H) = (1+H) K (k 1 k 2 +H), so k 1 k 2 + H = 0 +H (whch s to say µ((k 1 + H) K (k 2 + H)) = 0) mples that (k 1 +H) K (k 2 +H) = (1+H) K (k 1 k 2 +H) = (1+H) K (0+H) = 0. In partcular, we have that Kerµ = 0, so K/H s trvally zero product determned. 3. Drect Sums of Algebras In order to state and prove our second man result, we requre the followng termnology. Gven algebras(a, µ) and(b, λ), we may endow ther module drect sum A B wth an algebra structure. Defne µ λ : (A B) (A B) A B by µ λ((a 1,b 1 ) (a 2,b 2 )) = (µ(a 1 a 2 ),λ(b 1 b 2 )).

9 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 9 µ λ s seen to be well-defned by Lemma 1.2 after notng that the functon µ λ((a 1,b 1 ),(a 2,b 2 )) = (µ(a 1 a 2 ),λ(b 1 b 2 )) s blnear. In ths way, (A B,µ λ) s an algebra. Ths agrees wth the usual meanng of the drect sum of two algebras usng component-wse multplcaton, snce (a 1,b 1 )(a 2,b 2 ) = (a 1 a 2,b 1 b 2 ) = µ λ((a 1,b 1 ) (a 2,b 2 )). The above example llustrates how the drect sum of algebras can be constructed completely n terms of lnear maps on tensor products. Our ( prmary purpose n ths secton s to show that the drect sum I A ), I µ of an arbtrary set of algebras s zero product determned f and only f each component algebra (A,µ ) s zero product determned. Lemma 3.1. Let A ( I) be modules. ( ( ) A ) A = A A j I I,j I Proof. The lemma s proved after makng two applcaton of Proposton 2.1 n Chapter XVI of [11]. We wll rely on ths somorphsm freely wthout menton n what follows. In partcular, we wll use the lemma to defne I µ and derve some smple propertes. Defnton 3.2. Gven algebras (A,µ ) ( I), ther drect sum as an algebra s the par (A,µ) where A = I A, and µ = I µ :,j IA A j A s defned by µ A A j = { µ : = j 0 : j Snce µ A A j s a lnear map on each component A A j of A, the map µ =,j µ A A j s a well-defned lnear map on A by the unversal property of module drect sums. In partcular, we note the fact that µ(a A ) A.

10 10 DANIEL BRICE AND HUAJUN HUANG Our second man result below shows that a drect sum of algebras s zero product determned f and only f each of ts components s. Theorem 3.3. Let (A,µ ) ( I) be algebras. Let (A,µ) be ther drect sum as defned above. Then (A,µ) s zero product determned f and only f (A,µ ) s zero product determned for all I. To prove Theorem 3.3, we need the followng two lemmas about (A,µ). ( ( Lemma 3.4. Kerµ = Kerµ ) A A j ). I,j I, j Proof. Clearly Kerµ ( ) ( Kerµ I,j I, j A A j ). We wll demonstrate the reverse ncluson. Denote by p,j the canoncal projecton p,j : A A A j. Let a Kerµ. Then 0 = µ(a) =,j Iµ(p,j (a)) = I µ(p, (a)). Each µ(p, ( (a)) A, so each ( µ(p, (a)) = 0 by lnear ndependence, gvng a Kerµ ) A A j ). I,j I, j ( ) ( Lemma 3.5. T µ = T µ A A j ). I,j I, j Proof. By Lemma 3.4, T µ T µ for I anda A j T µ for,j I and j. Therefore, ( ) ( ) T µ A A j T µ. I,j I, j

11 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 11 Conversely, every element of T µ s of the form ( ( ) a a = a ) =,j Ia a j, I I where a,a A, a = 0 and a = 0 for all but fntely many, and a 0 = µ(a a ) =,j I δ j µ (a a j) = I µ (a a ). Therefore, a a T µ and ( ) ( ) a a T µ A A j. Ths completes the proof. I,j I, j Proof of Theorem 3.3. By Theorem 2.4, (A, µ) s zero product determned f and only f Kerµ = T µ. By Lemmas 3.4 and 3.5, Kerµ = T µ f and only f ( ( ) ( ) ( ) Kerµ ) A A j = T µ A A j, I,j I, j I,j I, j that s, f and only f Kerµ = T µ for all I, and n turn Kerµ = T µ for all I f and only f (A,µ ) s zero product determned for all I. 4. Applcatons to Le algebras An abelan Le algebra A s a Le algebra wth trval multplcaton. In other words, Kerµ = A A, so that A s trvally seen to be zero product determned. Lemma 4.1. Let A be an abelan Le algebra. Then A s zero product determned. Proof. That A s abelan means that T µ = T, so that T µ = T = A A = Kerµ. By Theorem 2.4, A s zero product determned.

12 12 DANIEL BRICE AND HUAJUN HUANG Recall that a sem-smple Le algebra L decomposes as the drect sum of smple deals L = L 1 L r and that a reductve Le algebra L decomposes as L = L 0 L 1 L r, where L 0 s the center of L and L 1 L r s sem-smple. See [4] and [10] for detals. In [12], Wang, et. al. show that every parabolc subalgebra of a fntedmensonal smple Le algebra over an algebracally-closed feld of characterstc zero s zero product determned. Combnng ths result wth our result for drect sums (Theorem 3.3) and the above lemma sgnfcantly broadens the class of Le algebras known to be zero-product determned. Below s our thrd man result. Theorem 4.2. Let L be a reductve Le algebra over an algebracally closed feld K of characterstc 0. Then every parabolc subalgebra P of L s zero product determned. In partcular, L s zero product determned. Proof. The reductve Le algebra L can be decomposed as L = L 0 L 1 L r, where L 0 = Z(L) s an abelan deal, and L 1,,L r are smple deals of L. Every parabolc subalgebra P of L s somorphc by some automorphsm to a standard parabolc subalgebra P of the form L 0 P 1 P r, where P s a parabolc subalgebra of L for = 1,,r. Then P s zero product determned by Theorem 3.3, whence so s P. References [1] J. Alamnos, M. Brešar, J. Extremera, and A. R. Vllena, Maps preservng zero products, Studa Mathematca 193 (2009), [2] Mchael F. Atyah and Ian G. Macdonald, Introducton to Commutatve Algebra, Addson-Wesley, Readng Massachusetts, [3] Garrett Brkhoff and Saunders Mac Lane, Algebra, Macmllan, New York, [4] N. Bourbak, Elements of mathematcs. Le groups and Le algebras, Addson- Wesley, [5] Matej Brešar, Mateja Grašč, and Juana Sánchez Ortega, Zero product determned matrx algebras, Lnear Algebra and ts Applcatons 430 (2009), [6] Matej Brešar and Peter Šemrl, On blnear maps on matrces wth applcatons to commutatvty preservers, Journal of Algebra 301 (2006), [7] M. A. Chebotar, W.-F. Ke, P.-H. Lee, and N.-C. Wong, Mappngs preservng zero products, Studa Mathematca 155 (2003), [8] Mkhal A. Chebotar, Wen-Fong Ke, Pjek-Hwee Lee, and Rubn Zhang, On maps preservng zero Jordan products, Monatsheft für Mathematk 149 (2009),

13 DIRECT SUMS OF ZERO PRODUCT DETERMINED ALGEBRAS 13 [9] Mateja Grašč, Zero product determned classcal Le algebras, Lnear and Multlnear Algebra 58 (2010), [10] James E. Humphreys, Introducton to Le Algebras and Representaton Theory, Sprnger, New York, [11] Serge Lang, Algebra, Sprnger, New York, [12] Dengyn Wang, Xaowe L, and Hu Ge, Idempotent elements determned matrx algebras, Lnear Algebra and ts Applcatons (preprnt). [13] Dengyn Wang, Xaoxang Yu, and Zhengxn Chen, A class of zero product determned Le algebras, Journal of Algebra 331 (2011), Department of Mathematcs and Statstcs, Auburn Unversty, Alabama, Unted States E-mal address: dpb0006@auburn.edu, huanghu@auburn.edu