Groupe isomorphe à un sous-groupe.

Il y a aussi des exemples un peu bêtes comme prendre un ensemble infini $X$, un groupe non trivial $G$, puis poser $H= \bigoplus\limits_{x \in X} G$. Pour tout sous-ensemble $Y \subset X$ de même cardinal que $X$, le sous-groupe $\bigoplus\limits_{x \in Y} G$ de $H$ lui est isomorphe.

Effectivement. En fait, j'ai regardé ton message trois fois, et j'y ai lu trois choses différentes :-D Du coup, j'ajoute un peu de matière.

Un groupe $G$ est dit co-hopfien si tout morphisme injectif $G \hookrightarrow G$ est surjectif. De tels groupes existent (comme les $\mathbb{Z}^n$), mais il me semble qu'au final assez peu de groupes vérifient cette condition. D'autres exemples sont $\mathbb{Q}$ qui contient $n \mathbb{Q}$ (à première vue, un groupe abélien divisible ne semble jamais co-hopfien) et le groupe libre $\mathbb{F}_n= \langle a_1, \ldots, a_n \mid \ \rangle$ qui contient $\langle a_1^{m_1}, \ldots, a_n^{m_n} \rangle$ (et plus généralement, n'importe quel groupe d'Artin à angles droits). Par contre, il existe beaucoup d'exemples de groupes hopfiens (ie., tout morphisme surjectif est nécessairement injectif). Cette classe inclut tous les groupes résiduellement finis.