MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $P_3=${$z\in Z[\sqrt{-3}],|z|^2 \text { is a prime number}, >3$}

Let $\alpha_1,...\alpha_n$ be distinct elements in $P_3$, and $l_1,...l_n\in Z^+$. Set $\alpha_1^{l_1}...\alpha_n^{l_n}=a+b\sqrt{-3}$.

Is it correct that $|\alpha_i|^2,a,b$ are mutual prime for all $i$?

share|cite|improve this question
$7$ is in $P_3$, since $|7|=7$ is prime and greater than $3$. Let $n=1$, $\alpha_1=7$, $\ell_1=1$, then $|\alpha_1|^2=49$, $a=7$, $b=0$, counterexample. Maybe you had something else in mind? – Gerry Myerson Jun 23 '13 at 11:06
Sorry, I forgot to add that P do not contain intergers. Thanks. – Kim Jun-Lee Jun 23 '13 at 15:06
I suspect the poster means the norm inherited from the field extension, rather than the absolute value, i.e. $|a+b\sqrt{-3}| = a^2+3b^2|$, akin to the Gaussian integers. That way the set $P_3$ corresponds to "primes", and the question is about unique factorization in this "deformation". Unfortunately for the poster, this is not the ring of integers for this extension; instead one should consider the Eisenstein integers, where the statement holds after accounting for units. As stated, the question can be resolved by taking two conjugates as the distinct elements, e.g. $2\pm \sqrt{-3}$. – Zack Wolske Jun 23 '13 at 15:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.