1) semi-algebraic set
半代数集
1.
In this paper, a computing principle about the cardinality of semi-algebraic set is given by using Tarski s Principle.
给出半代数集基数的计数原理和不可约紧代数流形上Ｅｕｌｅｒ示性数及亏格的算法。
2) z-semialgebra posets
Z-半代数偏序集
1.
And we define the base fo z-semicontinuous posets and the z-semialgebra posets.
同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划。
3) main-auxiliary algebra of semi-set theorem
半集合定理主辅代数
1.
Logical magic cube is established on main-auxiliary algebra of semi-set theorem of mutually-inversistic logic,describing various single set theorems and semi-set theorems.
提出了形状和鲁比克魔方一样的逻辑魔方,它建立在互逆主义逻辑的半集合定理主辅代数之上,用来描述各种单集合定理和半集合定理。
4) semigroup
[英]['semiɡru:p] [美]['sɛmi,ɡrup, 'sɛmaɪ-]
半群代数
1.
Research about universal groebner bases in semigroup k[A];
半群代数k[A]中的泛Groebner基的研究
2.
Research about ideal in semigroup k[A];
半群代数k[A]理想性质的研究
3.
The groebner bases in semigroup k[A] have a lot of characteritics.
半群代数k[A]中G roebner基有许多性质,继续对其进行研究,并将其用于解决k[A]中两个理想交集的生成元问题。
5) semisimple algebra
半单代数
1.
In this paper, we first give the Maschke’s theorem of smash product A#H * about semisimple algebra, after studing smash product # (H,A) definited by Y.
Ｄｏｉ 所定义的Ｓｍａｓｈ 积＃ （ Ｈ， Ａ） ，给出了Ｓｍａｓｈ 积Ａ＃ Ｈ＊ 关于半单代数的Ｍａｓｃｈｋｅ 定理；给出了可分代数与余可分余代数之间的对偶关系。
补充资料：半代数集
半代数集
semi-algebraic set
半代数集[胭111一吻由面cset;no二y幼re6p皿叨e幼eM”。-袱ecT即!，半解析集(~~a侧ytjcset)篡篡黔篡髻麟鬃默黯袅纂的集合更精确地说，对g任R[X:，…，X，]，设U(g)={x‘R”二g(x)>0}，则E是半代数的，如果它属于包含所有的U(g)的R”的子集的最小B以〕k’ 环. 作为定义，半解析集(s翻.an川ytlc set)是实解析流形的一个集合，它局部地能用有限多个解析等式和不等式来描述. Tarski一Seidenberg定理(Tarski一seidenbulg theo-reln)断言一个判定过程(decision procedure)(亦见可判定集(deC油ble set))的存在性以判定由有限多个多项式不等式g:(x、，二，尤。)>o、联结词“与”、“或’和“非”以及量词日Xj，丫X*所构成的初等语句的真伪.两个精确的表述是:l)设E CR”是半代数集，二R”一‘R”一’是到最后n一1个坐标上的投影，则兀(E)是半代数的.2)设S(x，，…，x。;t!，…，t，)是由不等式尸:(x、，…，义。;tl，二，t。)>O以及联结词“与”、“或”和“非”构成的有限语句(这样的语句称为一个多项式关系(po加lomialr山·山。).设Q，，·“，Q.是一系列形如日x，或丫x*的量词，则存在一个算法以发现多项式关系T(t;，…，t。，)，使得 T(tl，二，t。)夺=)Ql…Q。S(x.，‘’‘，x。; t，，“·，t，，).从Tarski一seidenberg定理可以得出，半代数集在多项式映射R”一R门下的象是半代数的.事实上这是一个等价， 半解析集在解析映射下的象不必是半解析的.实解析流形上的次解析集(subanalytieset)定义为一个集合，它局部是半解析集在解析映射下的象.次解析集的不是半解析的点构成一个次解析集，见〔A2]. 半代数(相应地，半解析或次解析)集的闭包仍是半代数(相应地，半解析或次解析)的. 半代数(相应地，次解析)集在代数(相应地，解析)映射下的象是半代数(相应地，次解析)集. 最后，一个光滑代数(相应地，解析或解析)簇的半代数(相应地，半解析或次解析)子集容许有一个光滑的分层(stratificatlon)，它的层是半代数(相应地，半解析或次解析)的(并且光滑).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条