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 deen 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 invariantssont :
et
On doit calculer une basetelle que
soit une base de L.
Mais je ne sais pas comment faire.
-----