Let be an ideal of and contract it to
This is an ideal of , so because is a principal ideal domain. Every is a unit in a ring . Consequently, if , then , so and . Conversely , hence every multiple of it belongs to . Thus
so every ideal of is principal. The localization remains an integral domain; hence is a principal ideal domain.

Articles by others on the same topic (0)

There are currently no matching articles.