Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Corps quasi-algébriquement closEn mathématiques, un corps K est dit quasi-algébriquement clos si tout polynôme homogène P sur K non constant possède un zéro non trivial dès que le nombre de ses variables est strictement supérieur à son degré, autrement dit : si pour tout polynôme P à coefficients dans K, homogène, non constant, en les variables X1, ..., XN et de degré d < N, il existe un zéro non trivial de P sur K, c'est-à-dire des éléments x1, ..., xN de K non tous nuls tels que P(x1, ..., xN) = 0.
Indice d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, si H est un sous-groupe d'un groupe G, l'indice du sous-groupe H dans G est le nombre de copies distinctes de H que l'on obtient en multipliant à gauche par un élément de G, soit le nombre des xH quand x parcourt G (on peut choisir en fait indifféremment de multiplier à gauche ou à droite). Les classes xH formant une partition, et la multiplication à gauche dans un groupe par un élément donné étant bijective, le produit de l'indice du sous-groupe H dans G par l'ordre de H égale l'ordre de G, ce dont on déduit, pour un groupe fini, le théorème de Lagrange.
Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.
Pseudo algebraically closed fieldIn mathematics, a field is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967. A field K is pseudo algebraically closed (usually abbreviated by PAC) if one of the following equivalent conditions holds: Each absolutely irreducible variety defined over has a -rational point. For each absolutely irreducible polynomial with and for each nonzero there exists such that and . Each absolutely irreducible polynomial has infinitely many -rational points.
Représentation irréductibleEn mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles. Dans le cas des groupes finis, les informations liés aux représentations irréductibles sont encodées dans la table de caractères du groupe.
Action par conjugaisonEn mathématiques, et plus précisément en théorie des groupes, une action par conjugaison est un cas particulier d'action de groupe. L'ensemble sur lequel agit le groupe G est ici G lui-même. En effet, aut∘aut = aut. Les classes de conjugaison sont utilisées pour la démonstration du théorème de Wedderburn stipulant que tout corps fini est commutatif. Dans le cadre de la théorie des représentations d'un groupe fini, les classes de conjugaison sont à la base de la définition des fonctions centrales d'un groupe fini, elles servent à définir l'espace vectoriel, les caractères des représentations.
Clôture algébriqueEn mathématiques, une clôture algébrique d'un corps commutatif K est une extension algébrique L de K qui est algébriquement close, c'est-à-dire telle que tout polynôme de degré supérieur ou égal à un, à coefficients dans L, admet au moins une racine dans L. Une clôture algébrique d'un corps K peut être vue comme une extension algébrique maximale de K. En effet, il suffit de remarquer que si L est une extension algébrique de K, alors une clôture algébrique de L est également une clôture algébrique de K, donc L est contenu dans une clôture algébrique de K.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Théorèmes de SylowEn théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
