ありがとうございます
では整域を可換環に置き換えると存在するでしょうか?