arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1503.02651math.RA
收藏

有限阿贝尔代数是可对偶的

Finite Abelian algebras are dualizable

Pierre Gillibert

摘要:

有限代数$\bA=\alg{A;\cF}$是\emph{dualizable},如果存在与$\cF$相容的离散拓扑关系结构$\BA=\alg{A;\cG;\cT}$,使得对于由$\bA$生成的拟簇中的每个$\bB$,规范求值映射$e\_{\bB}\colon \bB\to \Hom( \Hom(\bB,\bA),\BA)$是同构。这里,$e\_{\bB}$由用于所有$x\in B$和所有$f\in \Hom(\bB,\bA)$的$e\_{\bB}(x)(f)=f(x)$定义。本文证明了:给定有限同余模阿贝尔代数$\bA$,在一定的元数下,所有与$\bA$相容的关系的集合,\emph{entails}是所有与$\bA$相容的关系的全体.利用一个经典的紧性结果,我们推论出$\bA$是可对偶的。此外,我们可以选择一个对偶的alter-ego只有关系的arity $\le 1+α^3$,其中$α$是最大指数的一个素数在$\card{A}$的素数分解。这改进了Kearnes和Szendrei关于模是可对偶的结果,以及Bentz和Mayr关于带常数的有限模是可对偶的结果。这也解决了Bentz和Mayr在2013年提出的问题。

英文摘要:

A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom( \Hom(\bB,\bA),\BA)$ is an isomorphism for every $\bB$ in the quasivariety generated by $\bA$. Here, $e\_{\bB}$ is defined by $e\_{\bB}(x)(f)=f(x)$ for all $x\in B$ and all $f\in \Hom(\bB,\bA)$. We prove that, given a finite congruence-modular Abelian algebra $\bA$, the set of all relations compatible with $\bA$, up to a certain arity, \emph{entails} the whole set of all relations compatible with $\bA$. By using a classical compactness result, we infer that $\bA$ is dualizable. Moreover we can choose a dualizing alter-ego with only relations of arity $\le 1+α^3$, where $α$ is the largest exponent of a prime in the prime decomposition of $\card{A}$. This improves Kearnes and Szendrei result that modules are dualizable, and Bentz and Mayr's result that finite modules with constants are dualizable. This also solves a problem stated by Bentz and Mayr in 2013.

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

↑