EXAMPLES OF FCR-ALGEBRAS

DOI10.1081/AGB-120004489MaRDI QIDQ3146317zbMATH OpenOpenAlexFDO

Publication date 13 November 2003

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1081/agb-120004489

By an FCR-algebra the authors understand an algebra \(A\) over a field such that (i) every finite-dimensional \(A\)-module is completely reducible and (ii) the intersection of the annihilators of all the finite-dimensional simple \(A\)-modules is zero. They quote as examples finite-dimensional semisimple algebras and enveloping algebras of semisimple Lie algebras in characteristic zero. Their aim is to exhibit various other examples. Thus a Weyl algebra is clearly not an FCR-algebra, but a generalization described by \textit{V. V. Bavula} [Funkts. Anal. Prilozh. 25, No. 3, 80-82 (1991; Zbl 0755.17018)] provided such examples, and the down-up algebras of \textit{G. Benkart} and \textit{T. Roby} [J. Algebra 209, No. 1, 305-344 (1998); addendum ibid. 213, No. 1, 378 (1999; Zbl 0922.17006)] are shown to be FCR-algebras under appropriate conditions. Next consider rings \(R\subseteq S\), where \(S\) is a finitely generated \(R\)-module. Clearly a subalgebra of an FCR-algebra need not be FCR, but if \(S\) is an FCR-algebra and a faithfully flat \(R\)-module which is a normalizing extension of \(R\), then \(R\) is shown to be an FCR-algebra. Next the authors show, using results from [\textit{H. Kraft}, \textit{L. W. Small} and \textit{N. R. Wallach}, Math. Res. Lett. 6, No. 3-4, 371-375 (1999; Zbl 0952.16005)] that if \(S\) is an FCR algebra which is right Noetherian and \(e\) is an idempoent in \(S\), then \(eSe\) is an FCR-algebra. Hence for any projective \(S\)-module, \(\text{End}_S(P)\) is an FCR-algebra. Examples show that the converse is not true. Let \(\phi\colon R\to S\) be a ring homomorphism; the authors call \(S/R\) separable if the multiplication map \(S\otimes S\to S\), \(s\otimes s'\mapsto ss'\) splits as an \(S\)-bimodule map, and they show that when \(S/R\) is separable and \(R\) has the reductive property, then so does \(S\). For example, if \(R\) has the reductive property and \(G\) is a finite group of order prime to the field characteristic, then the group ring \(RG\) is separable over \(R\), and so it has the reductive property. They next consider a Lie superalgebra \(L\) and its enveloping algebra \(U(L)\). They show that all finite-dimensional representations of \(U(L)\) are semisimple if and only if all its finite-dimensional graded representations are semisimple, and they conclude that the only Lie superalgebras with these properties are the algebras \({\mathfrak{osp}}(1,2r)\) of the orthosymplectic groups. A final remark concerns the Gelfand-Kirillov dimension. Clearly the FCR-algebras of GK-dimension 0 are the finite-dimensional semisimple algebras, while algebras of GK-dimension 1 are PI-algebras and so cannot be FCR. They know of no examples of FCR-algebras of GK-dimension 2, while the methods used earlier produce only examples of GK-dimension 3. Any semisimple Lie algebra of dimension \(n\) will (in characteristic 0) have an enveloping algebra which is an FCR-algebra of GK-dimension \(n\), so the question remains whether there are FCR-algebras of GK-dimension \(n\) when there is no semisimple Lie algebra of dimension \(n\). They note examples of Musson of Noetherian FCR-algebras, and an example of Musson and Van den Bergh of an affine Noetherian FCR-algebra of GK-dimension \(2n-1\), and ask whether such algebras exist for dimension \(2n\) (\(n\geq 2\)).

Recommendations

Cites work

Cited in

(8)

This page was built for publication: EXAMPLES OF FCR-ALGEBRAS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3146317)