代数簇间临界点的部分代数范畴
范畴论
2010-12-10 v1
摘要
半格S的提升是一个代数A，使得A的紧（即有限生成）同余的半格同构于S。本文旨在给出一个关于带有部分子代数和半格值距离的部分代数的范畴理论，我们称之为gamps。该理论的这一部分是在任何（泛）代数簇中表述的。设V和W是（有限相似类型上的）代数簇。设P是一个序维数d>0的有限格。假设我们在V中有一个带有提升的半格图，但在W的gamps范畴中没有“部分提升”，那么存在一个基数为aleph(d-1)的半格S，使得S在V中有提升，但S在W中没有提升。我们之前已经知道对于在W中没有提升的图有类似的结果，然而这里构造的半格S的基数为aleph d。Gamps也用于研究保持同余的扩张。用M表示由长度为二、具有三个原子的格生成的簇。我们在M中构造了一个基数为aleph 1的格A，对于每个n>1，它没有同余n-可置换的、保持同余的扩张。
引用
@article{arxiv.1012.1949,
title = {Categories of partial algebras for critical points between varieties of algebras},
author = {Pierre Gillibert},
journal= {arXiv preprint arXiv:1012.1949},
year = {2010}
}
备注
47 pages