10.07.2015 Views

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

214 In<strong>de</strong>xKKloosterman sum . . . . . . . . . . 98, 114Divisibility . . . . . see Divisibility ofKloosterman sumsGeneric search algorithm . . . . . 121using elliptic curves . . . . . . . . 114Value 0 . . . . . . . . . . . . . . . 122Value 4 . . . . . . . . . . . . . 122, 124Kronecker congruence relation . . 149, 179Kronecker symbol . . . . . . . . . 105, 145LLaguerre polynomial . . . . . . . . . . . 74Lattice . . . . . . . . . . . . . . . . 103, 175Frobenius basis . see Symplectic basisin the complex numbers . . . . . 140Multiplier ring . . . . . . . . . 140, 143Period matrix . . . . . . . . . . . 163Symplectic basis . . . . . . . . . . 163Local field . . . . . . . . . . . . . . . . 138Lyndon word . . . . . . . . . . . . . . . 88MMain theorem of complex multiplicationfor elliptic curves . . . . . . . . . 152over the rationals . . . . . . . . . 180over the reflex field . . . . . . . . 179Mesnager criterion I . . . . . . . . . . 111using elliptic curves . . . . . . . . 115Mesnager criterion II . . . . . . . . . . 113using hyperelliptic curves . . . 117, 118Modular function . . . . . . . 142, 149, 153Modular group . . . . . . . . . . . . . 141Modular integerBinary not . . . . . . . . . . . . . . 22Block splitting pattern . . . . . 35, 37Carries . . . . . . . . . . . . . . . . 23Hamming weight . . . . . . . . . . 21Length . . . . . . . . . . . . . . . . 80Modular polynomial . . . . . . . . . . 154MorphismDegree . . . . . . . . . . . . . . . 133Inseparable . . . . . . . . . . . . . 133Ramification in<strong>de</strong>x . . . . . . . . 133Separable . . . . . . . . . . . . . 133Multinomial coefficient . . . . . . . . . . 48NN-systems . . . . . . . . . . . . . . . . 153Necklace . . . . . . . . . . . . . . . . . . 88Aperiodic necklace . see Lyndon wordIterative generation . . . . . . . . . 89Normalization kernel . . . . . . . . . . 169Number field . . . . . . . . . . . . . . 103Imaginary quadratic . . . . . . . 103Ring of integers . . . . . . . . . . 143OOr<strong>de</strong>r . . . . . . . . . . . . . . . . . . 103Codifferent . . . . . . . see Trace dualConductor . . . . . 105, 143, 169, 172Discriminant . . . . . . . . . . . . 105in an imaginary quadratic field105, 143Integral closure . . . . . . . . . . 168Maximal . . . . . . . . . . . . . . 160Normalization . . see Integral closurePPairing . . . . . . . . . . . . . . . 136, 155Ate pairing . . . . . . . . . . . . . 155Eta pairing . . . . . . . . . . . . . 155Tate pairing . . . . . . . . . . . . 136Weil pairing . . . . . . . . . . 137, 156Perfect field . . . . . . . . . . . . . . . . 99Pochhammer symbol . . . . . . . . . . . 68Poincaré upper halfplane . . . . . . . 140Fundamental domain . . . . . . . 141Point countingl-adic algorithms . . . . . . . . . 107SEA algorithm . . . . . . . . . 107p-adic algorithms . . . . . . . . . 107Canonical lift methods . . . 107, 121Cohomological methods . . . . 107Deformation theory methods . 107Proved cases of the Tu–Deng conjectureAsymptotic case . . . . . . . . . . . 68Cyclotomic case . . . . . . . . . . . 33Extremal case . . . . . . . . . . 45, 46One block case . . . . . . . . . . . . 39Tang–Carlet–Tang conjecture . . . 24Two blocks case . . . . . . . . . . . 45Zero case . . . . . . . . . . . . . . . 30QQuaternion algebra . . . . . . . . . . . 103RReflex field . . . . . . . . . . . . . . . 173Riemann form . . . . . 162, 163, 165, 168Pfaffian . . . . . . . . . . . . . . . 163Rising factorial . . . . . . . . . . . . . . 68

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!