Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be a complex unital algebra and let $M$ be a proper left ideal in $A$. Furthermore, suppose that $\{L_i\colon i \in I\}$ is an uncountable family of left-ideals such that

1) for each $i$ the $L_i\subseteq M$ and $\mbox{dim }M/L_i = 2$

2) for $s\neq t$ neither $L_s\subseteq L_t$ nor $L_t\subseteq L_s$.

Can $M$ be finitely generated?

share|cite|improve this question

Yes. $M$ can be finitely generated.

Let $M=\mathbb{C}^{2 \times 2}$ denote $2 \times 2$ complex matrices. Let $A = \mathbb{C}^{2 \times 2} \oplus \mathbb{C}$ (a 5 dimensional complex vector space). Give $A$ the multiplication: $(P,s)(Q,t)=(PQ,st)$. Then your identity is $(I_2,1)$.

We see that $M$ is an ideal of $A$ (not just left but actually 2-sided).

Let $m\in\mathbb{C}$ and

$$L_m = \left\{ \begin{pmatrix} a & ma \\ b & mb \end{pmatrix} \,{\Huge|}\, a,b \in \mathbb{C} \right\}$$

This is certainly an uncountable set of left ideals (these matrices are preserved under row operations). Also, $\mathrm{dim}(L_m)=2$ so $\mathrm{dim}(M/L_m)=4-2=2$.

Notice that $L_m \cap L_n = \{ 0_{2 \times 2} \}$ [Note: You can think of $L_m$ sort of like lines through the origin.]

Everything is finitely generated.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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