Nombre ordinalvignette|Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc. s'appellent des adjectifs numéraux ordinaux, et servent à préciser le rang d'un objet dans une collection, ou l'ordre d'un événement dans une succession.
Théorème d'existence de TakagiEn mathématiques et dans la théorie des corps de classes, le théorème d'existence de Takagi établit en partie que si K est un corps de nombres de groupe de classes G, il existe une unique extension abélienne L/K de groupe de Galois G telle que chaque idéal dans K devient principal dans L, et que L est l'extension abélienne non ramifiée maximale de K. Le théorème nous dit que le corps de classes de Hilbert conjecturé par Hilbert existe toujours, mais c'est Emil Artin et Philipp Furtwängler qui démontrèrent que cette apparaît.
Orbite héliocentriqueUne orbite héliocentrique est une orbite autour du Soleil. Plus précisément, un objet naturel ou manufacturé est dit « en [ou sur une] orbite héliocentrique » si sa trajectoire est, en première approximation, une conique (en général une ellipse) dont un foyer est le Soleil, sans que cet objet tourne autour d'un autre corps plus proche. Le périapside d'une orbite héliocentrique est appelée le périhélie, et son apoapside l'aphélie.
Discriminant d'un corps de nombresdroite|vignette|upright=1.6|Un domaine fondamental de l'anneau des entiers du corps K obtenu à partir de en adjoignant une racine de . Ce domaine fondamental se trouve à l'intérieur de . Le discriminant de K est 49 = 7. En conséquence, le volume du domaine fondamental est 7 et K n'est ramifié qu'en 7. En mathématiques, le discriminant d'un corps de nombres est un invariant numérique qui, moralement, mesure la taille de l'anneau des entiers de ce corps de nombres.
DiscriminantEn mathématiques, le discriminant noté , ou le réalisant noté , est une notion algébrique. Il est utilisé pour résoudre des équations du second degré. Il se généralise pour des polynômes de degré > 0 quelconque et dont les coefficients sont choisis dans des ensembles munis d'une addition et d'une multiplication. Le discriminant apporte dans ce cadre une information sur l'existence ou l'absence de racine multiple. Le discriminant est utilisé dans d'autres domaines que celui de l'étude des polynômes.
Excentricité orbitaleL’excentricité orbitale définit, en mécanique céleste et en mécanique spatiale, la forme des orbites des objets célestes. L'excentricité est couramment notée . Elle exprime l'écart de forme entre l'orbite et le cercle parfait dont l'excentricité est nulle. Lorsque , la trajectoire est fermée : l'orbite est périodique. Dans ce cas : lorsque , l'objet décrit un cercle et son orbite est dite circulaire ; lorsque , l'objet décrit une ellipse et son orbite est dite elliptique. Lorsque , la trajectoire est ouverte.
Théorie des corps de classesvignette|Les racines cinquièmes de l'unité dans le plan complexe. Ajouter ces racines aux nombres rationnels génère une extension abélienne. En mathématiques, la théorie des corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c'est-à-dire galoisiennes et de groupe de Galois commutatif, d'un corps commutatif donné. Plus précisément, il s'agit de décrire et de construire ces extensions en termes de propriétés arithmétiques du corps de base lui-même.
Nombres premiers entre euxvignette|Le segment ne passe par aucun point du réseau (hormis les points à ses extrémités), ce qui montre que 4 et 9 sont premiers entre eux. En mathématiques, on dit que deux entiers a et b sont premiers entre eux, que a est premier avec b ou premier à b ou encore que a et b sont copremiers (ou encore étrangers) si leur plus grand commun diviseur est égal à 1 ; en d'autres termes, s'ils n'ont aucun diviseur autre que 1 et –1 en commun. De manière équivalente, ils sont premiers entre eux s'ils n'ont aucun facteur premier en commun.
Adelic algebraic groupIn abstract algebra, an adelic algebraic group is a semitopological group defined by an algebraic group G over a number field K, and the adele ring A = A(K) of K. It consists of the points of G having values in A; the definition of the appropriate topology is straightforward only in case G is a linear algebraic group. In the case of G being an abelian variety, it presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawa numbers.
Union (mathématiques)Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base. En algèbre booléenne, l'union est associée à l'opérateur logique ou inclusif et est notée ∪. L'union de deux ensembles A et B est l'ensemble qui contient tous les éléments qui appartiennent à A ou appartiennent à B. On la note A ∪ B et on la dit « A union B » Formellement : Par exemple l'union des ensembles A = {1, 2, 3} et B = {2, 3, 4} est l'ensemble {1, 2, 3, 4}.
Calculatricethumb|Une pascaline. Inventée au , c'est la première machine à calculer. Une calculatrice ou calculette (terme souvent considéré comme péjoratif par les fabricants) est une machine conçue pour simplifier et fiabiliser des opérations de calcul. D'abord mécanique, puis électromécanique, la machine à calculer est devenue électronique dans les , avec l'introduction de la première machine à calculer électronique en 1961, suivie d'une miniaturisation accélérée des circuits intégrés.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
