Théorème d'Euler (arithmétique)vignette|Leonhard Euler (1753) En mathématiques, le théorème d'Euler ou d'Euler-Fermat en arithmétique modulaire, publié en 1761 par le mathématicien suisse Leonhard Euler, s'énonce ainsi : Ce théorème est une généralisation du petit théorème de Fermat qui, lui, ne traite que le cas où n est un nombre premier. Il se démontre en remarquant que l'exposant λ(n) (appelé l'indicatrice de Carmichael de n) du groupe (Z/nZ) des inversibles de l'anneau Z/nZ est un diviseur de l'ordre φ(n) de ce groupe (cette propriété, commune à tous les groupes finis, se déduit du théorème de Lagrange sur les groupes).
Nombre de HeegnerEn théorie des nombres, un nombre de Heegner est un entier positif n sans facteur carré tel que l'anneau des entiers du corps quadratique imaginaire Q[i] est principal (ou encore : factoriel, ce qui ici est équivalent car l'anneau est de Dedekind). Le théorème de Stark-Heegner indique qu'il y a exactement neuf nombres de Heegner :1, 2, 3, 7, 11, 19, 43, 67 et 163 (). Ce résultat était conjecturé par Gauss et démontré, à quelques erreurs près, par Kurt Heegner en 1952.
Module indécomposableEn algèbre abstraite, un module est indécomposable s'il est non nul et ne peut pas être écrit comme une somme directe de deux sous-modules non nuls. L'indécomposabilité des modules est une notion plus faible que leur simplicité (qui est aussi parfois appelée irréductibilité). Une somme directe d'indécomposables est dite complètement décomposable, notion qui est donc plus faible que d'être semi-simple (somme directe de modules simples).
Nombre premier régulierEn mathématiques, un nombre premier p > 2 est dit régulier si une certaine propriété liée aux racines du polynôme X – 1 est vérifiée. Cette notion a été introduite par Ernst Kummer en 1847, en vue de démontrer le « dernier théorème de Fermat », dans un article intitulé . Un nombre premier impair p est dit régulier s'il ne divise pas le nombre de classes du corps cyclotomique Q(ζp), où ζp est une racine primitive p-ième de l'unité.
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 ».
Nombre irrationnelUn nombre irrationnel est un nombre réel qui n'est pas rationnel, c'est-à-dire qu'il ne peut pas s'écrire sous la forme d'une fraction a/b, où a et b sont deux entiers relatifs (avec b non nul). Les nombres irrationnels peuvent être caractérisés de manière équivalente comme étant les nombres réels dont le développement décimal n'est pas périodique ou dont le développement en fraction continue est infini. On distingue, parmi les nombres irrationnels, deux sous-ensembles complémentaires : les nombres algébriques non rationnels et les nombres transcendants.
Théorème d'Euclide sur les nombres premiersEn arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers. Ce résultat est énoncé et démontré dans les Éléments d'Euclide, c'est la proposition 20 du livre IX. Il y prend cependant une forme différente : « les nombres premiers sont plus nombreux que n'importe quelle multitude de nombres premiers proposée », plus compatible avec la conception de l'infini de l'auteur. D'autres preuves ont ensuite été proposées, notamment par Euler.
Fonction de MöbiusEn mathématiques, la fonction de Möbius désigne généralement une fonction multiplicative particulière, définie sur les entiers strictement positifs et à valeurs dans l'ensemble {–1, 0, 1}. Elle intervient dans la formule d'inversion de Möbius. Elle est utilisée dans des branches différentes des mathématiques. Vue sous un angle élémentaire, la fonction de Möbius permet certains calculs de dénombrement, en particulier pour l'étude des p-groupes ou en théorie des graphes.
Lemme de Gauss (polynômes)En mathématiques, le lemme de Gauss originel énonce que si un polynôme à coefficients entiers est produit de deux polynômes unitaires à coefficients rationnels, ceux-ci sont en fait nécessairement à coefficients entiers. Sa version moderne en est une double généralisation, remplaçant l'anneau des entiers par un anneau factoriel A, et stipulant que le produit de deux polynômes primitifs ( à coefficients premiers entre eux) est primitif. Elle permet de démontrer la factorialité de l'anneau A[X].
Windows code pageWindows code pages are sets of characters or code pages (known as character encodings in other operating systems) used in Microsoft Windows from the 1980s and 1990s. Windows code pages were gradually superseded when Unicode was implemented in Windows, although they are still supported both within Windows and other platforms, and still apply when Alt code shortcuts are used. There are two groups of system code pages in Windows systems: OEM and Windows-native ("ANSI") code pages. (ANSI is the American National Standards Institute.
