从原子性和if-then-else讨论C-代数的结构
On the structure of C-algebras through atomicity and if-then-else
摘要:
在$C$ -代数中引入原子和原子性的概念,得到了$C$ -变换代数中原子的一个刻画.进一步,本文给出了$C$ -代数是原子代数的一些必要条件和充分条件,并证明了有限原子$C$ -代数类正是有限adas类.利用if-then-else作用研究了$C$ -代数的结构,并对变换的$C$ -代数的元素进行了分类.
英文摘要:
This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the atomicity of $C$-algebras and shows that the class of finite atomic $C$-algebras is precisely that of finite adas. This paper also uses the if-then-else action to study the structure of $C$-algebras and classify the elements of the $C$-algebra of transformations.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。