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.
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.
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.
