32 lines
723 B
Markdown
32 lines
723 B
Markdown
up:: [[morphisme de groupes]]
|
|
sibling:: [[noyau d'un morphisme de groupes]]
|
|
#s/maths/algèbre
|
|
|
|
> [!definition] Définition
|
|
> Soit $f : G \to G'$ un [[morphisme de groupes]] de [[groupe]]
|
|
> L'**image** de $f$, notée $\mathrm{im} f$ est définie par :
|
|
> $\mathrm{im} (f) := f(G) = \{ y \in G' \mid \exists x \in G,\quad y = f(x) \}$
|
|
^definition
|
|
|
|
```breadcrumbs
|
|
title: "Sous-notes"
|
|
type: tree
|
|
collapse: false
|
|
show-attributes: [field]
|
|
field-groups: [downs]
|
|
depth: [0, 1]
|
|
```
|
|
|
|
# Propriétés
|
|
|
|
> [!proposition]+
|
|
> Soit $f : G \to G'$ un [[morphisme]]
|
|
> $\boxed{\mathrm{im} f < G'}$
|
|
> L'image de $f$ est un [[sous groupe]] de $G'$
|
|
|
|
- [[théorème d'isomorphisme]]
|
|
|
|
# Exemples
|
|
|
|
Voir [[noyau d'un morphisme de groupes#Exemples]]
|