Groupe quotientDans l'étude des groupes, le quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens. À partir d'un groupe G et d'un sous-groupe H de G, on peut définir une loi de groupe sur l'ensemble G/H des classes de G suivant H, à condition que le sous-groupe H soit normal, c'est-à-dire que les classes à droite soient égales aux classes à gauche (gH = Hg). Étant donné un élément g de G, nous définissons la classe à gauche gH = { gh | h ∈ H }.
Classe suivant un sous-groupeEn théorie des groupes, les classes à gauche d'un groupe G suivant un sous-groupe H sont les parties de G de la forme gH avec g élément de G, où gH désigne l'ensemble des éléments gh quand h parcourt H. Elles constituent les classes d'une relation d'équivalence sur G, donc forment une partition de G. On peut les voir aussi comme les orbites de l'action à droite de H sur G, par translations par les symétriques des éléments de H. L'ensemble des classes à gauche d'un groupe G suivant un sous-groupe H est noté G/H.
Maximal subgroupIn mathematics, the term maximal subgroup is used to mean slightly different things in different areas of algebra. In group theory, a maximal subgroup H of a group G is a proper subgroup, such that no proper subgroup K contains H strictly. In other words, H is a maximal element of the partially ordered set of subgroups of G that are not equal to G. Maximal subgroups are of interest because of their direct connection with primitive permutation representations of G.
Algebra homomorphismIn mathematics, an algebra homomorphism is a homomorphism between two algebras. More precisely, if A and B are algebras over a field (or a ring) K, it is a function such that, for all k in K and x, y in A, one has The first two conditions say that F is a K-linear map, and the last condition says that F preserves the algebra multiplication. So, if the algebras are associative, F is a rng homomorphism, and, if the algebras are rings and F preserves the identity, it is a ring homomorphism.
Treillis des sous-groupesthumb|Diagramme de Hasse du treillis des sous-groupes du groupe diédral D. En mathématique, le treillis des sous-groupes d'un groupe G est le treillis constitué des sous-groupes de G, muni de l'inclusion comme relation d'ordre partielle. La borne supérieure de deux sous-groupes a et b est le sous-groupe engendré par l'union de a et b et leur borne inférieure est leur intersection. Le groupe diédral D des huit isométries du carré contient dix sous-groupes, y compris D lui-même et son sous-groupe trivial.