Description
Soit k un corps de nombres. En théorie des nombres, on s'intéresse souvent au problème de compter les extensions de k de degré n fixé, et de discriminant borné, en ajoutant éventuellement des conditions sur la clôture de leur groupe de Galois.<br/> Après avoir rappelé rapidement quelques résultats connus, on va présenter un travail fait en collaboration avec Henri Cohen. Le but est de compter les classes d'isomorphisme d'extensions cubiques K sur k telles que la clôture du groupe de Galois contient une sous-extension quadratique K_2 fixée. On donne une formule asymptotique explicite pour ces classes, ordonnées par la norme de leur idéal discriminant relatif.<br/> L'instrument principal est la théorie de Kummer. Le cas des extensions cubiques cycliques peut être traitée avec des méthodes similaires.
Next sessions
-
CryptoVerif: a computationally-sound security protocol verifier
Speaker : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-