152 lines
5.9 KiB
Markdown
152 lines
5.9 KiB
Markdown
---
|
|
sr-due: 2022-09-29
|
|
sr-interval: 39
|
|
sr-ease: 278
|
|
aliases:
|
|
- morphismes
|
|
- morphisme
|
|
- homomorphisme
|
|
- homomorphisme de groupes
|
|
up:
|
|
- "[[morphisme]]"
|
|
- "[[groupe]]"
|
|
tags:
|
|
- "#s/maths/algèbre"
|
|
---
|
|
|
|
> [!definition] [[morphisme de groupes]]
|
|
> Soit $(E, *)$ et $(F, \bot)$ deux [[groupe|groupes]]
|
|
> Une application $f: (E, *) \to (F, \bot)$ est un **morphisme de groupes** ssi :
|
|
> $\forall (x, y) \in E^{2}, \quad \boxed{f(x*y) = f(x) \bot f(y)}$
|
|
^definition
|
|
|
|
- i On note $\mathrm{Hom}(E, F)$ l'[[ensemble des morphismes de groupes]]
|
|
- i On appelle parfois "homomorphismes" les morphismes
|
|
|
|
# Propriétés
|
|
|
|
> [!proposition]+ Morphisme trivial
|
|
> Le morphisme trivial est le morphisme
|
|
> $\begin{align} f : E &\to F\\ x &\mapsto 1_{F} \end{align}$
|
|
> Il existe toujours.
|
|
|
|
> [!proposition]+ composition de morphismes
|
|
> Si $f : E \to F$ et $g : F \to G$ sont des morphismes
|
|
> Alors $g \circ f : E \to G$ est un morphisme
|
|
> > [!démonstration]- Démonstration
|
|
> > $\begin{align} (g \circ f) (xy) &= g(f(x y)) \\ &= g(f(x) f(y)) &\text{car } f \text{ est un morphisme} \\ &= g(f(x)) g(f(y)) & \text{car } g \text{ est un morphisme} \\&= (g \circ f)(x) (g\circ f)(y) \end{align}$
|
|
> > Donc, $g \circ f$ est bien un morphisme
|
|
^composition-morphismes
|
|
|
|
> [!proposition]+ élément neutre
|
|
> Soit $f: E \to F$ un morphisme, on a toujours :
|
|
> $f(e_{E}) = e_{F}$
|
|
> > [!démonstration]- Démonstration
|
|
> > $f(e_{E}) = f(e_{E}e_{E}) = f(e_{E})f(e_{E})$
|
|
> > en multipliant à gauche par $f(e_{E})^{-1}$ (qui est bien inversible car $F$ est un groupe) on obtient :
|
|
> > $e_{F} = f(e_{E})$
|
|
|
|
> [!proposition]+ morphisme d'un inverse
|
|
> Soit $f: E \to F$ un morphisme, on a :
|
|
> $\forall x \in E,\quad f(x ^{-1}) f(x)^{-1}$
|
|
> > [!démonstration]- Démonstration
|
|
> > Soit $x \in E$
|
|
> > On a $f(x ^{-1})f(x) = f(x ^{-1} x) = f(e_{E}) = e_{F}$
|
|
> > De la même manière, $f(x)f(x ^{-1}) = e_{A}$
|
|
> > On sait alors que l'inverse de $f(x)$ est $f(x ^{-1})$
|
|
> > Autrement dit : $f(x) ^{-1} f(x ^{-1})$
|
|
|
|
> [!proposition]+ morphisme sur un sous groupe
|
|
> Soit $f: G \to G'$ un morphisme
|
|
> 1. Si $H$ est un [[sous groupe]] de $G$, alors $f(H)$ est un [[sous groupe]] de $G'$
|
|
> - $H<G \implies f(H) < G'$
|
|
> 2. Si $H'$ est un [[sous groupe]] de $G'$, alors $f^{-1}(H')$ est un [[sous groupe]] de $G$
|
|
> - $H' < G' \implies f^{-1}(H') < G$
|
|
> > [!démonstration]- Démonstration
|
|
> > 1. On suppose que $H$ est un sous groupe de G
|
|
> > - comme $H$ est un [[sous groupe]] de $G$, on a $e_{G} \in H$.
|
|
> > Puisque $f(e_{G}) = e_{G'}$, on a $e_{G'} \in f(H)$
|
|
> > - Soient $x', y' \in f(H)$. Il existe $(x, y) \in H^{2}$ tel que $f(x) = x'$ et $f(y) = y'$.
|
|
> > Comme $H$ est un sous groupe, on a $xy^{-1} \in H$.
|
|
> > Puisque $f(xy^{-1}) = f(x)f(y^{-1}) = f(x)f(y)^{-1} = x'y'^{-1}$, on a $x'y'^{-1} \in H$
|
|
> >
|
|
> > On peut donc conclure que $H$ est un sous groupe de $G$
|
|
> > 2. On suppose que $H'$ est un sous groupe de $G'$
|
|
> > - Comme $H'$ est un sous groupe de $G'$, on a $e_{G'} \in H'$
|
|
> > - On veut montrer que $\forall x \in f^{-1}(H'),\quad x ^{-1} \in f^{-1}(H')$
|
|
> > Soit $x' \in H'$. Il existe $x \in G$ tel que $x = f^{-1}(x')$
|
|
> > $x ^{-1} = (f^{-1}(x'))^{-1} = f^{-1}(x'^{-1})$
|
|
> > Or, $x'^{-1} \in H'$ car $H'$ est un groupe. Donc $f^{-1}(x'^{-1}) \in f^{-1}(H')$
|
|
> > de là suit que $x ^{-1} \in f^{-1}(H')$
|
|
> >
|
|
|
|
![[noyau d'un morphisme de groupes#^morphisme-injectif-noyau]]
|
|
|
|
# Exemples
|
|
|
|
> [!example] Exemple 1
|
|
> Si $G$ est un groupe, alors :
|
|
> $\begin{align} \mathrm{id}_{G} : G &\to G\\ g &\mapsto g \end{align}$
|
|
> est un [[endomorphisme d'espaces vectoriels]] de $G$
|
|
>
|
|
|
|
> [!example] Exemple 2
|
|
> Soit $k \in \mathbb{Z}$
|
|
> $\begin{align} f : \mathbb{Z} &\to \mathbb{Z} \\ n &\mapsto kn \end{align}$
|
|
> estun morphisme
|
|
> en effet :
|
|
> $\begin{align} \forall m, n \in \mathbb{Z},\quad f(m + n) &= k(m + n) \\&= km + kn \\&= f(m) + f(n)\end{align}$
|
|
|
|
> [!example] Exemple 3
|
|
> pour $k \in \mathbb{Z}$
|
|
> $\begin{align} f_{k} : \mathbb{Z} &\to \mathbb{Z}\\ n &\mapsto n +k \end{align}$
|
|
> est un morphisme si et seulement si $k = 0$
|
|
> en effet :
|
|
> - si $k = 0$, alors $f_{k} = \mathrm{id} \in \mathrm{End}(\mathbb{Z})$
|
|
> - si $k \neq 0$
|
|
> alors $f_{k}(a+b) = a+ b+ k$
|
|
> mais $f_{k}(a) + f_{k}(b) = a+ k + b + k = a+ b+ 2k$
|
|
> donc, on a $f_{k} (a+b) \neq f_{k}(a) + f_k(b){}$
|
|
|
|
> [!example] Exemple 4
|
|
> $\begin{align} f : \mathbb{R}^{*} &\to \mathbb{R}^{*} \\ x &\mapsto \frac{1}{x} \end{align}$
|
|
> est un morphisme car $\forall x, y \in \mathbb{R}^{*},\quad f(x y) = \frac{1}{xy} = \frac{1}{x} \cdot \frac{1}{y} = f(x)\cdot f(y)$
|
|
> - ! attention à la loi :
|
|
> $\begin{align} g : (\mathbb{R}^{*}, \times) &\to (\mathbb{R}^{*}, +)\\ x &\mapsto \frac{1}{x} \end{align}$
|
|
> n'est **pas** un morphisme, car $\exists, x, y \in \mathbb{R}^{*},\quad g(xy) \neq g(x)+g(y)$
|
|
>
|
|
|
|
> [!example] Exemple 4 bis
|
|
> $\exp : \mathbb{R} \to \mathbb{R}^{*}$ est un morphisme, car $e^{x+y} = e^{x}+e^{y}$
|
|
> $\log : \mathbb{R}^{*}_{+} \to \mathbb{R}$ est un morphisme, car $\log(a \cdot b) = \log(a) + \log(b)$
|
|
>
|
|
|
|
> [!example] Exemple 7
|
|
> $\begin{align} \det : GL_{n}(\mathbb{R}) &\to \mathbb{R}^{*}\\ M &\mapsto \det(M) \end{align}$
|
|
> est un morphisme
|
|
>
|
|
|
|
> [!fail] Exemple 7 bis
|
|
> $\det : M_{n}(\mathbb{R}) \to \mathbb{R}$ n'est **pas** un morphisme
|
|
>
|
|
>
|
|
|
|
> [!example] Exemple 8
|
|
> $\begin{align} f : \mathbb{Z} &\to \mu _{n}(\mathbb{C}) \\ k &\mapsto e^{1ik \frac{\pi}{2}} \end{align}$
|
|
> est un morphisme.
|
|
> - ? $\mu _{n}(\mathbb{C}) = \{ z \in \mathbb{C}^{\times} \mid z^{n} = 1 \}$ est le [[groupe des racines complexes de l'unité]]
|
|
>
|
|
|
|
> [!example] Exemple 9
|
|
> $\begin{align} f : \mathbb{Z} &\to \mathbb{Z}/n\mathbb{Z} \\ k &\mapsto \overline{k} \end{align}$
|
|
> est un morphisme car $\overline{k + k'} = \overline{k} + \overline{k'}$
|
|
|
|
> [!example] Exemple 10
|
|
> L'application $\mathbb{R}^{mn} \to M_{mn}(\mathbb{R})$ donnée par l'"agencement en tableau" :
|
|
> $(a, b, c, d) \mapsto \begin{pmatrix}a & b\\ c &d\end{pmatrix}$
|
|
> est un morphisme
|
|
> - ? Il n'y a pas d'analogue pour $GL_{n}(\mathbb{R})$
|
|
|
|
|
|
|