Entier quadratiqueEn mathématiques, un entier quadratique est un nombre complexe, racine d'un polynôme unitaire du second degré à coefficients entiers. La notion de nombre algébrique de degré inférieur ou égal à 2 est plus générale : elle correspond à un nombre complexe, racine d'un polynôme du second degré à coefficients seulement rationnels. Ces nombres particuliers disposent de propriétés algébriques.
Group isomorphismIn abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Isomorphisme de catégoriesEn théorie des catégories, deux catégories et sont isomorphes s'il existe deux foncteurs F : → et G : → tels que l'un est inverse de l'autre, c'est-à-dire tels que FG = 1D (le foncteur identité de ) et GF = 1C. Cette notion, assez restrictive, peut être élargie en la notion d'équivalence de catégories. Soit la catégorie des espaces topologiques munis d'une topologie d'Alexandroff, et la catégorie des ensembles munis d'un préordre.
Classification des groupes simples finisEn mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples. En tout, cet ensemble comprend des dizaines de milliers de pages publiées dans 500 articles par plus de 100 auteurs.
Morphisme d'anneauxUn morphisme d'anneaux est une application entre deux anneaux (unitaires) A et B, compatible avec les lois de ces anneaux et qui envoie le neutre multiplicatif de A sur le neutre multiplicatif de B. Un morphisme d'anneaux est une application f entre deux anneaux (unitaires) A et B qui vérifie les trois propriétés suivantes : Pour tous a, b dans A : f(a + b) = f(a) + f(b) f(a ∙ b) = f(a) ∙ f(b) f(1A) = 1B.
Théorie de GaloisEn mathématiques et plus précisément en algèbre, la théorie de Galois est l'étude des extensions de corps commutatifs, par le biais d'une correspondance avec des groupes de transformations sur ces extensions, les groupes de Galois. Cette méthode féconde, qui constitue l'exemple historique, a essaimé dans bien d'autres branches des mathématiques, avec par exemple la théorie de Galois différentielle, ou la théorie de Galois des revêtements. Cette théorie est née de l'étude par Évariste Galois des équations algébriques.
Théorème de WittEn algèbre, le théorème de Witt est un résultat sur lequel s'appuie toute la théorie des formes quadratiques. Il permet en effet de classifier les formes quadratiques sur un corps K donné et fonde la définition du groupe de Witt de K. À proprement parler il existe plusieurs énoncés qui sont qualifiés de théorèmes de Witt : pour préciser, on les appelle théorèmes de décomposition, d'extension et d'annulation de Witt. Dans ce faisceau de résultats, obtenus par Ernst Witt en 1937, c'est le théorème d'annulation qui est le plus souvent appelé le théorème de Witt.
Théorie des invariantsEn mathématiques, la théorie des invariants, initiée et développée en particulier par Arthur Cayley, James Joseph Sylvester, Charles Hermite, Paul Gordan et de nombreux autres mathématiciens, est l'étude des invariants des formes algébriques (de façon équivalente, des tenseurs symétriques) pour les actions de groupe lors des transformations linéaires. À la fin du , elle est au centre d'un important effort de recherche lorsqu'il apparaît qu'elle pourrait être la clé de voûte en algorithmique (en compétition avec d'autres formulations mathématiques de l'invariance de la symétrie).
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.
Semi-simplicityIn mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, , and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. For example, if G is a finite group, then a nontrivial finite-dimensional representation V over a field is said to be simple if the only subrepresentations it contains are either {0} or V (these are also called irreducible representations).
