Noncommutative ringIn mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
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.
Corps de nombresEn mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Théorème de WedderburnEn mathématiques et plus précisément en algèbre, le théorème de Wedderburn affirme que tout corps qui est fini est nécessairement commutatif. Joseph Wedderburn l'a publié en 1905. vignette|Joseph Wedderburn. Théorème de Wedderburn. — Tout corps fini est commutatif. Remarque sur la terminologie : diverses sources, notamment sous l'influence de l'anglais où le mot field désigne un corps commutatif, posent la commutativité de la multiplication dans la définition d'un corps et en particulier pour les corps finis.
Théorème de Frobenius (algèbre)En mathématiques, plus spécifiquement en algèbre, le théorème de Frobenius, démontré par Ferdinand Georg Frobenius en 1877, caractérise les algèbres associatives à division de dimension finie sur le corps commutatif R des réels. Il n'y en a que trois (à isomorphisme près) : le corps R des réels, celui C des complexes et le corps non commutatif H des quaternions. Le théorème de Frobenius généralisé de Hurwitz établit que si l'on enlève les contraintes d'associativité et de finitude mais qu'on rajoute celle d'être une algèbre de composition, on ne trouve qu'une quatrième R-algèbre à division : celle des octonions.
SédénionEn mathématiques, les sédénions forment une algèbre réelle de dimension 16, notée . Leur nom provient du latin sedecim qui veut dire seize. Deux sortes sont actuellement connues : les sédénions obtenus par application de la construction de Cayley-Dickson ; les sédénions coniques (ou algèbre M). À l'instar des octonions, la multiplication des sedénions n'est ni commutative ni associative. De plus, par rapport aux octonions, les sédénions perdent la propriété d'être alternatifs.
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.
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.
Anneau simpleEn mathématiques, un anneau simple est une des structures algébriques utilisées en algèbre générale. Un anneau est dit simple s'il est non nul et n'admet pas d'autres idéaux bilatères que {0} et lui-même. Un anneau commutatif est simple si et seulement si c'est un corps commutatif. Plus généralement, un corps (non nécessairement commutatif) est un anneau simple, et l'anneau des matrices carrées d'ordre n à coefficients dans un corps est simple.
Groupe de BrauerEn mathématiques, le groupe de Brauer, nommé d'après Richard Brauer, constitue l'espace classifiant des algèbres centrales simples sur un corps commutatif k donné, pour une certaine relation d'équivalence. On munit cet espace d'une structure de groupe abélien en l'identifiant à un espace de cohomologie galoisienne. Une algèbre centrale simple sur un corps commutatif k, est une algèbre associative de dimension finie A, qui n'admet aucun idéal bilatère non trivial (simplicité), et dont le centre est k (centralité).
Quaternionvignette|Plaque commémorative de la naissance des quaternions sur le pont de Broom (Dublin). En mathématiques, un quaternion est un nombre dans un sens généralisé. Les quaternions englobent les nombres réels et complexes dans un système de nombres plus vastes où la multiplication n'est cette fois-ci plus une loi commutative. Les quaternions furent introduits par le mathématicien irlandais William Rowan Hamilton en 1843. Ils trouvent aujourd'hui des applications en mathématiques, en physique, en informatique et en sciences de l'ingénieur.
QuasigroupeEn mathématiques, et plus précisément en algèbre générale, un quasigroupe est un ensemble muni d'une loi de composition interne (un magma) pour laquelle (en pensant cette loi comme une multiplication), il est possible de diviser, à droite comme à gauche, le quotient à droite et le quotient à gauche étant uniques. En d'autre termes l'opération de multiplication à droite est bijective, de même que celle de multiplication à gauche. La loi n'est pas nécessairement associative, et si elle l'est, le quasigroupe est un groupe.
Anneau sans diviseur de zéroEn théorie des anneaux, un anneau sans diviseur de zéro () est un anneau unitaire dans lequel un produit est nul seulement si l'un des facteurs est nul, autrement dit dans lequel l'implication suivante est vérifiée : En d'autres termes, c'est un anneau dans lequel il n'y a aucun diviseur de zéro (ni à droite, ni à gauche). Certains auteurs exigent également que la condition 1 ≠ 0 soit remplie ou, ce qui revient au même, que l'anneau ait au moins deux éléments.
Center (ring theory)In algebra, the center of a ring R is the subring consisting of the elements x such that xy = yx for all elements y in R. It is a commutative ring and is denoted as ; "Z" stands for the German word Zentrum, meaning "center". If R is a ring, then R is an associative algebra over its center. Conversely, if R is an associative algebra over a commutative subring S, then S is a subring of the center of R, and if S happens to be the center of R, then the algebra R is called a central algebra.
Algèbre de compositionEn mathématiques, les algèbres de composition sur un corps commutatif sont des structures algébriques qui généralisent simultanément le corps des nombres complexes, le corps non commutatif des quaternions de Hamilton et l'algèbre des octonions de Cayley. Dans cet article, on note K un corps commutatif (de caractéristique quelconque), et les algèbres ne sont pas supposées être associatives ni – a priori du moins – de dimension finie.
Corps gaucheEn mathématiques, un corps gauche ou anneau à division (parfois simplement appelé corps, voir plus bas) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles certains types d'additions, de soustractions, de multiplications et de divisions. Plus précisément, un corps gauche est un anneau dans lequel l'ensemble des éléments non nuls est un groupe pour la multiplication. Un corps gauche dont la multiplication est commutative est appelé « corps commutatif ».
Lemme de SchurEn mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux sur la théorie des représentations d'un groupe fini. Ce lemme est à la base de l'analyse d'un caractère d'une représentation d'un groupe fini ; il permet, par exemple, de caractériser les groupes abéliens finis.
Associativité des puissancesEn algèbre, l'associativité des puissances est une forme affaiblie de l'associativité. Un magma est dit associatif des puissances si le sous-magma engendré par n'importe quel élément est associatif. Concrètement, cela signifie que si une opération est effectuée plusieurs fois sur un même élément , l'ordre dans lequel sont effectuées ces opérations n'a pas d'importance ; ainsi, par exemple, . Tout magma associatif est évidemment associatif des puissances.
Algèbre alternativeEn algèbre, une algèbre alternative est une algèbre dans laquelle la multiplication n'est pas nécessairement associative mais satisfait à deux identités exprimant l'alternativité, à savoir pour x et y quelconques dans l'algèbre. Toute algèbre associative est évidemment alternative mais certaines algèbres strictement non associatives telles que les octonions le sont aussi. Les algèbres alternatives sont ainsi nommées car ce sont les algèbres pour lesquelles l'associateur est alterné.
Endomorphism ringIn mathematics, the endomorphisms of an abelian group X form a ring. This ring is called the endomorphism ring of X, denoted by End(X); the set of all homomorphisms of X into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map as additive identity and the identity map as multiplicative identity.
