Content deleted Content added
LucasBrown (talk | contribs) Added short description Tags: Mobile edit Mobile app edit Android app edit App description add |
|||
Line 45:
== Galois theory of the modular curve ==
The [[Galois theory]] of the modular curve was investigated by [[Erich Hecke]]. Considered as a polynomial in x with coefficients in {{math|'''Z'''[''y'']}}, the modular equation {{math|Φ<sub>0</sub>(''n'')}} is a polynomial of degree {{math|''ψ''(''n'')}} in {{mvar|x}}, whose roots generate a [[Galois extension]] of {{math|'''Q'''(''y'')}}. In the case of {{math|''X''<sub>0</sub>(''p'')}} with {{mvar|p}} prime, where the [[Characteristic (algebra)|characteristic]] of the field is not {{mvar|p}}, the [[Galois group]] of {{math|'''Q'''(''x'', ''y'')/'''Q'''(''y'')}} is {{math|PGL(2, ''p'')}}, the [[projective linear group|projective general linear group]] of [[Möbius transformation|linear fractional transformations]] of the [[projective line]] of the field of {{mvar|p}} elements, which has {{math|''p'' + 1}} points, the degree of {{math|''X''<sub>0</sub>(''p'')}}.
This extension contains an algebraic extension {{math|''F''/'''Q'''}} where if <math>p^* = (-1)^{(p-1)/2}p</math> in the notation of [[Quadratic reciprocity#Gauss.27s version in Legendre symbols|Gauss]] then:
| |||