Dérivation (algèbre)En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un -module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire. Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie).
Moyal productIn mathematics, the Moyal product (after José Enrique Moyal; also called the star product or Weyl–Groenewold product, after Hermann Weyl and Hilbrand J. Groenewold) is an example of a phase-space star product. It is an associative, non-commutative product, , on the functions on R2n, equipped with its Poisson bracket (with a generalization to symplectic manifolds, described below). It is a special case of the -product of the "algebra of symbols" of a universal enveloping algebra.
Central seriesIn mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, the existence of a central series means it is a nilpotent group; for matrix rings (considered as Lie algebras), it means that in some basis the ring consists entirely of upper triangular matrices with constant diagonal. This article uses the language of group theory; analogous terms are used for Lie algebras.
Groupe du Rubik's CubeCet article présente un modèle mathématique et une présentation du groupe du Rubik's Cube. est le groupe des mouvements légaux ou le groupe des états (sans démonter le cube !). est le groupe élargi ou le groupe des états étendus (ici on peut démonter le cube, mais les mouvements des sommets et des arêtes doivent rester chaqu'un dans leur camp). est l'ensemble des classes d'équivalence pour la congruence modulo n. Il est isomorphe au groupe des n-èmes de tour d'axe donné.