Which of these two factorizations of $5$ in $\mathcal{O}_{\mathbb{Q}(\sqrt{29})}$ is more valid?

Question

$$5 = (-1) \left( \frac{3 - \sqrt{29}}{2} \right) \left( \frac{3 + \sqrt{29}}{2} \right)$$

or

$$5 = \left( \frac{7 - \sqrt{29}}{2} \right) \left( \frac{7 + \sqrt{29}}{2} \right)?$$

$\mathcal{O}_{\mathbb{Q}(\sqrt{29})}$ is supposed to be a unique factorization domain, so the two above factorizations are not distinct. But I can divide factors in both of them by units to obtain yet more seemingly different factorizations.

The presence of the unit $-1$ in the first factorization does not trouble me, since for example on this page http://userpages.umbc.edu/~rcampbel/Math413Spr05/Notes/QuadNumbFlds.html the factorization of $3$ in $\mathcal{O}_{\mathbb{Q}(\sqrt{13})}$ is given as $(-1)(7 - 2 \sqrt{13})(7 + 2 \sqrt{13})$.

I honestly find rings of complex numbers far easier to understand!

Answer 1

Note that $$ \frac{7-\sqrt{29}}2 \cdot \frac{5+\sqrt{29}}2 = \frac{3+\sqrt{29}}2 $$ and $$ \frac{5+\sqrt{29}}2 \cdot \frac{-5+\sqrt{29}}2 = 1 $$

So the two factorizations are equally good, just related by unit factors. (Remember that even in an UFD, factorizations are only unique up to associatedness).

Answer 2

This question is a real humdinger. In $\frac{a + b \sqrt{29}}{2}$ its worthwhile to make the absolute values of it's $a$ and $b$ as small as possible, which makes the $3/2$ factorization look much better. But I feel the unit in that factorization is misleading because $5$ is a positive number, not a negative number. I think if a unit is included in a factorization, it should give you an idea as to what side of $0$ (or in what quadrant, in the case of a imaginary ring) the composite number is.

So I'm going to have to say the $7/2$ factorization is more valid, in my opinion.

Answer 3

Fundamental units provide an important clue to this vexing question, but they also provide a red herring.

If $u$ is the fundamental unit in $\mathbb{Z}\left[\frac{1 + \sqrt{29}}{2}\right]$ and $p$ is a prime such that $|N(p)| = 5$, then it is $\pm u^n p$ that will lead us to all the other factorizations of $5$, not $\pm up^n$ (this is the red herring).

Then we must look to see if there is another property of $u$ that we can try to carry over to $p$. There is. If $u$ is the fundamental unit, then it is the smallest unit greater than $1$. Verify this numerically: $$u = \frac{5 + \sqrt{29}}{2} \approx 5.192582403567252.$$

See then that $$p = \frac{3 + \sqrt{29}}{2} \approx 4.192582403567252$$ but $$p = \frac{7 + \sqrt{29}}{2} \approx 6.192582403567252.$$ The first $p$ is closer to $1$ than the second $p$. Therefore the more valid factorization is $$(-1) \left( \frac{3 - \sqrt{29}}{2} \right) \left( \frac{3 + \sqrt{29}}{2} \right) = 5.$$

Answer 4

In $\mathbb{Z}^+$, if $n > 1$ and $n = ab$, we expect that $n > a$ or $n > b$, maybe both. Our choices for $a$ and $b$ are considerably limited if $n$ is prime. With $n$ composite, we can choose $a$ and $b$ such that both $n > a$ and $n > b$ are true. When we broaden our view to all of $\mathbb{Z}$, we can make similar statements: if $|n| > 1$ and $n = ab$, then $|n| > |a|$ or $|n| > |b|$, maybe both.

In a ring like $\mathcal{O}_{\mathbb{Q}(\sqrt{29})}$, we can make $a$ or $b$ arbitrarily large. One of the comments to another answer alludes to the formula $$\left(\frac{5}{2} + \frac{\sqrt{29}}{2}\right)^k \left(\frac{3}{2} + \frac{\sqrt{29}}{2}\right),$$ with $k \in \mathbb{Z}$. But is it possible to choose $ab = 5$ such that both $|a| < 5$ and $|b| < 5$ hold true? In fact, ignoring multiplication by $-1$, there is only one possible choice: $$\left(-\frac{3}{2} + \frac{\sqrt{29}}{2}\right) \left(\frac{3}{2} + \frac{\sqrt{29}}{2}\right).$$ Any other choice can make $a$ very small, but $b$ concomitantly much larger than $5$. From this it is much easier to arrive at $$5 = (-1)\left(\frac{3}{2} - \frac{\sqrt{29}}{2}\right) \left(\frac{3}{2} + \frac{\sqrt{29}}{2}\right)$$ than it is to get to the factorization involving $\frac{7}{2}$. For this reason, I think the factorization with $\frac{3}{2}$ is more valid.

Answer 5

I hesitated to answer because I thought I'd have to invent a scale with which to weigh factorizations by validity, and you might disagree with my priorities for the scale. Plus I have to define a bunch of terms, like "unnecessary," and you might not agree with my definitions. But then I thought the worst that could happen is that you and a few others downvote my answer, so here goes.

Given multiple factorizations that differ by multiplication by units, weigh them according to the following priorities:

1. In the highest priority, the factorization contains no unnecessary multiplication by units. For example, $-6 = (-1)^{756478254} \times 2 \times 3$ has unnecessary units, but $-6 = (-1) \times 2 \times 3$ does not. Also, no unnecessary divisions that get canceled out by unnecessary factors. For example, do $(\sqrt{29})^2$ but not $$\left(\frac{0}{2} + \frac{2\sqrt{29}}{2}\right)^2.$$
2. If it can be done while also satisfying the highest priority, the next priority is that the factorization conveys as much information as possible about the forms algebraic integers may take in the ring at hand, including, but not limited to, the presence of integers with negative norms and the presence of integers of the form $$\sum_{i = 1}^n \frac{a_i \theta^{i - 1}}{n},$$ where $n$ is the algebraic degree of $\theta$, and each $a_i \in \mathbb{Z}$.
3. With the above priorities satisfied, the absolute value of each $a_i$ is the smallest possible.

Maybe you think I have my priorities backwards. Maybe you completely disagree with my concept and you hope an answer much better than the ones you've gotten so far comes along.

But if you agree with these priorities, then $$(-1)\left(\frac{3}{2} - \frac{\sqrt{29}}{2}\right)\left(\frac{3}{2} + \frac{\sqrt{29}}{2}\right) = 5$$ is the more valid factorization, by a nose.

1. Both of the factorizations you presented satisfy the first priority.
2. Only the first factorization you presented conveys the fact that numbers in $\mathcal{O}_{\mathbb{Q}(\sqrt{29})}$ can have negative norms, though both convey the fact that numbers in this domain can be of the form $$\frac{a_1}{2} + \frac{a_2\sqrt{29}}{2}.$$
3. In both factorizations $|a_2| = 1$, but $|a_1|$ in the first factorization is smaller.