Groupe libreEn théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de F dans G prolongeant f. Soit encore, un groupe G est dit libre sur un sous-ensemble S de G si chaque élément de G s'écrit de façon unique comme produit réduit d'éléments de S et d'inverses d'éléments de S (réduit signifiant : sans occurrence d'un sous-produit de la forme x.x).
Extension de corpsEn mathématiques, plus particulièrement en algèbre, une extension d'un corps commutatif K est un corps L qui contient K comme sous-corps. Par exemple, le corps C des nombres complexes est une extension du corps R des nombres réels, lequel est lui-même une extension du corps Q des nombres rationnels. On note parfois L/K pour indiquer que L est une extension de K. Soit K un corps. Une extension de K est un couple (L, j) où L est un corps et j un morphisme de corps de K dans L (les morphismes de corps étant systématiquement injectifs).
Degree of a field extensionIn mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory — indeed in any area where fields appear prominently. Suppose that E/F is a field extension. Then E may be considered as a vector space over F (the field of scalars). The dimension of this vector space is called the degree of the field extension, and it is denoted by [E:F].
Courbe modulaireEn théorie des nombres et en géométrie algébrique une courbe modulaire désigne la surface de Riemann, ou la courbe algébrique correspondante, construite comme quotient du demi-plan de Poincaré H sous l'action de certains sous-groupes Γ d'indice fini dans le groupe modulaire. La courbe obtenue est généralement notée Y(Γ). On appelle Γ le niveau de la courbe Y(Γ). Depuis Gorō Shimura, on sait que ces courbes admettent des équations à coefficients dans un corps cyclotomique, qui dépend du niveau Γ.
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.
Théorèmes d'isomorphismeEn mathématiques, les trois théorèmes d'isomorphisme fournissent l'existence d'isomorphismes dans le cadre de la théorie des groupes. Ces trois théorèmes d'isomorphisme sont généralisables à d'autres structures que les groupes. Voir notamment « Anneau quotient », « Algèbre universelle » et « Groupe à opérateurs ». Le premier théorème d'isomorphisme affirme qu'étant donné un morphisme de groupes , on peut rendre injectif en quotientant par son noyau Ker f, qui est un sous-groupe normal de G.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Théorème de Cauchy (groupes)NOTOC En mathématiques, le théorème de Cauchy, nommé en l'honneur du mathématicien Augustin Louis Cauchy, est le suivant : La démonstration de McKay est détaillée sur Wikiversité. On fait agir le groupe par permutation circulaire sur l'ensemble où e désigne l'élément neutre du groupe G. L'équation aux classes affirme que # E est la somme des cardinaux des orbites pour l'action de . Or car étant donné quelconque est totalement déterminé (et vaut Ainsi #E est un multiple de p.
Fixed-point subringIn algebra, the fixed-point subring of an automorphism f of a ring R is the subring of the fixed points of f, that is, More generally, if G is a group acting on R, then the subring of R is called the fixed subring or, more traditionally, the ring of invariants under G. If S is a set of automorphisms of R, the elements of R that are fixed by the elements of S form the ring of invariants under the group generated by S. In particular, the fixed-point subring of an automorphism f is the ring of invariants of the cyclic group generated by f.
CourbeEn mathématiques, plus précisément en géométrie, une courbe, ou ligne courbe, est un objet du plan ou de l'espace usuel, similaire à une droite mais non nécessairement linéaire. Par exemple, les cercles, les droites, les segments et les lignes polygonales sont des courbes. La notion générale de courbe se décline en plusieurs objets mathématiques ayant des définitions assez proches : arcs paramétrés, lignes de niveau, sous-variétés de .
