Non-Noetherian failure of the intersection formula for localization

ID: non-noetherian-failure-of-the-intersection-formula-for-localization

Let
be the semigroup algebra inside , and let be generated by the with . This integral domain is not Noetherian, since
Moreover , because . Thus , whereas the map is injective because is a domain.

New to topics? Read the docs here!