Vecteur isotropeEn mathématiques, un vecteur isotrope pour une forme bilinéaire f est un vecteur x tel que f(x, x) = 0. Soient E un espace vectoriel et f une forme bilinéaire symétrique sur E. On dit qu'un vecteur x de E est isotrope (pour f, ou pour la forme quadratique associée) si f(x, x) = 0. L'ensemble des vecteurs isotropes est appelé le cône isotrope. Il contient le noyau de f. Au cône isotrope, on associe une quadrique projective. La forme bilinéaire est dite définie — et la forme quadratique est dite anisotrope — si 0 est son seul vecteur isotrope.
Forme sesquilinéaireEn algèbre, une forme sesquilinéaire sur un espace vectoriel complexe E est une application de E × E dans C, linéaire selon l'une des variables et semi-linéaire par rapport à l'autre variable. Elle possède donc une propriété de « un-et-demi » linéarité (cf. préfixe sesqui, qui signifie "dans un rapport de un et demi"). C'est l'équivalent complexe des formes bilinéaires réelles. Les formes sesquilinéaires les plus étudiées sont les formes hermitiennes qui correspondent aux formes bilinéaires (réelles) symétriques.
Idéal principalEn mathématiques, plus particulièrement dans la théorie des anneaux, un idéal principal est un idéal engendré par un seul élément. Soit A un anneau. Un idéal à droite I est dit principal à droite s'il est égal à l'idéal à droite engendré par un élément a, c'est-à-dire si I = aA := { ax | x ∈ A }. Un idéal à gauche I est dit principal à gauche s'il est égal à l'idéal à gauche engendré par un élément a, c'est-à-dire si I = Aa := { xa | x ∈ A }.
Degenerate bilinear formIn mathematics, specifically linear algebra, a degenerate bilinear form f (x, y ) on a vector space V is a bilinear form such that the map from V to V∗ (the dual space of V ) given by v ↦ (x ↦ f (x, v )) is not an isomorphism. An equivalent definition when V is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero x in V such that for all A nondegenerate or nonsingular form is a bilinear form that is not degenerate, meaning that is an isomorphism, or equivalently in finite dimensions, if and only if for all implies that .
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
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.
Quaternions de HurwitzLes quaternions de Hurwitz portent ce nom en l'honneur du mathématicien allemand Adolf Hurwitz. Soit A un anneau. On definit l'algèbre de quaternions H(A) comme l'algèbre A[H] du groupe H des quaternions. Plus explicitement, c'est le A-module libre engendré par 1, i, j et k, muni de la structure d'algèbre : 1 élément neutre pour la multiplication, et les identités : Soit , l'algèbre des quaternions sur l'anneau Z des entiers relatifs.
Théorème fondamental de l'arithmétiqueEn mathématiques, et en particulier en arithmétique élémentaire, le théorème fondamental de l'arithmétique ou théorème de décomposition en produit de facteurs premiers s'énonce ainsi : tout entier strictement positif peut être écrit comme un produit de nombres premiers d'une unique façon, à l'ordre près des facteurs. Par exemple, nous pouvons écrire que : = 2 × 3 × 17 ou encore = 2 × 3 × 5 et il n'existe aucune autre factorisation de ou sous forme de produits de nombres premiers, excepté par réarrangement des facteurs ci-dessus.
InvariantEn mathématiques, le mot invariant possède suivant le contexte différentes significations (non équivalentes). Il est utilisé aussi bien en géométrie et en topologie qu'en analyse et en algèbre. Si g : E→E est une application, un invariant de g est un point fixe, c'est-à-dire un élément x de E qui est sa propre image par g : Pour une telle application g, une partie P de E est dite : invariante point par point si tous ses éléments sont des points fixes ; globalement invariante par g, ou stable par g, si , c'est-à-dire : (cette propriété est moins forte que la précédente).
Ernst WittNOTOC Ernst Witt ( à Als - à Hambourg) est un mathématicien allemand. Son père étant missionnaire, il part en Chine pour ne revenir en Europe qu'en 1920. Il étudie à l'université de Fribourg-en-Brisgau. Il s'inscrit aux SA en 1933. En 1936 il obtient, encadré par Emmy Noether à l'université de Göttingen, son doctorat dont le sujet porte sur le théorème de Riemann-Roch. Il enseigne alors jusqu'en 1937 à l'université de Hambourg. Les travaux de Witt portent surtout sur l'algèbre et les formes quadratiques.
