0

Is there an infinite-dimensional, non-commutative complex local algebra $A$ (which is not a field) with the (unique) maximal left-ideal finitely generated as a left ideal? Or as a right ideal?

flag

1 Answer

0

Yes, the following should do the trick:

Let $D$ be any skew field over $\mathbb{C}$. Then $D[[X]]$ is a local ring with maximal left ideal $(X)$ (see Lam, A first Course in noncommutative Rings, after 19.7) and $D[[X]]$ is clearly infinite-dimensional as $\mathbb C$-algebra.

So it suffices to find $D$. According to Cohn's book quoted in

$\qquad$http://mathoverflow.net/questions/48173/infinite-dimensional-division-algebras,

$D$ can be choosen to be a twisted Laurent series ring over $\mathbb C$ (see Prop. 2.3.5 in google books).

link|flag
Perfect, thank you! – Alex Ortega Mar 14 2012 at 0:55

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.