Groupe type fini

Salut à tous.

Je cherche un morphisme surjectif d'un groupe $A$ qui n'est pas de type fini vers $Z^{r}$

Avez vous des idées ?

Réponses

  • Oui, pour $A=\mathbb Z[X]$ (ou $\mathbb Z^{(\mathbb N)}$ c'est pareil) tu devrais t'en sortir en pensant à la division euclidienne par $r$.
  • Bonjour

    Tu peux prendre pour $A$ le groupe additif des suites à coefficients dans $\Z$ et envoyer une suite sur ses $r$ premiers termes!

    En retard...
  • Il est clair que $Z[X]$ n'est pas type fini le morphisme $P \mapsto P(0)$ convient.
  • L'idée de Magnolia est encore plus simple que la mienne.
  • Ce que j'ai écrit m'a l'air trop simple, ce n'est pas à quoi vous pensez ?
  • Encore plus simple : si $B$ n'est pas de type fini alors la projection $B \times \Bbb Z^r \to \Bbb Z^r$ convient.
  • CechLM : ton idée marche seulement pour $r=1$. Mais en modifiant facilement on peut faire $r$ quelconque.
  • Oui pour $r=1$ en effet j'en demandais pas plus. Merci à tous.
Connectez-vous ou Inscrivez-vous pour répondre.