Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Résumé du 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 de tous les sous-groupes de G. De plus, toute sous-algèbre de C_X est engendrée par un seul générateur en plus de l'égalité fonctionnelle.
Vous devez être connecté pour ajouter un élément à vos favoris.
Veuillez vous connecter ou créer un compte pour continuer.
Outils de citation
Citer cet article :
MLA
APA
Chicago
Ajouter un dossier
Vous pouvez ajouter vos contenus préférés à des dossiers organisés. Une fois le dossier créé,
vous pouvez ajouter un article ou un contenu de la liste ou de la vue détaillée au dossier sélectionné dans la liste.