Formule genre-degréEn géométrie algébrique, la formule genre - degré est une équation reliant le degré d d'une courbe plane irréductible avec son genre arithmétique g par la formule : Ici « courbe plane » signifie que est une courbe fermée dans le plan projectif . Si la courbe est non singulière, le genre géométrique et le genre arithmétique sont égaux, mais si la courbe est singulière, avec seulement des singularités ordinaires, le genre géométrique a priori est plus petit. Plus précisément, une singularité ordinaire de multiplicité r diminue le genre de .
Fonction à trappevignette|Représentation d'une fonction à trappe. Il est facile d'évaluer la fonction mais son inversion est complexe sauf si la clé t est connue. En cryptologie, une fonction à trappe ou TDF (pour l'anglais trapdoor function) est un modèle idéalisé permettant de raisonner à propos de systèmes cryptographiques. En première approche, il s'agit d'une fonction qu'il est facile d'évaluer en chaque point de son domaine, mais qu'il est difficile d'inverser à moins de disposer d'une information particulière, appelée « trappe ».
Géométrie arithmétiquevignette|Exemples de figures géométriques: un cône et un cylindre. La géométrie arithmétique est une branche de la théorie des nombres, qui utilise des outils de géométrie algébrique pour s'attaquer à des problèmes arithmétiques. Quelques exemples de questions qui peuvent se poser : Si on sait trouver des racines d'une équation polynomiale dans toutes les complétions d'un corps de nombres, peut-on en déduire que cette équation a des racines sur ce corps ? On sait répondre à la question dans certains cas, on sait que la réponse est non dans d'autres cas, mais on pense (c'est une conjecture) connaître l'obstruction et donc savoir reconnaître quand cela fonctionne.
Logarithme binaireEn mathématiques, le logarithme binaire (log2 n) est le logarithme de base 2. C’est la fonction réciproque de la fonction puissance de deux : x ↦ 2x. Le logarithme binaire de x est la puissance à laquelle le nombre 2 doit être élevé pour obtenir la valeur x, soit : . Ainsi, le logarithme binaire de 1 est 0, le logarithme binaire de 2 est 1, le logarithme binaire de 4 est 2, le logarithme binaire de 8 est 3. On le ld () (pour logarithmus dualis), mais la norme ISO 80000-2 indique que log2(x) devrait être symbolisé par lb (x).
Restriction de WeilEn géométrie algébrique, la restriction de Weil est un -schéma, issu d'un -schéma et d'un morphisme de schémas . On s'intéresse souvent au cas où est une extension finie . La restriction porte le nom d'André Weil. est la catégorie duale de la catégorie des -schémas. Soit un morphisme de schémas. Pour un -schéma considérons le foncteur contravariant Si le foncteur est représentable, alors le -schéma correspondant est appelé la restriction de Weil de par rapport à , qui peut aussi être noté par . Catégorie:G
Hidden subgroup problemThe hidden subgroup problem (HSP) is a topic of research in mathematics and theoretical computer science. The framework captures problems such as factoring, discrete logarithm, graph isomorphism, and the shortest vector problem. This makes it especially important in the theory of quantum computing because Shor's quantum algorithm for factoring is an instance of the hidden subgroup problem for finite Abelian groups, while the other problems correspond to finite groups that are not Abelian.
Algèbre de HeytingEn mathématiques, une algèbre de Heyting est une structure algébrique introduite en 1930 par le mathématicien néerlandais Arend Heyting pour rendre compte formellement de la logique intuitionniste de Brouwer, alors récemment développée. Les algèbres de Heyting sont donc pour la logique intuitionniste analogue à ce que sont des algèbres de Boole pour la logique classique : un modèle formel permettant d'en fixer les propriétés.
Complete Heyting algebraIn mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Complete Heyting algebras are the of three different ; the category CHey, the category Loc of locales, and its , the category Frm of frames. Although these three categories contain the same objects, they differ in their morphisms, and thus get distinct names. Only the morphisms of CHey are homomorphisms of complete Heyting algebras.
Spectral spaceIn mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos. Let X be a topological space and let K(X) be the set of all compact open subsets of X. Then X is said to be spectral if it satisfies all of the following conditions: X is compact and T0. K(X) is a basis of open subsets of X. K(X) is closed under finite intersections. X is sober, i.e.
