Quaternion hyperboliqueL'algèbre des quaternions hyperboliques est un objet mathématique promu à partir de 1890 par . L'idée fut mise à l'écart, à cause de la non-associativité de la multiplication, mais elle est reprise dans l'espace de Minkowski. Comme les quaternions de Hamilton, c'est une algèbre réelle de dimension 4. Une combinaison linéaire : est un quaternion hyperbolique si et sont des nombres réels, et les unités sont telles que : Soit : La différence entre les quaternions et les quaternions hyperboliques est donc la valeur du carré .
Examples of groupsSome elementary examples of groups in mathematics are given on Group (mathematics). Further examples are listed here. Dihedral group of order 6 Consider three colored blocks (red, green, and blue), initially placed in the order RGB. Let a be the operation "swap the first block and the second block", and b be the operation "swap the second block and the third block". We can write xy for the operation "first do y, then do x"; so that ab is the operation RGB → RBG → BRG, which could be described as "move the first two blocks one position to the right and put the third block into the first position".
Weak equivalence (homotopy theory)In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.
Algèbre graduéevignette|Un organigramme de diverses structures algébriques et leurs relations les unes avec les autres. En mathématiques, en algèbre linéaire, on appelle algèbre graduée une algèbre dotée d'une structure supplémentaire, appelée graduation. Soit A une algèbre sur un corps (ou plus généralement sur un anneau) K. Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels de A vérifiant : c'est-à-dire que . L’algèbre A est alors dite graduée (parfois N-graduée, comme cas particulier de la notion d'algèbre M-graduée pour un monoïde M).
Generating set of a moduleIn mathematics, a generating set Γ of a module M over a ring R is a subset of M such that the smallest submodule of M containing Γ is M itself (the smallest submodule containing a subset is the intersection of all submodules containing the set). The set Γ is then said to generate M. For example, the ring R is generated by the identity element 1 as a left R-module over itself. If there is a finite generating set, then a module is said to be finitely generated. This applies to ideals, which are the submodules of the ring itself.
Élément maximalDans un ensemble ordonné, un élément maximal est un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur, c'est-à-dire que a est dit élément maximal d'un ensemble ordonné (E, ≤) si a est un élément de E tel que : De même, a est un élément minimal de E si : Pour tout élément a de E, on a les équivalences et l'implication (stricte) : a est un majorant de E ⇔ a est la borne supérieure de E ⇔ a est l'élément maximum (ou « plus grand élément ») de E ⇒ a est l'unique élément maxima
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.
Narrow class groupIn algebraic number theory, the narrow class group of a number field K is a refinement of the class group of K that takes into account some information about embeddings of K into the field of real numbers. Suppose that K is a finite extension of Q. Recall that the ordinary class group of K is defined to be where IK is the group of fractional ideals of K, and PK is the group of principal fractional ideals of K, that is, ideals of the form aOK where a is an element of K.
Théorèmes de SylowEn théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
Principe local-globalPour le point de vue de la géométrie différentielle sur cette notion, voir l'article Passage du local au global. En mathématiques, et plus particulièrement en théorie algébrique des nombres et en géométrie algébrique, le principe local-global consiste à essayer de reconstituer une information sur un objet global à partir d'informations sur des objets locaux associés (ses localisations en tous les idéaux premiers), censées être plus faciles à obtenir. Ce théorème porte sur les formes quadratiques sur le corps global des nombres rationnels.
