To assuage my conscience over an unsourced statement in a paper I'm writing:
I am looking for an example of a commutative algebra over the complex numbers having a maximal ideal of codimension >1, or a statement of inexistence.
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityIf the codimension is finite, then there is no such thing. If the codimension can be infinite, then yes, because there are infinite dimensional complex division algebras which are simple, like $\mathbb C(t)$.
By codimension you just mean as a $\mathbb{C}$-vector space? Take the rational function field $\mathbb{C}(t)$.
(Note: by the Nullstellensatz, it is not possible to do so with a finitely generated $\mathbb{C}$-algebra.)