Extension de groupesEn mathématiques, plus précisément en théorie des groupes, une extension de groupes est une manière de décrire un groupe en termes de deux groupes « plus petits ». Plus précisément, une extension d'un groupe Q par un groupe N est un groupe G qui s'insère dans une suite exacte courte Autrement dit : G est une extension de Q par N si (à isomorphismes près) N est un sous-groupe normal de G et Q est le groupe quotient G/N. L'extension est dite centrale si N est inclus dans le centre de G.
Racine carrée de cinqEn mathématiques, la racine carrée de cinq, notée ou 5, est un nombre réel remarquable ; c'est l'unique réel positif dont le carré est égal à 5. Il vaut approximativement 2,236. C'est un irrationnel quadratique et un entier quadratique (entier algébrique de degré 2). le nombre 5 ayant deux racines carrées réelles, devrait se prononcer « racine carrée positive de cinq », mais il se prononce habituellement « racine carrée de cinq », voire « racine de cinq » pour simplifier. Se prononçait aussi « radical de cinq ».
Représentation galoisienneLa théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.
Formal group lawIn mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups (or algebraic groups) and Lie algebras. They are used in algebraic number theory and algebraic topology.
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.
Quadruplet premierEn théorie des nombres, un quadruplet premier est une suite de quatre nombres premiers consécutifs de la forme (p, p+2, p+6, p+8). C'est la seule forme possible pour quatre nombres premiers consécutifs d'écarts entre eux minimaux, en dehors des quadruplets (2,3,5,7) et (3,5,7,11). Par exemple (5, 7, 11, 13) et (11, 13, 17, 19) sont des quadruplets premiers. Un quadruplet de nombres premiers impairs consécutifs a un écart entre le plus petit et le plus grand de ces nombres d'au moins 6, il ne peut être de 6 car le seul triplet de nombres premiers consécutifs de la forme (p, p+2, p+4) est (3, 5, 7) (voir triplet premier).
Classe traceEn mathématiques, un opérateur de classe trace, ou opérateur à trace, est un opérateur compact pour lequel on peut définir une trace au sens de l’algèbre linéaire, qui est finie et ne dépend pas de la base. En s’inspirant de la définition dans le cas de la dimension finie, un opérateur borné A sur un espace de Hilbert séparable est dit de classe trace si dans une certaine base hilbertienne {ek}k (et donc dans toutes) de H, la série à termes positifs suivante converge où (A* A) désigne la racine carrée de l' A* A.
Carré parfaitEn mathématiques, un carré parfait (ou nombre carré s'il est non nul, voire simplement carré s'il n'y a pas ambiguïté) est le carré d'un entier. Dans le système de numération décimal, le chiffre des unités d'un carré parfait ne peut être que 0, 1, 4, 5, 6 ou 9. En base douze, ces chiffres sont nécessairement 0, 1, 4 ou 9. Un carré parfait est le carré d'un entier naturel. Un nombre carré est un nombre polygonal (donc entier strictement positif) qui peut être représenté géométriquement par un carré de n × n points.
Pyramide à base carréeEn géométrie, une pyramide à base carrée est une pyramide avec une base carrée et quatre faces latérales triangulaires. Si les quatre faces triangulaires sont équilatérales, alors la pyramide est un solide de Johnson (J1), et peut être pensée comme la moitié d'un octaèdre. D'autres pyramides carrées ne sont pas semblables à ce solide de Johnson ; la pyramide de Khéops, par exemple, possède quatre faces triangulaires isocèles non équilatérales.
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
