Oui c'est ça. Tu peux aussi travailler avec la réciproque de f.

Par contre quand tu écris "j'ai L qui est un sous groupe de S1 (tous les élements de L sont de module 1)", l'inclusion ne suffit pas pour que ça soit un sous-groupe hein.

Oui bien sûr, mais c'est bon j'ai prouvé que L était un sous groupe (avec la stabilité par produit et inverse)
par contre le fait que ce soit à 2 k pi près ne change rien , quand on dit que e^(it) = 1 par ex ? parce que du coup il y a une infinité de matrices associées ?

Non ça change rien. e^(it) = 1 <=> t = 0+2kPi mais comme cos et sin sont aussi 2Pi-périodiques, y'a une seule matrice qui convient : l'identité.

Merci bcp de m'avoir aidée en tout cas c'est gentil...
de toute façon à mon avis j'aurais encore besoin de toi ?
tu as l'air fort !

De rien.