河南理工大学学报(自然科学版)
河南理工大學學報(自然科學版)
하남리공대학학보(자연과학판)
JOURNAL OF HENAN POLYTECHNIC UNIVERSITY(NATURAL SCIENCE)
2009年
4期
536-539
,共4页
α-半群%全序集%保序映射%相容格
α-半群%全序集%保序映射%相容格
α-반군%전서집%보서영사%상용격
设TX是集合X上的全变换半群,E是X上的等价关系,则TE(X)={f∈TX:(a,b)∈E,(f(a),f(b))∈E}是α-半群.设X是全序集,OE(X)={f∈TE(X):x,y∈X,x≤yf(x)≤f(y)}是TE(X)的α-子半群.对于ω-型全序集X上的凸等价关系E,F,确定了OE(X)和O(X)=OE(X)∩OF(X)的相容格.
設TX是集閤X上的全變換半群,E是X上的等價關繫,則TE(X)={f∈TX:(a,b)∈E,(f(a),f(b))∈E}是α-半群.設X是全序集,OE(X)={f∈TE(X):x,y∈X,x≤yf(x)≤f(y)}是TE(X)的α-子半群.對于ω-型全序集X上的凸等價關繫E,F,確定瞭OE(X)和O(X)=OE(X)∩OF(X)的相容格.
설TX시집합X상적전변환반군,E시X상적등개관계,칙TE(X)={f∈TX:(a,b)∈E,(f(a),f(b))∈E}시α-반군.설X시전서집,OE(X)={f∈TE(X):x,y∈X,x≤yf(x)≤f(y)}시TE(X)적α-자반군.대우ω-형전서집X상적철등개관계E,F,학정료OE(X)화O(X)=OE(X)∩OF(X)적상용격.