Soit
On considère L l'ensemble des (x,y,z,t) tels que :
On veut montrer que L est un sous-Z-module libre de en montrant que c'est le noyau d'une application linéaire d'un groupe fini ,mais je ne vois pas comment procéder.
Quel est son rang ?
Les facteurs invariants sont :
et
On doit calculer une base telle que soit une base de L.
Mais je ne sais pas comment faire.
-----