MV-代数中的Bouligand-Severi切线
逻辑
2012-04-11 v1
摘要
在Dubuc和Poveda最近发表于《纯粹与应用逻辑年鉴》的重要论文中，他们称一个MV-代数A是强半单的，如果A的所有主商都是半单的。所有布尔代数都是强半单的，所有有限表示的MV-代数也是如此。我们证明，对于任意单生成元MV-代数，半单性等价于强半单性。此外，一个半单的双生成元MV-代数A是强半单的当且仅当其极大谱空间m(A)在其有理点处没有任何有理Bouligand-Severi切线。一般来说，当A是有限生成且m(A)有一个Bouligand-Severi切线时，A不是强半单的。
引用
@article{arxiv.1204.2147,
title = {Bouligand-Severi Tangents in MV-Algebras},
author = {Manuela Busaniche and Daniele Mundici},
journal= {arXiv preprint arXiv:1204.2147},
year = {2012}
}
备注
7 pages