Groupe finivignette|Un exemple de groupe fini est le groupe des transformations laissant invariant un flocon de neige (par exemple la symétrie par rapport à l'axe horizontal). En mathématiques, un groupe fini est un groupe constitué d'un nombre fini d'éléments. Soit G un groupe. On note en général sa loi multiplicativement et on désigne alors son élément neutre par 1. Toutefois, si G est abélien, la loi est souvent notée additivement et son élément neutre est alors désigné par 0 ; ce n'est cependant pas une règle générale : par exemple, le groupe multiplicatif d'un corps commutatif est noté multiplicativement, bien qu'il soit abélien.
Groupe cycliqueEn mathématiques et plus précisément en théorie des groupes, un groupe cyclique est un groupe qui est à la fois fini et monogène, c'est-à-dire qu'il existe un élément a du groupe tel que tout élément du groupe puisse s'exprimer sous forme d'un multiple de a (en notation additive, ou comme puissance en notation multiplicative) ; cet élément a est appelé générateur du groupe. Il n'existe, à isomorphisme près, pour tout entier n > 0, qu'un seul groupe cyclique d'ordre n : le groupe quotient Z/nZ — également noté Z ou C — de Z par le sous-groupe des multiples de n.
Théorème des facteurs invariantsEn mathématiques, le théorème des facteurs invariants porte sur les modules de type fini sur les anneaux principaux. Les facteurs invariants non inversibles sont des obstructions à l'inversibilité des matrices qui n'apparaissent pas dans la théorie des espaces vectoriels. Leur calcul a de nombreuses applications : par exemple trouver la classe d'isomorphie d'un groupe abélien de type fini à partir d'une présentation de celui-ci. Dans un cadre précis, le théorème des facteurs invariants se particularise en théorèmes de réduction d'endomorphisme.
Groupe abélienEn mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.
Ordre (théorie des groupes)En théorie des groupes, une branche des mathématiques, le terme ordre est utilisé dans deux sens intimement liés : L'ordre d'un groupe est le cardinal de son ensemble sous-jacent. Le groupe est dit fini ou infini suivant que son ordre est fini ou infini. Si un élément a d'un groupe G engendre dans G un sous-groupe (monogène) fini d'ordre d, on dit que a est d'ordre fini et, plus précisément, d'ordre d. Si le sous-groupe engendré par a est infini, on dit que a est d'ordre infini.
Classification des groupes simples finisEn mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples. En tout, cet ensemble comprend des dizaines de milliers de pages publiées dans 500 articles par plus de 100 auteurs.
Groupe simpleEn mathématiques, un groupe simple est un groupe non trivial qui ne possède pas de sous-groupe distingué autre que lui-même et son sous-groupe trivial. Un groupe est dit simple s'il a exactement deux sous-groupes distingués : ( étant l’élément neutre du groupe) et lui-même. Quelques exemples de groupes simples : Les seuls groupes abéliens simples sont les groupes finis d'ordre premier (ces groupes sont cycliques). Le groupe SO_3(R) des matrices spéciales orthogonales d'ordre 3 à coefficients réels est simple.
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".
Anneau artinienEn algèbre commutative, un anneau artinien est un anneau vérifiant la condition de chaîne descendante pour ses idéaux. Les anneaux artiniens doivent leur nom au mathématicien autrichien Emil Artin. On dit qu'un anneau commutatif (unitaire) A est un anneau artinien si c'est un A-module artinien, autrement dit, si toute suite décroissante d'idéaux de A est stationnaire. Cela équivaut à dire que tout ensemble non vide d'idéaux de A admet un élément minimal (pour la relation d'inclusion).
Dihedral group of order 6In mathematics, D3 (sometimes alternatively denoted by D6) is the dihedral group of degree 3 and order 6. It equals the symmetric group S3. It is also the smallest non-abelian group. This page illustrates many group concepts using this group as example. The dihedral group D3 is the symmetry group of an equilateral triangle, that is, it is the set of all transformations such as reflection, rotation, and combinations of these, that leave the shape and position of this triangle fixed.
IsomorphismeEn mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .
Module simpleUn module M sur un anneau A est dit simple ou irréductible si M n'est pas le module nul et il n'existe pas de sous-modules de M en dehors de {0} et M. Les Z-modules simples sont les groupes abéliens simples, c'est-à-dire les groupes cycliques d'ordre premier. Les espaces vectoriels simples (sur un corps non nécessairement commutatif) sont les droites vectorielles. Étant donné un anneau A et I un idéal à gauche non nul de A, I est un A-module simple si et seulement si I est un idéal minimal à gauche.
Module projectifEn mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.
Linearly ordered groupIn mathematics, specifically abstract algebra, a linearly ordered or totally ordered group is a group G equipped with a total order "≤" that is translation-invariant. This may have different meanings. We say that (G, ≤) is a: left-ordered group if ≤ is left-invariant, that is a ≤ b implies ca ≤ cb for all a, b, c in G, right-ordered group if ≤ is right-invariant, that is a ≤ b implies ac ≤ bc for all a, b, c in G, bi-ordered group if ≤ is bi-invariant, that is it is both left- and right-invariant.
Théorèmes d'isomorphismeEn mathématiques, les trois théorèmes d'isomorphisme fournissent l'existence d'isomorphismes dans le cadre de la théorie des groupes. Ces trois théorèmes d'isomorphisme sont généralisables à d'autres structures que les groupes. Voir notamment « Anneau quotient », « Algèbre universelle » et « Groupe à opérateurs ». Le premier théorème d'isomorphisme affirme qu'étant donné un morphisme de groupes , on peut rendre injectif en quotientant par son noyau Ker f, qui est un sous-groupe normal de G.
Groupe dicycliqueEn algèbre et plus précisément en théorie des groupes, le groupe dicyclique (pour tout entier n ≥ 2) est défini par la présentation Les groupes () sont les groupes quaternioniques (les groupes dicycliques nilpotents). En particulier, est le groupe des quaternions. est un groupe non abélien d'ordre 4n, extension par le sous-groupe cyclique engendré par (normal et d'ordre 2n) d'un groupe d'ordre 2. Il est donc résoluble. Contrairement au groupe diédral D, cette extension n'est pas un produit semi-direct.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Groupe des quaternionsEn mathématiques et plus précisément en théorie des groupes, le groupe des quaternions est l'un des deux groupes non abéliens d'ordre 8. Il admet une représentation réelle irréductible de degré 4, et la sous-algèbre des matrices 4×4 engendrée par son image est un corps gauche qui s'identifie au corps des quaternions de Hamilton. Le groupe des quaternions est souvent désigné par le symbole Q ou Q8 et est écrit sous forme multiplicative, avec les 8 éléments suivants : Ici, 1 est l'élément neutre, et pour tout a dans Q.
Linear groupIn mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group (that is, admitting a faithful, finite-dimensional representation over K). Any finite group is linear, because it can be realized by permutation matrices using Cayley's theorem. Among infinite groups, linear groups form an interesting and tractable class.
Groupe ordonnéUn groupe ordonné est un groupe muni d'une relation d'ordre respectée par les translations. Soit (G,.) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d'ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y et z du groupe, la relation x ≤ y entraîne les deux relations zx ≤ zy et xz ≤ yz. Un groupe ordonné est un ensemble muni simultanément d'une loi de groupe et d'une relation d'ordre compatible.
