# every PID is a UFD - alternative proof

^{}, then $R$ is a unique factorization domain^{}.

^{} in $R$ contains a prime element^{}.

Thus, if $P$ is a nonzero prime ideal in $R$, then (since $R$ is a PID) there exists $p\in R$ such that $P=(p)$. This completes the proof. $\mathrm{\square}$

Title | every PID is a UFD - alternative proof |
---|---|

Canonical name | EveryPIDIsAUFDAlternativeProof |

Date of creation | 2013-03-22 19:04:26 |

Last modified on | 2013-03-22 19:04:26 |

Owner | joking (16130) |

Last modified by | joking (16130) |

Numerical id | 5 |

Author | joking (16130) |

Entry type | Theorem |

Classification | msc 13F07 |

Classification | msc 16D25 |

Classification | msc 13G05 |

Classification | msc 11N80 |

Classification | msc 13A15 |