Products of linear forms in 3 variables

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

We say that a linear form $f=ax+by+cz$ of real coefficients is "irrational" if $a,b,c$ are linearly independent over the rationals. My question is: Are there 3 such "irrational" linear forms $f_1,f_2,f_3$ such that the product $f_1f_2f_3$ is of integral coefficients?

Note that for the "2-dimensional" analogue, we have $(x+\sqrt{2}y)(x-\sqrt{2}y)=x^2-2y^2$.

-

2 Answers

This should be a comment to Robin's answer.

Take any irreducible polynomial $f \in \mathbb{Q}[x]$ of degree 3 with real roots, say $\alpha, \beta, \gamma$. Set $f_1 = x + \alpha y + \alpha^2 z$, $f_2 = x + \beta y + \beta^2 z$, $f_3 = x + \gamma y + \gamma^2 z$.

You can find plenty of polynomials here.

-

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

How about $x+2\cos(2\pi/7)y+4\cos^2(2\pi/7)z$, $x+2\cos(4\pi/7)y+4\cos^2(4\pi/7)z$, $x+2\cos(6\pi/7)y+4\cos^2(6\pi/7)z$ ?

-

Sorry, but we are saying real linear forms... – lonekite Aug 31 2010 at 16:18
Just take a totally real cubic field instead. Davenport studied such products a lot. – Franz Lemmermeyer Aug 31 2010 at 16:27
Could you give an explicit example or a reference? Thanks. – lonekite Aug 31 2010 at 16:33
@lonekite, Robin's forms are linear. The cosine terms are numerical coefficients of the indeterminates $y$ and $z$.  – Gerry Myerson Sep 1 2010 at 0:32
@Gerry: Yes, I understand. Robin first gave an example of complex linear forms with the same property, then revised it using the cosine function. Anyway, both Robin's example and felix' are very helpful to me. Thank you all. – lonekite Sep 1 2010 at 4:22
show 1 more comment
{"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": 15, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "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.8866252899169922, "perplexity_flag": "middle"}