群的一个Domain结构  

Domain Models for Groups

作　　者：黄梦桥[1] 李庆国[1] 

机构地区：[1]湖南大学数学与计量经济学院,湖南涉外经济学院,湖南长沙410082,湖南长沙410000

出　　处：《模糊系统与数学》2008年第1期18-25,共8页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10471035)

摘　　要：群可以通过在其上赋予循环群拓扑构造群的Domain模型,从而实现群的可计算性。群上的循环群偏序集及其对偶都是连续的偏序集,这个连续偏序集是代数Domain的充分必要条件是群的单位元是代数元。如果在pseudo-有限的群G及其循环群偏序集的对偶■op[G]上分别赋予循环群拓扑和Scott拓扑,那么恒同函数是连续的。This paper constructs the continuous poset and domain models of groups for the ordered data-style from groups. The paper introducesthe cyclic poset of a group which is induced by cyclic subgroups andgives sufficient and necessary conditions to guarantee that theduality of a cyclic poset is an algebraic domain. For apseudo-finite group G, if ￡^op[G], G are endowedwith Scott topology and cyclic topology, respectively, then identitymapping is continuous.

关 键 词：群 Domain模型 偏序集 

分 类 号：O189[理学—数学]