http://img826.imageshack.us/img826/6069/kj13.png [Broken](adsbygoogle = window.adsbygoogle || []).push({});

The proof is showing that particular matrix ring is not left artinian or noetherian. For any [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex] that certainly is a left ideal of [itex]R[/itex]. But I can't seem to find an infinite ascending (or descending) chain of left ideals. This would involve finding ascending or descending [itex]\mathbb{Q}[/itex] subspaces [itex]V[/itex] of [itex]\mathbb{C}[/itex] .

For example [itex]\mathbb{Q}(1+i)[/itex] is a [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex]. [itex]\mathbb{Q}(1+i) + \mathbb{Q}(1+2i)[/itex] is another [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex] such that the first one is a strict subset of this. However after this I couldn't think how to continue the pattern. Can anyone help with constructing these infinite ascending or descending subspaces?

Edit:After searching around I realised this is quite obvious. [itex]\mathbb{C}[/itex] treated as a vector space over [itex]\mathbb{Q}[/itex] is infinite dimensional.

So take a random element [itex]a[/itex] of [itex]\mathbb{C}[/itex]. [itex]\mathbb{Q}a[/itex] is a [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex]. Then take an element [itex]b[/itex] from [itex]\mathbb{C}[/itex] not in [itex]\mathbb{Q}a[/itex]. [itex]\mathbb{Q}a+\mathbb{Q}b[/itex] is another [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex] that strictly contains [itex]\mathbb{Q}a[/itex]. Take [itex]c[/itex] from [itex]\mathbb{C}[/itex] not in [itex]{\mathbb{Q}a+\mathbb{Q}b}[/itex] to obtain [itex]\mathbb{Q}a+\mathbb{Q}b + \mathbb{Q}c[/itex] and so on and so on.

However, this shows it is not Noetherian. How do I show it is not Artinian?

Edit 2:I guess since [itex]\mathbb{C}[/itex] treated as a vector space over [itex]\mathbb{Q}[/itex] is infinite dimensional, means [itex]\mathbb{C}[/itex] has basis [itex] {r_1, r_2, r_3, ... } [/itex]. Hence I can take [itex] {r_2, r_3, ... } [/itex] to form a new [itex]\mathbb{Q}[/itex] subspace [itex]V[/itex] of [itex]\mathbb{C}[/itex] which is strictly smaller than [itex]\mathbb{C}[/itex]. Keep doing this to obtain a infinite strictly descending chain of ideals.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Infinite ascending chains of Q subspaces of C?

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Infinite ascending chains | Date |
---|---|

I Directly Finite and Directly Infinite R-Modules - Bland S2.2 | May 22, 2016 |

Jordan Chains to solve x'=Ax, complex-valued. | Feb 8, 2016 |

Verifying the Fourier Series is in Hilbert Space | Nov 27, 2015 |

How can e^{Diag Matrix} not be an infinite series? | Nov 12, 2015 |

Examples of infinite nonabelian groups not GL_n(G)? | Sep 9, 2015 |

**Physics Forums - The Fusion of Science and Community**