Go back to the tag's page.
Tags: Added new tags Also fixed a few references
Bit more about factorization
Regular local ring is a UFD