Algebras such that the tensor product with any Noetherian algebra is Noetherian

Let $R$ be a Noetherian commutative unital ring. It is generally speaking not true that the tensor product of two Noetherian $R$-algebras is Noetherian (e.g. take $R$ to be a field, and consider the tensor square of some crazy field extension).

What is true is that a tensor product of a finite type $R$-algebra and a Noetherian $R$-algebra is Noetherian. It is not true, however, that an $R$-algebra whose tensor product with any Noetherian $R$-algebra is Noetherian has to be of finite type (consider the power series ring, for example). What is the name for the class of $R$-algebras that have this property?

Answer

A (not necessarily commutative) algebra $A$ over a commutative noetherian ring $R$ is called strongly noetherian if for every noetherian $R$-algebra $R’$ the extension $A \otimes_R R’$ is noetherian. See this paper of Artin, Small, and Zhang for a reference. This property has also been discussed in this MO question.

This is an issue of importance in noncommutative algebra, where there exist finitely generated noetherian algebras that do not remain noetherian after extending the base field. (There is a well-known example of this phenomenon due to Resco and Small.) But as your question indicates, it is already an interesting property to consider for commutative algebras.

Attribution
Source : Link , Question Author : Community , Answer Author : Manny Reyes

Leave a Comment