在张量积hq上可以给出不同的构造,使它成为双代数或hopf代数, radford在文献[ 1 ]中构造了以smash积为代数结构,余smash积为余代数结构的hopf代数a h ,并指出若b是双代数, h是b的子hopf代数,且存在投射: b h (即是双代数同态,且| _ h = id _ h ) ,则一定存在b的子代数a ,使ba h是双代数同构。
在第4部分中,我们得出结论:两个h -双余模代数a # h和b # h的余张量积( a # h ) _ h ( b # h )仍是smash积( ab ) # h ,并给出了ab应具有的结构及相应的等价条件。在第5部分中我们得出了a # h上双代数结构的完整描述,并刻划了这个双代数结构何时是一个hopf代数。
本篇论文分为4个部分:第一部分介绍了这个领域的一些背景知识;第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果,这些结果与我们的主题?加杯图灵度的代数结构密切相关;在第三部分中,我们概要的描述了优先树方法的基本原理,此方法是可计算性理论中定理证明的一个重要框架和工具;第四部分证明了一个加杯图灵度代数结构的新结果:存在两个可计算枚举度a , b ,满足a , b pc ,而且a和b的并a b是一个高度。