Let $K$ be an algebraically closed field and let $K\langle t_{1},t_{2},\ldots,t_{n}\rangle$ denote the free associative algebra in $n$ noncommuting indeterminates. Why is this algebra not a local algebra? (i.e the only idempotents are $0$ and $1$, or equivalently the set of non-units is a two sided ideal or equivalently it has a unique left (resp right) maximal ideal)
Noncommuting indeterminates algebra
1
$\begingroup$
abstract-algebra
1 Answers
3
The only units in your algebra are the non-zero scalar polynomials, as you can easily check. In particular $t_1+1$ and $t_1$ are non-units. But their difference is a unit: the set of non-units is therefore not an ideal (it is not even an additive subgroup, in fact)
Alternatively: if $\lambda=(\lambda_1,\dots,\lambda_n)$ is an $n$-tuple of scalars, let $I_\lambda$ be the left ideal generated by $t_1-\lambda_1$, $\dots$, $t_n-\lambda_n$. This is a maximal ideal, and when \lambda\neq\lambda' we have I_\lambda\neq I_{\lambda'}. There is then no unique maximal left ideal.
-
1Lots of things become trivial only once you realise they are true :) – 2011-10-12