Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
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).
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
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éorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.
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.
BijectionEn mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédent. Une propriété des bijections est que s'il existe une bijection f d'un ensemble E dans un ensemble F alors il existe une bijection réciproque de F dans E qui à chaque élément de F associe son antécédent par f. Les deux ensembles sont dits en bijection, ou équipotents.
Théorie des ensembles de ZermeloLa théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann. Cette section présente les axiomes originaux de l'article de Zermelo paru en 1908, numérotés comme dans cet article.
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 .
Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Théorie des ensembles de Zermelo-Fraenkelvignette|L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.
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.
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.
Théorie géométrique des groupesLa théorie géométrique des groupes est un domaine des mathématiques pour l'étude des groupes de type fini à travers les connexions entre les propriétés algébriques de ces groupes et les propriétés topologiques et géométriques des espaces sur lesquels ils opèrent. Les groupes sont vus comme des ensembles de symétries ou d'applications continues sur ces espaces. Une autre idée importante de la théorie géométrique des groupes est de considérer les groupes de type fini eux-mêmes comme des objets géométriques, généralement via le graphe de Cayley du groupe étudié.
Intersection (mathématiques)Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes : l'intersection de deux ensembles A et B est l'ensemble, noté , dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là. A et B sont disjoints si et seulement si est l'ensemble vide ∅. A est inclus dans B si et seulement si .
ÉquipotenceEn mathématiques, l’équipotence est une relation entre ensembles, selon laquelle deux ensembles sont équivalents lorsqu'il existe une bijection entre eux. Cette notion permet de définir la cardinalité, c'est-à-dire le nombre d'éléments d'un ensemble, qu'il soit fini ou infini. La subpotence est une relation plus faible, satisfaite lorsqu'il existe une injection entre deux ensembles. Elle permet de définir une comparaison de taille entre les ensembles, sans présupposer la construction des nombres cardinaux.
Deux dimensionsDeux dimensions, bidimensionnel ou 2D sont des expressions qui caractérisent un espace conçu à partir de deux dimensions. Ce type de plan peut représenter des corps en une ou deux dimensions. Un espace en deux dimensions est un plan. Un objet en deux dimensions a donc une superficie mais pas de volume. En mathématiques, le plan composé de deux dimensions est à distinguer de l’espace, qui est lui repéré par trois axes orthogonaux.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
