1

Here's my problem:

(a) Show that the set of integers, which can be written as $a^2+ab+b^2$ for some $a,b \in \mathbb{Z}$ is a multiplicative submonoid of $\mathbb{Z}$;

(b) Explain how all the couples $(a,b)$ which satisfy $a^2+ab+b^2 = 182$ can be found, paying attention to determine in particular how many these couples are.

Thank you very much!

Bill Dubuque
  • 282,220
Linduska
  • 145

1 Answers1

2

Hint $\ a^2+ab+b^2 \ $ is the norm of an Eisenstein integer $\,a-b\,\zeta,\,$ so the multiplicativity of integers of this form follows from the $\rm\color{#c00}{multiplicativity}$ of the norm of Eisenstein integers, i.e.

$$ \color{#c00}{N(\alpha)N(\beta)} = \alpha\bar\alpha\,\beta\bar\beta = \alpha\beta\,\bar\alpha\bar\beta = \alpha\beta\,\overline{\alpha\beta} = \color{#c00}{N(\alpha\beta)}\qquad$$

It is an Eisenstein-integer analog of the well-known Brahmagupta–Fibonacci identity below, which arises from norm multiplicativity for quadratic integers $\,a+b\sqrt{- n}\in \Bbb Z[\sqrt{-n}],\,$ i.e.

$$\ \ \begin{eqnarray} N(\alpha)N(\beta) &=& N(\alpha\beta)\\[.2em] (a_1^2 + nb_1^2)\ (a_2^2 + nb_2^2) & =& \!(a_1a_2\pm nb_1b_2)^2 + n(a_1b_2\mp a_2b_1)^2 \end{eqnarray}$$

The upper $\,\pm\,$ signs are from $\ N(\alpha)\:\!N(\bar\beta) = N(\alpha\bar \beta)\:$.

Because the norm map is multiplicative it preserves many properties related to factorization. For example, in many favorable contexts (e.g. Galois) a number ring enjoys unique factorization iff its monoid of norms does. For further interesting examples see the papers of Bumby, Dade, Lettl, Coykendall cited in this answer.

Bill Dubuque
  • 282,220
  • Generalization $\ (ax^2+by^2) (ai^2+bj^2)= (aix!+!bjy)^2\ !!+ ab,(iy!-!jx)^2\ \ $ – Bill Dubuque May 08 '24 at 23:24
  • Did you mean $\sqrt n$ where you typed $\sqrt d$? – J. W. Tanner May 08 '24 at 23:48
  • So to be concrete, $(a-b\zeta) (c-d\zeta) = ac - (ad+bc)\zeta + bd\zeta^2 = (ac-bd) - (ad+bc+bd)\zeta$, so you should get $(a^2+ab+b^2) (c^2+cd+d^2) = (ac-bd)^2 + (ac-bd)(ad+bc+bd) + (ad+bc+bd)^2$. (Of course, the original problem was almost certainly meant to be solved more in terms of norms of Eisenstein integers as opposed to just coming up with the final identity by guessing.) – Daniel Schepler May 08 '24 at 23:50
  • also, isn't $N(a+b\sqrt n)=a^2\color{red}-nb^2$? – J. W. Tanner May 09 '24 at 00:05