Filtered Boolean powers of finite simple non-abelian Mal'cev algebras

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Mayr, Peter, Ruškuc, Nik
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866910613230321664
author Mayr, Peter
Ruškuc, Nik
author_facet Mayr, Peter
Ruškuc, Nik
contents Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e_n$ of $\mathbf{A}$. When $e_1,\dots,e_n$ are all idempotents of $\mathbf{A}$ we establish two concrete representations of $\mathbf{D}$: as the Fraïssé limit of the class of finite direct powers of $\mathbf{A}$, and as congruence classes of the countable free algebra in the variety generated by $\mathbf{A}$. Further, for arbitrary $e_1,\dots,e_n$, we show that $\mathbf{D}$ is $ω$-categorical and that its automorphism group has the small index property, strong uncountable cofinality and the Bergman property. As necessary background we establish some general properties of congruences and automorphisms of filtered Boolean powers of $\mathbf{A}$ by any Boolean algebra $\mathbf{B}$, including a semidirect decomposition for their automorphism groups.
format Preprint
id arxiv_https___arxiv_org_abs_2404_17322
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
Mayr, Peter
Ruškuc, Nik
Logic
Group Theory
Rings and Algebras
03C05 (20B27, 22A05, 08A05, 06E15, 54H10)
Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e_n$ of $\mathbf{A}$. When $e_1,\dots,e_n$ are all idempotents of $\mathbf{A}$ we establish two concrete representations of $\mathbf{D}$: as the Fraïssé limit of the class of finite direct powers of $\mathbf{A}$, and as congruence classes of the countable free algebra in the variety generated by $\mathbf{A}$. Further, for arbitrary $e_1,\dots,e_n$, we show that $\mathbf{D}$ is $ω$-categorical and that its automorphism group has the small index property, strong uncountable cofinality and the Bergman property. As necessary background we establish some general properties of congruences and automorphisms of filtered Boolean powers of $\mathbf{A}$ by any Boolean algebra $\mathbf{B}$, including a semidirect decomposition for their automorphism groups.
title Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
topic Logic
Group Theory
Rings and Algebras
03C05 (20B27, 22A05, 08A05, 06E15, 54H10)
url https://arxiv.org/abs/2404.17322