Bonjour j’aimerais savoir si la réponse suivante est juste?A de type S ssi pour tous appartenant à A on a et appartenant à A
Soit /A ={[/z,z appartenant à A Mq /A est de type S
Soit A munis de la structure S et /: A dans /A et qui à z associe /z
on a =
Et = alors / est un morphisme de structure S de plus / admet une bijection réciproque elle-même donc / est un isomorphisme donc A est isomorphe à /A ce qui permet de conclure que que /A est de type S