1
$\begingroup$

Suppose $\mathfrak{A}$ is an unital algebra over complex numbers and $\mathfrak{J}$ is chain of left-ideals in $\mathfrak{A}$ ordered by inclusion such that none of its elements is countably generated. Clearly, the union $\bigcup \mathfrak{J}$ is a left-ideal. Can it be countably generated? I am interested in the commutative case as well.

Recently, I asked a similar question for Boolean algebras but I prefer these two questions not to be merged.

$\endgroup$

1 Answer 1

3
$\begingroup$

Let $T=\{x_i\}_{i\in{\mathbb N}}\cup \{y_\alpha\}_{\alpha\in{\mathbb R}}$. Consider an algebra $A={\mathbb C}[T]$, and denote $I_k=\langle \{x_i\}_{i=1}^k\cup\{x_{k+1}y_\alpha\}_{\alpha\in{\mathbb R}}\rangle$. Then none of $I_k$'s is countably generated, but $\bigcup_k I_k=\langle \{x_i\}_{i\in{\mathbb N}}\rangle$.

$\endgroup$
4
  • $\begingroup$ $\mathbb{C}[T]$ is the group algebra of any group $T$ with uncountably many elements which you divide into parts $\{x_i\}$ and $\{y_\alpha\}$? $\endgroup$
    – GiroCont
    Nov 23, 2011 at 17:27
  • $\begingroup$ It is just the algebra of polynomials with $T$ as a set of variables. Or, if you prefer, the free commutative algebra with $T$ the set of generators. $\endgroup$ Nov 23, 2011 at 18:19
  • $\begingroup$ What does it mean $x_{k+1}y_\alpha$ then? $\endgroup$
    – GiroCont
    Nov 23, 2011 at 18:34
  • $\begingroup$ Sorry, right. I was still thinking about the group algebra... $\endgroup$
    – GiroCont
    Nov 23, 2011 at 19:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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