BCI-代数与其商代数的理想集或子代数集之间的对应关系

摘要

以p表BCI-代数X到其商代数X/N的典则映射,C.记X/N的常元;P表由p导出的从X的益集到X/N的幂集的映射;对X的任一非空子集M,以ID(X,M),SA(X,M),IS(X,M)分别表示X中一切包含M的理想、子代数、理想子代数的集,当M={0}时,这些记号分别简写为ID(X),SA(X),IS(X).关于BCI-代数与其商代数的理想集或子代数集之间的对应关系,有下列结果: