A propos de la relation galoisienne x1=x2+x3
Franck Lalande1
1 38, grande rue 89140 Gisy les nobles, France
Journal de théorie des nombres de Bordeaux, Tome 22 (2010) no. 3, pp. 661-673.

L’existence d’un polynôme f, irréductible sur un corps k de caractéristique 0 et dont trois racines vérifient la relation linéaire x1=x2+x3, ne dépend que de la paire de groupes finis (G,H) où G=Galk(f) et H⊂G est le fixateur d’une racine. Le cas régulier (H=1) est désormais assez bien décrit. On démontre dans ce texte que pour de nombreuses paires (G,H) primitives (H sous-groupe maximal de G) et en particulier pour toutes celles de degré ≤50, la relation x1=x2+x3 n’est pas réalisable.

En appendice, Joseph Oesterlé démontre que cette relation linéaire est réalisable pour la paire (G,1) dès que 6 divise l’ordre de G.

About the Galois relation x1=x2+x3

Let k be a field of characteristic 0. The existence of an irreducible polynomial f over k whose roots satisfy the linear relation x1=x2+x3 exclusively depends on the pair (G,H) where G=Galk(f) and H⊂G is the stabilizer of one root. The regular case (H=1) is now well understood. In the present paper, we consider the primitive case (H maximal subgroup of G) and show that we can’t find this linear relation when the pair (G,H) is primitive of a degree ≤50.

An appendix of Joseph Oesterlé shows that we can find this relation for any pair (G,1) in which 6 divides the order of G.

DOI : 10.5802/jtnb.738

Franck Lalande 1

1 38, grande rue 89140 Gisy les nobles, France 
@article{JTNB_2010__22_3_661_0,
     author = {Franck Lalande},
     title = {A propos de la relation galoisienne $x_1=x_2+x_3$},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {661--673},
     publisher = {Universit\'e Bordeaux 1},
     volume = {22},
     number = {3},
     year = {2010},
     doi = {10.5802/jtnb.738},
     mrnumber = {2769337},
     zbl = {1254.12007},
     language = {fr},
     url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.738/}
}
TY  - JOUR
AU  - Franck Lalande
TI  - A propos de la relation galoisienne $x_1=x_2+x_3$
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2010
SP  - 661
EP  - 673
VL  - 22
IS  - 3
PB  - Université Bordeaux 1
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.738/
DO  - 10.5802/jtnb.738
LA  - fr
ID  - JTNB_2010__22_3_661_0
ER  - 
%0 Journal Article
%A Franck Lalande
%T A propos de la relation galoisienne $x_1=x_2+x_3$
%J Journal de théorie des nombres de Bordeaux
%D 2010
%P 661-673
%V 22
%N 3
%I Université Bordeaux 1
%U https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.738/
%R 10.5802/jtnb.738
%G fr
%F JTNB_2010__22_3_661_0
Franck Lalande. A propos de la relation galoisienne $x_1=x_2+x_3$. Journal de théorie des nombres de Bordeaux, Tome 22 (2010) no. 3, pp. 661-673. doi : 10.5802/jtnb.738. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.738/

[1] J. D. Dixon, Polynomials with relations between their roots. Acta Arithmetica 82.3 (1997), 293–302. | MR | Zbl

[2] J. D. Dixon, Permutation representations and rationnal irreducibility. Bull. Austral. Math. Soc. 71 (2005), 493–503. | MR | Zbl

[3] The GAP Group, GAP–Groups, Algorithms, and Programming. Version 4.4.11 (2008) (http ://www.gap-system.org).

[4] K. Girstmair, Linear relations between roots of polynomials. Acta Arithmetica 89.1 (1999), 53–96. | MR | Zbl

[5] K. Girstmair, The Galois relation x1=x2+x3 and Fermat over finite fields. Acta Arithmetica 124.4 (2006), 357–370. | MR | Zbl

[6] K. Girstmair, The Galois relation x1=x2+x3 for finite simple groups. Acta Arithmetica 127.3 (2007), 301–303. | MR | Zbl

[7] F. Lalande, Relations linéaires entre les racines d’un polynôme et anneaux de Schur. Ann. Sci. Math. Québec 27.2 (2003), 169–175. | MR | Zbl

[8] F. Lalande, La relation linéaire a=b+c+...+t entre les racines d’un polynôme. J. Théorie des Nombres de Bordeaux 19 (2007), 473–484. | Numdam | MR | Zbl

Cité par Sources :