Concept
Groupe de Prüfer
Concepts associés (12)
Maximal subgroup
In 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.
Nombre rationnel
Un nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. On peut ainsi écrire les nombres rationnels sous forme de fractions notées où , le numérateur, est un entier relatif et , le dénominateur, est un entier relatif non nul. Un nombre entier est un nombre rationnel : il peut s'exprimer sous la forme . Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes sous forme de fraction, par exemple ...
Circle group
In mathematics, the circle group, denoted by or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers The circle group forms a subgroup of , the multiplicative group of all nonzero complex numbers. Since is abelian, it follows that is as well. A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure : This is the exponential map for the circle group.
Fraction dyadique
vignette|upright=1.2|Fractions rationnelles dyadiques dans l'intervalle de 0 à 1|alt=Intervalle unité subdivisé en 1/128 èmes En mathématiques, une fraction dyadique ou rationnel dyadique est un nombre rationnel qui peut s'écrire sous forme de fraction avec pour dénominateur une puissance de deux. On peut noter l'ensemble des nombres dyadiques formellement par Par exemple, 1/2 ou 3/8 sont des fractions dyadiques, mais pas 1/3.
P-groupe
En mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Module injectif
En mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y.
Racine de l'unité
vignette|Les racines cinquièmes de l'unité (points bleus) dans le plan complexe. En mathématiques, une racine de l'unité est un nombre complexe dont une puissance entière non nulle vaut 1, c'est-à-dire tel qu'il existe un nombre entier naturel non nul n tel que . Ce nombre est alors appelé racine n-ième de l'unité. Une racine n-ième de l'unité est dite primitive si elle est d'ordre exactement n, c'est-à-dire si n est le plus petit entier strictement positif pour lequel l'égalité est réalisée.
Théorèmes de Sylow
En théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
Groupe cyclique
En 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.
Groupe abélien
En 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.