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.
Central simple algebraIn ring theory and related areas of mathematics a central simple algebra (CSA) over a field K is a finite-dimensional associative K-algebra A which is simple, and for which the center is exactly K. (Note that not every simple algebra is a central simple algebra over its center: for instance, if K is a field of characteristic 0, then the Weyl algebra is a simple algebra with center K, but is not a central simple algebra over K as it has infinite dimension as a K-module.
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 d'AzumayaEn mathématiques, la notion d'algèbre d'Azumaya est une généralisation de la notion d'algèbre centrale simple aux R-algèbres dont les scalaires R ne forment pas un corps. Elle a été introduite dans un article de en 1951, dans le cas où R est un anneau local commutatif, puis a été développée par Alexander Grothendieck comme ingrédient de base à une théorie du groupe de Brauer en géométrie algébrique, dans les séminaires Bourbaki à partir de 1964.
Non-associative algebraA non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation.
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
Algèbre à divisionEn mathématiques, et plus précisément en algèbre, une algèbre à division est une algèbre sur un corps avec la possibilité de diviser par un élément non nul (à droite et à gauche). Toutefois, dans une algèbre à division, la multiplication peut ne pas être commutative, ni même associative. Un anneau à division ou corps gauche, comme celui-des quaternions, est une algèbre associative à division sur son centre, ou sur un sous-corps de celui-ci. Soit A un anneau unitaire. L'élément 0 n'est pas inversible, sauf si A est nul.
Algèbre généraleL'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément.
Treillis (ensemble ordonné)En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
Classification des algèbres de CliffordEn mathématiques, en particulier dans la théorie des formes quadratiques non dégénérées sur les espaces vectoriels réels et complexes, les algèbres de Clifford de dimension finie ont été complètement classées. Dans chaque cas, l'algèbre de Clifford est isomorphe à une algèbre de matrices sur R, C ou H (les quaternions), ou à une somme directe de deux de ces algèbres, mais pas de manière canonique. Notation et conventions. Dans cet article, nous utiliserons la convention de signe (+) pour la multiplication de Clifford, c’est-à-dire où Q est la forme quadratique sur l'espace vectoriel V.
