SurjectionEn mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est d'au moins un élément de l'ensemble de départ. Il est équivalent de dire que l' est égal à l'ensemble d'arrivée. Il est possible d'appliquer l'adjectif « surjectif » à une fonction (voire à une correspondance) dont le domaine de définition n'est pas tout l'ensemble de départ, mais en général le terme « surjection » est réservé aux applications (qui sont définies sur tout leur ensemble de départ), auxquelles nous nous limiterons dans cet article (pour plus de détails, voir le paragraphe « Fonction et application » de l'article « Application »).
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.
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.
Injection (mathématiques)Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle R, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point. Si une application injective est aussi surjective, elle est dite bijective.
Bijection, injection and surjectionIn mathematics, injections, surjections, and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and (output expressions from the codomain) are related or mapped to each other. A function maps elements from its domain to elements in its codomain. Given a function : The function is injective, or one-to-one, if each element of the codomain is mapped to by at most one element of the domain, or equivalently, if distinct elements of the domain map to distinct elements in the codomain.
Argument de la diagonale de Cantorvignette|Illustration de la diagonale de Cantor En mathématiques, l'argument de la diagonale, ou argument diagonal, fut inventé par le mathématicien allemand Georg Cantor et publié en 1891. Il permit à ce dernier de donner une deuxième démonstration de la non-dénombrabilité de l'ensemble des nombres réels, beaucoup plus simple, selon Cantor lui-même, que la première qu'il avait publiée en 1874, et qui utilisait des arguments d'analyse, en particulier le théorème des segments emboîtés.
Cardinalité (mathématiques)En mathématiques, la cardinalité est une notion de taille pour les ensembles. Lorsqu'un ensemble est fini, c'est-à-dire si ses éléments peuvent être listés par une suite finie, son cardinal est la longueur de cette suite, autrement dit il s'agit du nombre d'éléments de l'ensemble. En particulier, le cardinal de l'ensemble vide est zéro. La généralisation de cette notion aux ensembles infinis est fondée sur la relation d'équipotence : deux ensembles sont dits équipotents s'il existe une bijection de l'un dans l'autre.
CompteLe mot compte peut référer au verbe compter, au sens de dénombrer. Un compte peut aussi référer à des unités de valeur, et à des listes utilisées par exemple par des entreprises, comme les banques et instituts financiers. Le verbe compter et le substantif compte, autrefois comput dans sa forme savante ou mathématique, proviennent respectivement de l'évolution du verbe latin computāre, signifiant "égaliser des sommes d'argent, des montants de même valeur pour assurer une transaction équilibrée...
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é.
Groupe profiniEn théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie.
Semi-simplicityIn mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, , and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. For example, if G is a finite group, then a nontrivial finite-dimensional representation V over a field is said to be simple if the only subrepresentations it contains are either {0} or V (these are also called irreducible representations).
Extension radicielleDans la théorie des extensions de corps, à l'opposé des extensions algébriques séparables, il existe les extensions radicielles. C'est un phénomène spécifique à la caractéristique positive et qui apparaît naturellement avec les corps de fonctions en caractéristique positive. Soit une extension de corps de caractéristique . Un élément de est dit radiciel sur s'il existe un entier tel que . Une extension (algébrique) est une extension radicielle si tout élément de est radiciel sur .
