Groupe

pour ta premiere question : oui, tu as compris. pour la duexieme, une piste : n-r est le cardinal de l'ensemble des "points pas fixes". mais comme $i$ est une involution, $i^2=1$, donc $\forall x \in E, i^2(x)=x$.donc en fait, il faut remarquer que tu peux associer les "points pas fixes" par 2, si $y$ en est un, alors $z=i(y) \neq y$, mais $i^2(y)=i(z)=y$. donc on a a la fois $i(y)=z$ et $i(z)=y$, avec $z\neq y$. donc les points pas fixes vont par 2, donc leur cardinal est pair.

[edit] pb de latex

i(x) existe tjrs, par definition d'une fonction , et l'injectivité est facile a prouver..

salut,
x -> x^-1 est une involution, donc si G est d'ordre pair, les points fixes sont en nombre pair. Or ceux-ci sont les x tels que x²=1. Il en existe donc à part 1, et ils sont d'ordre 2.