太原理工大学学报
太原理工大學學報
태원리공대학학보
JOURNAL OF TAIYUAN UNIVERSITY OF TECHNOLOGY
2010年
3期
315-319
,共5页
连通代数domain%c-理想%范畴
連通代數domain%c-理想%範疇
련통대수domain%c-이상%범주
基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.
基于連通集的定義,引入瞭c-理想的概唸,得齣瞭連通代數domain中每一箇元都是相容緊元,噹且僅噹它的每箇c-理想都是主c-理想,給齣瞭連通代數domain滿足升鏈條件.研究瞭連通完備偏序集A中的每箇元是相容緊元的充要條件是A與A的c-理想格同構.最後,證明瞭連通代數domain範疇與偏序集範疇等價.
기우련통집적정의,인입료c-이상적개념,득출료련통대수domain중매일개원도시상용긴원,당차부당타적매개c-이상도시주c-이상,급출료련통대수domain만족승련조건.연구료련통완비편서집A중적매개원시상용긴원적충요조건시A여A적c-이상격동구.최후,증명료련통대수domain범주여편서집범주등개.
