Sous-groupe normalEn théorie des groupes, un sous-groupe normal (également appelé sous-groupe distingué ou sous-groupe invariantLien web|langue=fr|titre=Introduction à la théorie des groupes et de leurs représentations|auteur=Jean-Bernard Zuber|url=) H d'un groupe G est un sous-groupe globalement stable par l'action de G sur lui-même par conjugaison. Les sous-groupes normaux interviennent naturellement dans la définition du quotient d'un groupe. Les sous-groupes normaux de G sont exactement les noyaux des morphismes définis sur G.
Sous-groupeUn sous-groupe est un objet mathématique décrit par la théorie des groupes. Dans cet article, (G, ∗) désigne un groupe d'élément neutre e. Dans la pratique, on note la loi interne du sous-groupe avec le même symbole que celui de la loi interne du groupe, c'est-à-dire ∗. Si G est un groupe alors {e} (le groupe réduit à l'élément neutre) et G sont toujours des sous-groupes de G. Ce sont les sous-groupes triviaux de G. On les appelle également les sous-groupes impropres de G.
Sous-groupe caractéristiqueDans un groupe G, un sous-groupe H est dit caractéristique lorsqu'il est stable par tout automorphisme de G : strictement caractéristique lorsqu'il est même stable par tout endomorphisme surjectif de G ; pleinement caractéristique, ou encore pleinement invariant, lorsqu'il est même stable par tout endomorphisme de G : Un sous-groupe H de G est sous-groupe caractéristique de G si et seulement si Un sous-groupe caractéristique de G est en particulier stable par tout automorphisme intérieur de G : c'est donc un
HomomorphismIn algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
Morphisme de groupesUn morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure de groupe. Plus précisément, c'est un morphisme de magmas d'un groupe dans un groupe , c'est-à-dire une application telle que et l'on en déduit alors que f(e) = e (où e et e désignent les neutres respectifs de G et G) et ∀x ∈ G f(x) = [f(x)]. donc ; en composant par l'inverse de , on obtient (autrement dit, un morphisme de groupes conserve l'idempotence, et l'élément neutre d'un groupe est son unique élément idempotent).
Théorème de factorisationEn mathématiques, le théorème de factorisation est un principe général qui permet de construire un morphisme d'une structure quotient dans un autre espace à partir d'un morphisme de vers , de façon à factoriser ce dernier par la surjection canonique de passage au quotient. Soit un ensemble muni d'une relation d'équivalence et la surjection canonique. L'unicité de g est immédiate et guide la preuve de son existence, dont voici plusieurs variantes : Preuve « naïve » : pour tout élément , on pose .
Morphisme d'anneauxUn morphisme d'anneaux est une application entre deux anneaux (unitaires) A et B, compatible avec les lois de ces anneaux et qui envoie le neutre multiplicatif de A sur le neutre multiplicatif de B. Un morphisme d'anneaux est une application f entre deux anneaux (unitaires) A et B qui vérifie les trois propriétés suivantes : Pour tous a, b dans A : f(a + b) = f(a) + f(b) f(a ∙ b) = f(a) ∙ f(b) f(1A) = 1B.
Indice d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, si H est un sous-groupe d'un groupe G, l'indice du sous-groupe H dans G est le nombre de copies distinctes de H que l'on obtient en multipliant à gauche par un élément de G, soit le nombre des xH quand x parcourt G (on peut choisir en fait indifféremment de multiplier à gauche ou à droite). Les classes xH formant une partition, et la multiplication à gauche dans un groupe par un élément donné étant bijective, le produit de l'indice du sous-groupe H dans G par l'ordre de H égale l'ordre de G, ce dont on déduit, pour un groupe fini, le théorème de Lagrange.
Focal subgroup theoremIn abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in and is the "first major application of the transfer" according to . The focal subgroup theorem relates the ideas of transfer and fusion such as described in . Various applications of these ideas include local criteria for p-nilpotence and various non-simplicity criteria focussing on showing that a finite group has a normal subgroup of index p.
Théorème de Lagrange sur les groupesvignette|Si G est le groupe des entiers modulo 8, alors {0, 4} forme un sous-groupe H. Sur l'exemple, {0, 4} contient 2 éléments et 2 divise 8. En mathématiques, le théorème de Lagrange sur les groupes énonce un résultat élémentaire fournissant des informations combinatoires sur les groupes finis. Le théorème doit son nom au mathématicien Joseph-Louis Lagrange. Il est parfois nommé théorème d'Euler-Lagrange car il généralise un théorème d'Euler sur les entiers.
Groupe dérivéEn mathématiques, en algèbre dans un groupe G, le groupe dérivé, noté D(G) ou [G, G], est le plus petit sous-groupe normal pour lequel le groupe quotient G/[G, G] est abélien. Le groupe dérivé de G est trivial si et seulement si le groupe G est abélien. Le groupe quotient de G par son groupe dérivé est l'abélianisé de G. Le procédé d'abélianisation permet souvent de prouver que deux groupes ne sont pas isomorphes. Il intervient aussi en géométrie.
Congruence relationIn abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. Every congruence relation has a corresponding quotient structure, whose elements are the equivalence classes (or congruence classes) for the relation. The prototypical example of a congruence relation is congruence modulo on the set of integers.
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.
Module homomorphismIn algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.
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.
Sous-groupe de HallEn théorie des groupes (une branche des mathématiques), les sous-groupes de Hall d'un groupe fini sont les sous-groupes dont l'ordre et l'indice sont premiers entre eux. Ils portent le nom du mathématicien Philip Hall. Soit un groupe fini. Un sous-groupe de est appelé un sous-groupe de Hall de si son ordre est premier avec son indice dans . Autrement dit, un sous-groupe de est dit sous-groupe de Hall si est premier avec . Cela revient encore à dire que pour tout diviseur premier p de , la puissance à laquelle p figure dans est la même que celle à laquelle il figure dans .
Arithmétique modulaireEn mathématiques et plus précisément en théorie algébrique des nombres, l’arithmétique modulaire est un ensemble de méthodes permettant la résolution de problèmes sur les nombres entiers. Ces méthodes dérivent de l’étude du reste obtenu par une division euclidienne. L'idée de base de l'arithmétique modulaire est de travailler non sur les nombres eux-mêmes, mais sur les restes de leur division par quelque chose. Quand on fait par exemple une preuve par neuf à l'école primaire, on effectue un peu d'arithmétique modulaire sans le savoir : le diviseur est alors le nombre 9.
Élément symétriqueEn mathématiques, la notion d'élément symétrique généralise les concepts d'opposé en rapport avec l'addition et d'inverse en rapport avec la multiplication. Soit E un ensemble muni d'une loi de composition interne admettant un élément neutre . Soient deux éléments et de E. Si , est dit élément symétrique à gauche de et est dit élément symétrique à droite de . Si , est dit élément symétrique de .
Quotient (universal algebra)In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below. Its equivalence classes partition the elements of the given algebraic structure. The quotient algebra has these classes as its elements, and the compatibility conditions are used to give the classes an algebraic structure.
Noyau (algèbre)En mathématiques et plus particulièrement en algèbre générale, le noyau d'un morphisme mesure la non-injectivité d'un morphisme. Dans de nombreux cas, le noyau d'un morphisme est un sous-ensemble de l'ensemble de définition du morphisme : l'ensemble des éléments qui sont envoyés sur l'élément neutre de l'ensemble d'arrivée. Dans des contextes plus généraux, le noyau est interprété comme une relation d'équivalence sur l'ensemble de définition : la relation qui relie les éléments qui sont envoyés sur une même par le morphisme.
