Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $K$ be a field and $R$ a ring with finite dimensional vector space structure over $K$. Is $R$ necessarily a Noetherian ring?

If $K \subset R$, then any ideal in $R$ is also a subspace and, since a finite basis for it exists, it is a finitely generated ideal, and therefore $R$ is Noetherian.

But what if $R$ does not contain $K$?

share|improve this question
2  
Is there any compatibility between the ring structure of R and its K-vector space structure? –  Mariano Suárez-Alvarez Jul 26 at 2:15
    
Oh, sure. The sum operation is the same. In the case of my remark about the case $K \subset R$, it is required that ring multiplication and scalar multiplication coincide if an element in $K$ is involved, but in the case $K \subsetneq R$, well, I do not require any compatibility besides addition being the same. –  Marco Flores Jul 26 at 4:32

1 Answer 1

up vote 4 down vote accepted

Let $k$ be a field and let $K$ be any extension of $k$ of infinite degree —for example, we could take $K=k(t)$, the field of rational functions with coefficients in $k$ in the variable $t$. Then $K$ is an infinite dimensional $k$-vector space, so there is a $k$-basis $B=\{x_i:i\in I\}$ for some infinite set $I$. Suppose $i_0\in I$ and let $J=I\setminus\{i_0\}$. There is a unique unital $k$-algebra structure on $K$ such that $x_{i_0}$ is the unit and $x_ix_j=0$ for all $i$, $j\in J$. As $I$ is infinite, this algebra structure on $K$ is not noetherian.

Now clearly $K$ is a finite dimensional $K$-vector space and, with respect to the same addition, it is a non-noetherian algebra as described.

share|improve this answer
    
It was a while since I last used that algebra as an example! –  Mariano Suárez-Alvarez Jul 26 at 6:24

Your Answer

 
discard

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.