Classe caractéristiqueUne classe caractéristique est un objet mathématique défini et étudié notamment en topologie algébrique et en K-théorie, afin de différencier les fibrés vectoriels. De telles classes sont aujourd'hui comprises comme des invariants cohomologiques. La notion de classe caractéristique répond à une tentative de classification. Plus précisément, si est un fibré vectoriel, une classe caractéristique de est une classe dans la cohomologie de la base qui vérifie la condition suivante, dite de compatibilité : pour toute application continue , on a où est le fibré vectoriel induit sur par .
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Involution (mathématiques)En mathématiques, une involution est une application bijective qui est sa propre réciproque, c'est-à-dire par laquelle chaque élément est l'image de son image. C'est le cas par exemple du changement de signe dans l'ensemble des nombres réels, ou des symétries du plan ou de l'espace en géométrie euclidienne. En algèbre linéaire, les endomorphismes involutifs sont d'ailleurs appelés symétries. Des involutions apparaissent dans de nombreux domaines des mathématiques, notamment en combinatoire et en topologie.
Groupe de Galois absoluEn mathématiques, le groupe de Galois absolu d'un corps commutatif K est le groupe de Galois d'une clôture séparable (extension algébrique séparable maximale, nécessairement normale donc galoisienne) Ksep du corps K. Dans le cas d'un corps parfait (et donc en particulier en caractéristique nulle), une clôture séparable coïncide avec une clôture algébrique. La compréhension du groupe de Galois absolu du corps des nombres rationnels est un problème important en théorie algébrique des nombres.
Polynôme caractéristiqueEn mathématiques, et plus particulièrement en algèbre linéaire, à toute matrice carrée à coefficients dans un anneau commutatif ou à tout endomorphisme d'un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d'importantes informations sur la matrice ou sur l'endomorphisme, comme ses valeurs propres, son déterminant et sa trace. Le théorème de Cayley-Hamilton assure que toute matrice carrée annule son polynôme caractéristique.
Divisionvignette|Division en tant que partage. Illustration de 20÷4 : partage d'un ensemble de 20 pommes en 4 parts égales. La division est une opération mathématique qui, à deux nombres a et b, associe un troisième nombre (loi de composition interne), appelé quotient ou rapport, et qui peut être notée : a : b ; a ÷ b (obélus) ; a / b (barre oblique, fraction en ligne) ; (fraction). Dans une première approche, on peut voir la quantité a÷b comme une séparation de la quantité a en b parts égales.
Semigroup with involutionIn mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse.
Cohomologie galoisienneEn mathématiques, la cohomologie galoisienne est l'étude de l'action d'un groupe de Galois sur certains groupes, par des méthodes cohomologiques. Elle permet d'obtenir des résultats à la fois sur le groupe de Galois agissant, et sur le groupe sur lequel il agit. En particulier, le groupe de Galois d'une extension de corps de nombres L/K agit naturellement par exemple sur le groupe multiplicatif L, mais aussi sur le groupe des unités de l'anneau des entiers du corps L, ou sur son groupe des classes.
Resolvent (Galois theory)In Galois theory, a discipline within the field of abstract algebra, a resolvent for a permutation group G is a polynomial whose coefficients depend polynomially on the coefficients of a given polynomial p and has, roughly speaking, a rational root if and only if the Galois group of p is included in G. More exactly, if the Galois group is included in G, then the resolvent has a rational root, and the converse is true if the rational root is a simple root. Resolvents were introduced by Joseph Louis Lagrange and systematically used by Évariste Galois.
Décomposition des idéaux premiers dans les extensions galoisiennesEn mathématiques, l'interaction entre le groupe de Galois G d'une extension galoisienne de corps de nombres L/K (ou de corps de nombres p-adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l'anneau O des entiers se décomposent sous forme de produits d'idéaux premiers de O, est à la base de nombreux développements fructueux en théorie algébrique des nombres. Le cas d'une extension non nécessairement galoisienne est traitée dans l'article « Décomposition des idéaux premiers ».