Profinite congruences and unary algebras

J. Almeida, O. Klíma

英文摘要：

Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant closed congruences on a relatively free profinite algebra are always profinite. Here, we show that our conjecture fails for unary algebras and that closed congruences on relatively free profinite semigroups are not necessarily profinite. As part of our study of unary algebras, we establish an adjunction between profinite unary algebras and profinite monoids. We also show that the Polish representation of the free profinite unary algebra is faithful.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

高秩体积的 profiniteness

Profiniteness of higher rank volume

本文证明了高秩半单李群中不可约格的协体积由 profinite 完备化决定，并在无 CSP 条件下证明八元数双曲同余流形的体积是 profinite 不变量。

2024-12-17math.GR

The Congruence Subgroup Problem for the Free Metabelian Group on two generators

In this paper we describe the profinite completion of the free solvable group on m generators of solvability length r>1. Then, we show that for m=r=2, the free metabelian group on two generators does not have the Congruence Subgroup Property.

2014-07-20math.GR

The Congruence Subgroup Problem for low rank Free and Free Metabelian groups

The congruence subgroup problem for a finitely generated group $Γ$ asks whether $\widehat{Aut\left(Γ\right)}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we first give two new short proofs of two known results (for $Γ=F_{2}$ and $Φ_{2}$) and a new result for $Γ=Φ_{3}$: 1. $C\left(F_{2}\right)=\left\{ e\right\}$ when $F_{2}$ is the free group on two generators. 2. $C\left(Φ_{2}\right)=\hat{F}_ω$ when $Φ_{n}$ is the free metabelian group on $n$ generators, and $\hat{F}_ω$ is the free pr…

2016-12-29math.GR

The Congruence Subgroup Problem for the Free Metabelian group on $n\geq4$ generators

The congruence subgroup problem for a finitely generated group $Γ$ asks whether the map $\hat{Aut\left(Γ\right)}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. It is well known that for finitely generated free abelian groups $C\left(\mathbb{Z}^{n}\right)=\left\{ 1\right\}$ for every $n\geq3$, but $C\left(\mathbb{Z}^{2}\right)=\hat{F}_ω$, where $\hat{F}_ω$ is the free profinite group on countably many generators. Considering $Φ_{n}$, the free metabelian group on $n$ generators, it was also proven that…

2019-02-04math.GR

F-逆幺半群上的F-同余

$F$-congruences on $F$-inverse monoids

Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）；Faculty of Mathematics and Physics（数学与物理学院）

该研究刻画了F-逆幺半群上F-同余对应的核正规系与同余对，还完成了F-无同余的F-逆幺半群的分类，丰富了半群代数理论中F-逆幺半群的同余结构研究。

2026-08-18math.GRmath.RA

弱分支群的非闭子群

Non-closed subgroups of weakly branch groups

针对作用于足够正则根树的弱分支群G，构造两类非闭子群连续族：一类含非ERF子群，另一类在额外假设下含ERF子群，均在G的完备或同余拓扑中不闭。

2025-11-19math.GR

更多相关论文收起更多论文

CREAM: a Package to Compute [Auto, Endo, Iso, Mono, Epi]-morphisms, Congruences, Divisors and More for Algebras of Type $(2^n,1^n)$

The CREAM GAP package computes automorphisms, congruences, endomorphisms and subalgebras of algebras with an arbitrary number of binary and unary operations; it also decides if between two such algebras there exists a monomorphism, an epimorphism, an isomorphism or if one is a divisor of the other. Thus it finds those objects for almost all algebras used in practice (groups, quasigroups in their various signatures, semigroups possibly with many unary operations, fields, semi-rings, quandles, logic algebras, etc). As a one-size-fits-all package, it only relies on universal algebra theorems, wit…

2022-02-01math.GRmath.RA

The IA-congruence kernel of high rank free Metabelian groups

The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we investigate $C\left(IA(Φ_{n}),Φ_{n}\right)$, where $Φ_{n}$ is a free metabelian group on $n\geq4$ generators, and $IA(Φ_{n})=\ker(Aut(Φ_{n})\to GL_{n}(\mathbb{Z}))$. We show that in this case $C(IA(Φ_{n}),Φ_{n})$ is abelian, but not trivial, and not even finitely generated. This behavior is very different from what happen…

2019-04-12math.GRmath.KT