×

直链上的同余。 (英语) Zbl 1299.06001号

(join-)directoid是一个广群体\((D,\sqcup)\),因此在\(D)上与\(x,y\leqx\sqcupy\)存在一个偏序关系\(leq\),这样在case \(x \)和\(y \)中\(x\sqcup y=\max(x,y)\)是可比较的\(D中的(x,y\)。关系\(\leq\)是由\(\sqcup\)唯一确定的,因为对于\(x,y\ in D\),我们有\(x\leqy\)当且仅当\(x\sqcup y=y\)。使用directoid作为向上偏序集的表示的最大优点是,directoids可以用方程来表征:groupoid \((D,\sqcup)\)是directoid,当且仅当它满足以下恒等式时:
(i) \(x\sqcup x=x\),
(ii)((x\sqcup y),
(iii)(y\sqcup(x\sqcupy)=x\sqcup y),
(iv)\(x\sqcup((x\sqcup y)\sqcup z)=(x\sqcup y)\sqcup z\)。
为了研究有向偏序集上的同余,我们可以将偏序集转换为有向类,并研究其上的同义。本文主要研究了有向类、有反对合的有向类和有分段反对合和双有向类上同余的几个特征。

MSC公司:

06年06月06日 部分订单,通用
06B10号 格理想,同余关系
08A30型 子代数,同余关系
PDF格式BibTeX公司 XML格式引用