L'anneau qu'on voudrait vraiment ça serait quelque chose comme C, le corps des nombres complexes, qui a une foule d'automorphismes "sauvages", mais on ne sait pas représenter ces choses-là dans la mémoire finie d'un ordinateur...
Même si on pouvait, l'existence de tels automorphismes sauvages repose sur le lemme de Zorn et n'est donc pas constructive. Il n'existe aucune formule explicite définissant un tel automorphisme.
[^] # Re: Existe-t-il des anneaux avec d'assez gros groupes d'automorphismes?
Posté par Artefact2 . En réponse à la dépêche Le chiffrement homomorphe. Évalué à 3.
Même si on pouvait, l'existence de tels automorphismes sauvages repose sur le lemme de Zorn et n'est donc pas constructive. Il n'existe aucune formule explicite définissant un tel automorphisme.