>>Hensel環はNoether性を仮定しないのですか?

No need to assume Noetherianity.
Look at Hochster's online lecture note!!