# Factorize $(9+11\sqrt{-5})$ as a product of prime ideals in $\mathcal{O}_K$ where $K=\mathbb{Q}(\sqrt{-5})$

Factorize $(9+11\sqrt{-5})$ as a product of prime ideals in $\mathcal{O}_K$, where $K=\mathbb{Q}(\sqrt{-5})$.

The ring of integers in this case is $\mathbb{Z}[\sqrt{-5}]$.

I have calculated that the norm of $(9+11\sqrt{-5})$ is $686=2\times 7^3$ and therefore its prime factorization must contain a prime ideal of norm 2, and $(2,1+\sqrt{-5})$ has norm 2 and contains (hence divides) $(9+11\sqrt{-5})$. I don't know how to explicitly divide $(9+11\sqrt{-5})$ by $(2,1+\sqrt{-5})$. I don't know how to go further than this.

• You could try to find an ideal $J$ of norm $7$, and see whether $(2,1+\sqrt{-5})J^3=(9+11\sqrt{-5})$. – Gerry Myerson Mar 4 '13 at 12:04
• But be aware there are two prime ideals of norm $7$ ! – user18119 Mar 4 '13 at 15:13

We have $\mathbb Z[\sqrt{-5}]=\mathbb Z[X]/(X^2+5)$. Mod $7$, we have $X^2+5=(X+3)(X-3)$. So there are two primes in $\mathbb Z[\sqrt{-5}]$ above $7$: $\mathfrak q_1=(7, -3+\sqrt{-5})$ and $\mathfrak q_2=(7, 3+\sqrt{-5})$.
Note that $3(3-\sqrt{-5})=(9+11\sqrt{-5})-14\sqrt{-5}$. So $9+11\sqrt{-5}\in \mathfrak q_1$.
We have $9+11\sqrt{-5}\notin \mathfrak q_2$ because otherwise $8\sqrt{-5}=(9+11\sqrt{-5})-3(3+\sqrt{-5})\in \mathfrak q_2$. Hence, taking the norm, we find $64\times 5\in \mathfrak q_2\cap \mathbb Z=7\mathbb Z$. Contradiction.
Therefore the decomposition is $$(9+11\sqrt{-5})=(2, 1+\sqrt{-5})(7, -3+\sqrt{-5})^3.$$
{"ft_lang_label":"__label__en","ft_lang_prob":0.85555947,"math_prob":1.0000064,"size":522,"snap":"2021-04-2021-17","text_gpt3_token_len":181,"char_repetition_ratio":0.1891892,"word_repetition_ratio":0.028571429,"special_character_ratio":0.394636,"punctuation_ratio":0.07964602,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000093,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-27T11:33:56Z\",\"WARC-Record-ID\":\"<urn:uuid:b3886c7d-215e-4cc5-bf1c-259237948d9b>\",\"Content-Length\":\"151684\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:554d18e8-fedd-4f3e-8f92-67d50ef32d3a>\",\"WARC-Concurrent-To\":\"<urn:uuid:10dc646d-9cda-4363-95db-fecc289dd567>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/320343/factorize-911-sqrt-5-as-a-product-of-prime-ideals-in-mathcalo-k-wher\",\"WARC-Payload-Digest\":\"sha1:IOBQ6R4QNWKCOI4MPAAT36RDKIW5I4UT\",\"WARC-Block-Digest\":\"sha1:3AXRS72UI4LZ5ZKC7UWGCTZATMPYFIS5\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610704821381.83_warc_CC-MAIN-20210127090152-20210127120152-00168.warc.gz\"}"}