Let be an ideal of and contract it toThis 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 . Thusso every ideal of is principal. The localization remains an integral domain; hence is a principal ideal domain.
Articles by others on the same topic
There are currently no matching articles.