# Thread:

1. ## Common factors in integral domain Z[sqrt(-13)]

Consider the integral domain $\mathbb{Z}\[\sqrt{-13}\] = \{ x + y \sqrt{-13} | x,y \in \mathbb{Z} \}$.

Show that $2$ and $3 + \sqrt{-13}$ have no common factors in $\mathbb{Z}\[\sqrt{-13}\]$ except for $1$ and $-1$.

I can show that both $2$ and $3 + \sqrt{-13}$ are irreducible. However, is there another way to prove that $1$ and $-1$ are the only common factors?

2. ## Re: Common factors in integral domain Z[sqrt(-13)]

Showing irreducibility is not enough, you must also prove that the only units in your domain are 1 and -1.

3. ## Re: Common factors in integral domain Z[sqrt(-13)]

But should showing irreducibility be the first step though? Or is there a different solution that does not involve proving irreducibility?

4. ## Re: Common factors in integral domain Z[sqrt(-13)]

Suppose $\alpha = a + \sqrt{-13} b$ is a common factor.

Then $2 = \alpha x$ for some $x = c + \sqrt{-13}d$ and $N(2) = 2^2 = N(\alpha)N(x) = (a^2 + 13 b^2)(c^2 + 13d^2)$. It can be deduced that $a = \pm 1$ or $a = \pm 2$.

We also have $3 + \sqrt{-13} = \alpha y$ for some $y = e + \sqrt{-13}f$ and $N(3 + \sqrt{-13}) = 22 = N(\alpha)N(y) = (a^2 + 13 b^2)(e^2 + 13f^2)$. It can be seen that $a = \pm 1$ is the only possible value.

Hence $\alpha = \pm 1$ is the only common factor.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 21, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9497795701026917, "perplexity_flag": "head"}