I am trying to prove that [itex]11[/itex] is a prime in [itex]\mathbb{Z}[\sqrt{-5}][/itex].(adsbygoogle = window.adsbygoogle || []).push({});

I noticed that [itex]\mathbb{Z}[\sqrt{-5}][/itex] is not a UFD so I cannot show that it is irreducible then conclude it is prime.

I know that that an ideal is prime if and only if the quotient ring is a domain.

I was wondering if it is correct for me to show that

[itex]\mathbb{Z}[\sqrt{-5}]/(11)\cong\mathbb{Z}_{11}[x]/(x^2+1)[/itex]

If this is true then I can conclude that [itex]\mathbb{Z}[\sqrt{-5}][/itex] is a domain because

[itex]\mathbb{Z}_{11}[x]/(x^2+1)[/itex] is a finite field.

Thank you

EDIT: OMG, Made a huge typo originally. The ring is [itex]\mathbb{Z}[\sqrt{-5}][/itex] not [itex]\mathbb{Z}[\sqrt{5}][/itex]

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Determine prime in non-UFD

Loading...

Similar Threads - Determine prime | Date |
---|---|

B Why the hate on determinants? | Jun 9, 2017 |

I Prime Subfiellds - Lovett, Proposition 7.1.3 ... | Apr 14, 2017 |

I Proving a result about invertibility without determinants | Feb 27, 2017 |

I Using determinant to find constraints on equation | Jan 15, 2017 |

A Exterior Algebra Dual | Jul 6, 2016 |

**Physics Forums - The Fusion of Science and Community**