JeanMargiX
solution bourrine
L'idée c'est de voir que le procédé pour rendre symétrisable les éléments de Z pour ×(et créer Q), on peut le faire pour une partie stricte de Z, par exemple les puissances de 3, et on va donc construire un ensemble qui se comporte comme Q, qui sera un sg strict additif et ne sera donc pas monogène.
solution astucieuse
les sg stricts de Q sont des sg stricts de R, donc ils sont soit dense, soit monogène. Or on sait que l'ensemble des décimaux est dense dans R (cf une demo pour montrer que Q est dense dans R repose sur ça) et est un anneau, donc un sg strict de Q.
solution astucieuse
