Noyau d'un homomorphisme

Noyau d'un homomorphisme

Noyau (algèbre)

Page d'aide sur l'homonymie Pour les articles homonymes, voir noyau.

En mathématiques et plus particulièrement en algèbre générale, le noyau d'un morphisme mesure le degré auquel un morphisme n'est pas injectif.

Dans de nombreux cas, le noyau d'un morphisme est un sous-ensemble de l'ensemble de définition du morphisme (plus particulièrement, l'ensemble des éléments qui sont envoyés sur l'élément neutre de l'ensemble d'arrivée). Dans des contextes plus généraux, le noyau est à la place interprété comme une relation d'équivalence sur l'ensemble de définition (plus particulièrement, la relation qui relie les éléments qui sont envoyés sur une même image par le morphisme).

Dans l'une ou l'autre de ces situations, le noyau est trivial si et seulement si le morphisme est injectif ; dans la première situation « trivial » signifie constitué uniquement de l'élément neutre, tandis que dans le second, cela signifie que la relation est l'égalité.

Le noyau d'un morphisme f est noté souvent Ker(f), qui vient de Kernel, mot anglais pour désigner le noyau d'un morphisme.

Dans cet article, nous examinons diverses définitions du noyau, utilisées pour les types importants de morphismes.

Sommaire

Noyau d'un morphisme de groupe

Le noyau d'un morphisme de groupes f d'un groupe G vers un groupe H se compose de tous les éléments de G qui sont envoyés par f sur l'élément neutre eH de H. Formellement :

\mathrm{Ker}(f) = \{x \in G /\ f(x)=e_H \}

Le noyau est un sous-groupe distingué de G.

L'un des théorèmes d'isomorphisme énonce que le groupe quotient G / Ker(f) est isomorphe à l'image de f, par l'isomorphisme induit par f lui-même.

Une proposition légèrement plus générale est le théorème fondamental des morphismes.

Le morphisme de groupe f est injectif si et seulement si le noyau de f n'est constitué que de l'élément neutre de G.

Noyau d'une application linéaire

Si f est une application linéaire d'un espace vectoriel V dans un espace vectoriel W, alors le noyau de f est défini par

\mathrm{Ker}(f)=\{x\in V/\ f(x)=0\}

Le noyau est un sous-espace de l'espace vectoriel V, et l'espace quotient V / Ker(f) est isomorphe à l'image de f; en particulier, nous avons pour les dimensions :

dimKer(f) = dimV − dimIm(f)

L'application linéaire f est injective si et seulement si Ker(f) = {0}.

Si V et W sont des espaces vectoriels de dimension finie sur un corps \mathbb{K}, de dimension respective n et p et que des bases de ces espaces sont données, alors f peut être représentée par une matrice M \in \mathcal{M}_{n,p}(\mathbb{K}), et le noyau peut être déterminé en résolvant le système homogène d'équations linéaires MX = 0.

Dans cette représentation, les solutions de ce système correspondent aux coordonnées des vecteurs du noyau de f ; mais aussi aux vecteurs du noyau de l'application linéaire canoniquement associée à la matrice M.

La dimension du noyau, est donnée par le nombres de colonnes de M moins le rang de M.

Résoudre des équations différentielles homogènes nous mène souvent à la détermination du noyau d'une certaine application linéaire.

Par exemple, si nous désirons déterminer les fonctions deux fois dérivables f de \R dans \R telles que

\forall x \in \R,\ xf''(x)+3f'(x)=f(x)

nous avons à considérer le noyau de l'application linéaire \varphi:V\longrightarrow W, où V est l'espace vectoriel de toutes les fonctions deux fois dérivables de \R dans \R, W est l'espace vectoriel de toutes les fonctions de \R dans \R, et pour f\in V, nous définissons \varphi(f) par la condition

\forall x \in \R,\ (\varphi(f))(x)=xf''(x)+3f'(x)-f(x)

Noyau d'un morphisme d'anneau

Le noyau d'un morphisme d'anneau f d'un anneau A dans un anneau B se compose de tous les éléments x de A pour lequel f(x) = 0. Formellement cela nous donne

\mathrm{Ker}(f)=\{x\in A/\ f(x)=0\}

Un tel noyau est toujours un idéal bilatère de A. Le théorème d'isomorphisme mentionné ci-dessus pour des groupes et des espaces vectoriels reste valable dans le cas des anneaux.

Noyau d'un morphisme de corps

Le noyau d'un morphisme de corps (c'est-à-dire un morphisme d'anneau où les anneaux considérés sont des corps) est toujours réduit à l'élément neutre 0, de sorte que tout morphisme de corps est injectif.

Noyau en général

Toutes ces notions de noyaux se généralisent dans le cadre de la théorie des catégories abéliennes.

Articles connexes

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Noyau (alg%C3%A8bre) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Noyau d'un homomorphisme de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • noyau — [ nwajo ] n. m. • 1530; noiel déb. XIIIe; lat. pop. °nodellus, de nodus « nœud » I ♦ Partie centrale et dure dans un fruit. ♢ Bot. Partie dure et lignifiée de l endocarpe, renfermant l amande (⇒ graine) ou les amandes de certains fruits à… …   Encyclopédie Universelle

  • Homomorphisme De Groupes — Morphisme de groupes Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure des groupes. Plus précisément, si (G,*) et (G , ) sont deux groupes de neutres respectifs e et e , une… …   Wikipédia en Français

  • Homomorphisme de groupe — Morphisme de groupes Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure des groupes. Plus précisément, si (G,*) et (G , ) sont deux groupes de neutres respectifs e et e , une… …   Wikipédia en Français

  • Homomorphisme de groupes — Morphisme de groupes Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure des groupes. Plus précisément, si (G,*) et (G , ) sont deux groupes de neutres respectifs e et e , une… …   Wikipédia en Français

  • Groupe classique — En mathématiques, les groupes classiques sont différentes familles de groupes de transformations liées à l algèbre linéaire, principalement les groupes linéaires, orthogonaux, symplectiques et unitaires. Ces groupes peuvent aussi être présentés… …   Wikipédia en Français

  • GÉOMÉTRIE ALGÉBRIQUE — Sous sa forme actuelle, la géométrie algébrique est une branche de l’algèbre relativement récente (cf. ALGÈBRE, DEDEKIND). Pour «comprendre» les phénomènes d’intersection des courbes et des surfaces, il s’est révélé nécessaire d’élaborer des… …   Encyclopédie Universelle

  • Groupe Algébrique — En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa structure de… …   Wikipédia en Français

  • Groupe algebrique — Groupe algébrique En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa… …   Wikipédia en Français

  • Groupe algébrique — En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa structure de… …   Wikipédia en Français

  • NOMBRES (THÉORIE DES) - Nombres p-adiques — On peut aborder l’étude d’un problème diophantien (cf. équations DIOPHANTIENNES) en commençant par chercher les solutions modulo p , un nombre premier quelconque: on est alors devant un problème plus facile, car Z/p Z est un corps [cf.… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”