leblon: (farns)
leblon ([personal profile] leblon) wrote2013-03-09 01:54 pm

(no subject)

Is it true that an algebra whose Jacobson radical vanishes is semi-simple (in the usual sense)? Or at least is it true for finite-dimensional algebras?

[identity profile] posic.livejournal.com 2013-03-09 10:03 pm (UTC)(link)
What is "semi-simple in the usual sense"?

[identity profile] leblon.livejournal.com 2013-03-09 10:11 pm (UTC)(link)
Semi-simple as a (say, left) module over itself.

[identity profile] posic.livejournal.com 2013-03-09 10:25 pm (UTC)(link)
Then it is certainly true for finite-dimensional algebras and certainly not true for infinite-dimensional ones.

In the former case, one usually proves the stronger assertion that over a finite-dimensional algebra without two-sided nilpotent ideals, the category of left modules is semi-simple.

For a counterexample in the latter case, take the algebra of polynomials in one variable (or in several variables, or the universal enveloping algebra of a Lie algebra, or the algebra of differential operators on an affine space, etc.)

[identity profile] buddha239.livejournal.com 2013-03-10 08:35 am (UTC)(link)
+100!:)

[identity profile] leblon.livejournal.com 2013-03-10 03:18 pm (UTC)(link)
Спасибо! Я нашел доказательство в книжке Lam, A First Course on Noncommutative Rings.