Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Consider the set $S$ of all integers of the form $f(x,y) + f(z,w)$, where $x,y,z,w$ are integers, $$ f(x,y) = a x^2 + b x y + a^2 y^2,$$ and $a,b$ are integers with $$a > 1, \; \; 0 < b < 2 a^{3/2}, \; \; \gcd(a,b)=1. $$ How could one prove the set $S$ is closed under multiplication? I have tried the bashy brute force method, but to no avail. Perhaps someone could help?

Note: true if $f$ reduces to the principal form, also true for $f(x,y) = 3 x^2 + 8 x y + 9 y^2,$ result Noam Elkies. Also, by itself the set of numbers represented by the binary $f(x,y)$ is multiplicative, as $f$ is of order 3 in the class group. Indeed the real question is order three, I just felt this way saved time.

share|cite|improve this question

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.