Anneau quotientEn mathématiques, un anneau quotient est un anneau qu'on construit sur l'ensemble quotient d'un anneau par un de ses idéaux bilatères. Soit A un anneau. L'addition et la multiplication de A sont compatibles avec une relation d'équivalence sur A si (et seulement si) celle-ci est de la forme : x ~ y ⇔ x – y ∈ I, pour un certain idéal bilatère I de A. On peut alors munir l'ensemble quotient A/I de l'addition et de la multiplication quotients de celles de A : Ceci munit A/I d'une structure d'anneau, appelé l'anneau quotient de A par I (son groupe additif est le groupe quotient de (A, +) par I).
Caractère d'un groupe finiEn mathématiques, un caractère d'un groupe fini est une notion associée à la théorie des groupes. Un caractère d'un groupe fini G est un morphisme de groupes de G dans le groupe multiplicatif C* des nombres complexes non nuls. Ce concept permet de définir le groupe dual de G, composé de l'ensemble des caractères de G. Il est à la base de l'analyse harmonique sur les groupes abéliens finis. Cette notion correspond à un cas particulier de caractère d'une représentation d'un groupe fini.
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 »).
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.
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.
Image d'une applicationvignette| est une fonction de dans . L'ovale jaune dans est l'image de . On appelle image d'une application f (d'un ensemble A vers un ensemble B) l' par f de l'ensemble de départ A. C'est donc le sous-ensemble de B contenant les de tous les éléments de A, et uniquement ces images. On le note Im(f). Exemple : Une application est surjective si et seulement si son image coïncide avec son ensemble d'arrivée. Lemme des noyaux Catégorie abélienne Limite projective Noyau (algèbre) (autrement dit : d'une relation
De factoDe facto (prononcer « dé facto ») est une locution latine signifiant « de par les faits », « dans les faits » ou encore « dans la pratique ». Elle s'oppose couramment à la locution « de jure » (signifiant « de par la loi » ou « en droit »). Elle est utilisée pour désigner ce qui relève des faits, en opposition à ce qui est avancé par un groupe comme étant officiel (et conséquemment pas nécessairement vrai ou appliqué dans la réalité). De facto peut également désigner ce qui est officieux sans forcément être officiel.
IntuitionL'intuition est un mode de connaissance, de pensée ou de jugement, conçu comme immédiat (au sens de direct) ; selon les acceptions, c'est un processus ou une faculté de l'esprit. Définie de plusieurs manières en philosophie ainsi qu'en psychologie, l’intuition serait le fait de pressentir ou comprendre quelque chose sans analyse ni raisonnement. L'intuition peut être supra-rationnelle ou infra-rationnelle. Son domaine est large : il concerne aussi bien la connaissance proprement dite (métaphysique ou représentation du monde) que les sentiments (sur les choses) ou les motivations (à agir).
IntuitionnismeL'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du . Pour Brouwer, les mathématiques sont une libre création de l'esprit humain et tous les objets qu'elles manipulent doivent être accessibles à l'intuition. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques, notamment en refusant l'infini actuel : un nombre réel ne peut être représenté comme une suite infinie de décimales qu'à la condition de disposer d'un moyen effectif de calculer chacune de ces décimales ; on parle alors de réel constructif.
Émission de télévisionvignette Une émission de télévision ou un programme télévisé est une production audiovisuelle d'une certaine durée diffusée sur une chaîne de télévision. L'emploi du mot programme comme synonyme d'émission est impropre (calque de l'anglais), un programme étant une grille regroupant plusieurs émissions.
De jureDe jure (prononcer « dé youré ») est une locution latine signifiant « de droit », « de par le droit » ou encore « par la loi ». Elle s'oppose couramment à la locution « de facto » (signifiant « de fait » ou « dans les faits »). La locution est d'origine romaine. Exemples d'utilisation : Le français est langue officielle de jure de 29 États et territoires dans le monde.
