Tag Archives: noetherian

Non-Noetherian domain but finitely generated ideals principal

A finitely-generated module over a principal ideal domain is always isomorphic to $R^n\oplus R/a_1\oplus\cdots\oplus R/a_n$ where $n$ is a nonnegative integer and $a_i\in R$ for $i=1,\dots,n$. This is called the structure theorem for modules over a principal ideal domain. Examples of principal ideal domains include fields, $\Z$, $\Z[\sqrt{2}]$, and the polynomial ring $k[x]$ when $k$ […]

Being Noetherian Is Not Local…Or Is It?

A commutative ring $R$ can be non-Noetherian and have all of its localisations at prime ideals Noetherian, such as the infamous $\prod_{i=1}^\infty \mathbb{Z}/2$. So being Noetherian is not a local property. However, there is an interesting variant of 'local' that does work, which I learnt from Yves Lequain's paper [1]. It goes like this: Theorem. […]