Identité des quatre carrés d'EulerEn mathématiques, l'identité des quatre carrés d'Euler énonce que le produit de deux nombres, chacun étant la somme de quatre carrés, est lui-même une somme de quatre carrés. Précisément : Généralisant l'identité de Diophante obtenue pour , elle est utilisée en arithmétique modulaire. Le mathématicien suisse Leonhard Euler donne cette identité le (avec ε = 1), et de nouveau le (avec ε = ±1), dans deux lettres à Christian Goldbach. L'identité fut utilisée par Lagrange pour prouver son théorème des quatre carrés.
Théorème de Frobenius généraliséEn mathématiques, diverses versions de théorèmes de Frobenius généralisés ont étendu progressivement le théorème de Frobenius de 1877. Ce sont des théorèmes d'algèbre générale qui classifient les algèbres unifères à division de dimension finie sur le corps commutatif R des réels. Moyennant certaines restrictions, il n'y en a que quatre : R lui-même, C (complexes), H (quaternions) et O (octonions). Toutes les algèbres sont ici implicitement supposées unifères, et leur unicité s'entend à isomorphisme près.
Algèbre de quaternionsEn mathématiques, une algèbre de quaternions sur un corps commutatif K est une K-algèbre de dimension 4 qui généralise à la fois le corps des quaternions de Hamilton et l'algèbre des matrices carrées d'ordre 2. Pour être plus précis, ce sont les algèbres centrales simples sur K de degré 2. Dans cet article, on note K un corps commutatif (de caractéristique quelconque). On appelle algèbre de quaternions sur K toute algèbre (unitaire et associative) A de dimension 4 sur K qui est simple (c'est-à-dire que A et {0} sont les seuls idéaux bilatères) et dont le centre est K.
Nombre complexe déployéEn mathématiques, les nombres complexes déployés ou fendus forment un anneau commutatif non-intègre, extension des nombres réels définis de manière analogue aux nombres complexes (usuels). La différence-clef entre les deux est que la multiplication des nombres complexes (usuels) respecte la norme euclidienne standard (carrée) : sur alors que la multiplication des nombres complexes déployés, quant à elle, respecte la norme de Minkowski ou norme lorentzienne (carrée) Les nombres complexes déployés ont beaucoup d'autres noms, voir la section des synonymes ci-dessous.
Octonion déployéEn mathématiques, les octonions déployés ou octonions fendus sont une extension non associative des quaternions (ou des coquaternions). Ils diffèrent des octonions par la signature de la forme quadratique : les octonions déployés ont une signature mixte (4,4) alors que les octonions ont une signature définie positive (8,0). Les octonions et les octonions déployés peuvent être obtenus par la construction de Cayley–Dickson en définissant une multiplication sur les paires de quaternions.
CoquaternionEn mathématiques et en algèbre abstraite, un coquaternion est une idée mise en avant par James Cockle en 1849. Comme les quaternions de Hamilton inventés en 1843, ils forment un espace vectoriel réel à quatre dimensions muni d'une opération multiplicative. À la différence de l'algèbre des quaternions, les coquaternions peuvent avoir des diviseurs de zéro, des éléments idempotents ou nilpotents. L'ensemble forme une base. Les produits de coquaternion de ces éléments sont Avec ces produits l'ensemble est isomorphe au groupe diédral d'un carré.
ComplexificationIn mathematics, the complexification of a vector space V over the field of real numbers (a "real vector space") yields a vector space V^C over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include their scaling ("multiplication") by complex numbers. Any basis for V (a space over the real numbers) may also serve as a basis for V^C over the complex numbers. Let be a real vector space.
Algèbre d'octonionsEn mathématiques, une algèbre d'octonions sur un corps commutatif est une algèbre non associative de dimension 8 qui généralise l'algèbre des octonions de Cayley. Dans cet article, K désigne un corps commutatif (de caractéristique quelconque) et les algèbres ne sont pas supposées être associatives ou unitaires et elles sont supposées être de dimension finie. Par définition, une algèbre d'octonions sur K est une algèbre de composition de dimension 8 sur K. (Voir les propriétés élémentaires, voir l'article sur ces algèbres.
BiquaternionEn mathématiques, un biquaternion (ou quaternion complexe) est un élément de l'algèbre des quaternions sur les nombres complexes. Le concept d'un biquaternion fut mentionné la première fois par William Rowan Hamilton au . William Kingdon Clifford utilisa le même nom à propos d'une algèbre différente. biquaternion de Clifford Il y a aussi une autre notion de biquaternions, distincte : une algèbre de biquaternions sur un corps commutatif K est une algèbre qui est isomorphe au produit tensoriel de deux algèbres de quaternions sur K (sa dimension est 16 sur K, et non pas 8 sur R).
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.