Groupe résolubleEn mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions. Théorème d'Abel (algèbre) La théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de degré 5 ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations élémentaires (racine n-ième, addition, multiplication, ).
CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
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.
Torsion-free abelian groupIn mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case. Abelian group An abelian group is said to be torsion-free if no element other than the identity is of finite order.
Torsion groupIn group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multiple of the orders of the elements. For example, it follows from Lagrange's theorem that every finite group is periodic and it has an exponent dividing its order. Examples of infinite periodic groups include the additive group of the ring of polynomials over a finite field, and the quotient group of the rationals by the integers, as well as their direct summands, the Prüfer groups.
Module libreEn algèbre, un module libre est un module M qui possède une base B, c'est-à-dire un sous-ensemble de M tel que tout élément de M s'écrive de façon unique comme combinaison linéaire (finie) d'éléments de B. Une base de M est une partie B de M qui est à la fois : génératrice pour M, c'est-à-dire que tout élément de M est combinaison linéaire d'éléments de B ; libre, c'est-à-dire que pour toutes familles finies (ei)1≤i≤n d'éléments de B deux à deux distincts et (ai)1≤i≤n d'éléments de l'anneau sous-jacent telles que a1e1 + .
Théorie des représentations d'un groupe finivignette|Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d'un groupe fini traite des représentations d'un groupe G dans le cas particulier où G est un groupe fini. Cet article traite de l'aspect mathématique et, de même que l'article de synthèse « Représentations d'un groupe fini », n'aborde que les représentations linéaires de G (par opposition aux représentations projectives ou ).
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.
Faisceau (de modules)En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé qui possède une structure de module sur le faisceau structural . Sur un espace localement annelé , un faisceau de -modules (ou un -Module) est un faisceau sur tel que soit un -module pour tout ouvert , et que pour tout ouvert contenu dans , l'application restriction soit compatible avec les structures de modules: pour tous , on a Les notions de sous--modules et de morphismes de -modules sont claires.
Sous-groupe de FrattiniSoit G un groupe (au sens mathématique). Les éléments de G qui appartiennent à tout sous-groupe maximal de G forment un sous-groupe de G, qu'on appelle le sous-groupe de Frattini de G et qu'on note Φ(G). Si G admet au moins un sous-groupe maximal, on peut parler de l'intersection de ses sous-groupes maximaux et Φ(G) est égal à cette intersection. Si G n'a pas de sous-groupe maximal, Φ(G) est égal à G tout entier.
