Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Soient X un ensemble fini, I un ensemble infini et C_X la I-algèbre polyadique de toutes les fonctions à support fini de X^I dans l'algèbre de Boole (0, 1). On sait que le groupe G des automorphismes de C_X est isomorphe au groupe des permutations de X. Dans l'énoncé qui suit nous entendrons par sous-algèbre de C_X une sous-algèbre contenant l'égalité fonctionnelle. Théorème: La fonction qui assigne à chaque sous-algèbre A de C_X le groupe des automorphismes de C_X qui laissent les éléments de A invariants est un antiisomorphisme du treilli de toutes les sous-algèbres de C_X sur le treilli …
