1) variety of universal algebras
泛代数簇
2) algebraic variety
代数簇
1.
As a consequence of the above result,we have that implicative semilattices form an algebraic variety.
作为一个推论给出:蕴涵半格构成一个代数簇。
3) algebraic varieties
代数簇
1.
,x n], P=Q the root ideal of Q and J the subset of ring assume Q∩J≠ , then the algebraic varieties of idea quotient V(Q∶J)= .
设Q是多项式环k[x1 ,x2 ,… ,xn]中的P 准素理想 ,P =Q是理想Q的根理想 ,J是k[x1 ,x2 ,… ,xn]的子集 ,若Q∩J≠ ,则Q对J的商理想Q∶J的代数簇V(Q∶J) = ;若Q∩J = ,则Q∶J的代数簇V(Q∶J) =V(Q∶J) ;若P∩J= ,则V(Q∶J) =V(Q) 。
4) quasi-algebraic variety
拟代数簇
1.
In this paper by applying some equivalent formulas in first-order logic,this problem is transformed into one which checks whether another quasi-algebraic variety is empty.
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 。
5) complex algebraic variety
复代数簇
6) product algebraic variety
积代数簇
补充资料：泛代数簇
泛代数簇
variety of traversal algebras
取商代数，子代数和直积是闭的.后两个条件可以用在子直积下是闭的要求来代替.一个泛代数类称为平凡的(tri访习)，如果它是由一个元素的代数所组成.每一个非平凡泛代数类都含有一个具有任意基数的基的自由代数(n优al罗bm).如果x和Y是在一个非平凡簇内同一自由代数的基且X是无限的，则X与Y是等势的，对其中一个基是无限的要求是本质性的，然而如果这个簇含有多干一个元素的有限代数的话，这个要求可以去掉. 由一个类K生成的泛代数簇由K中代数的子直积的所有商代数组成.如果一个泛代数簇由有限代数生成，则这个簇内每一个有限生成的代数都是有限的.在一个表征为Q的泛代数簇M内，任意合同是交换的，当且仅当存在这个表征Q的一个三元项(tenn)f，使得对M中一切代数来说都有 f(x，x，y)=y=f(y，x，x).用类似的方式可以刻画其中代数有模合同或分配合同格的泛代数簇(见11」一【4」，【7]，【gj，【10」). 在一个簇M内，一个n元运算称为平凡的(州-vial)，如果对于M中每一个代数来说，等式f(x、，·“，x。)二f(y，，。二，y。)成立.例如，在有零乘法的环簇内，乘法运算是平凡的.每一个平凡运算.f可以被由方程份=f(x，，…，x。)所定义的0元运算粉来代替.假设两个泛代数簇M，M’各自的表征为Q，Q‘，不含平凡运算.一个由Q到O‘的项的集合评(Q‘)内的映射小称为容许的(a山m比访le)，如果对于一切运算f6o来说，f与小(f)的元数重合.一个容许的映射可以开拓为体(O)到评(Q‘)的映射，仍以自然方式记作中.簇M与M’称为有理等价的(ra由lul】y闪ul论Ient)，如果存在容许映射命:h二‘w(“)和创:“一w(。)，使得对于一切f‘0有.f二小‘(。(f))，对一切f’任汀有f’二。(。‘(f’))，并且对于M(相应地，M’)的每一个定义等式“=v(相应地，“‘=v‘)来说，等式。(u)二。(v)(相应地，。’(u‘)=小‘(v‘))对M‘内(相应地，M内)一切代数成立.最后的要求等价于这样的事实，M内每一个代数A(M’内每一个代数A’)对应于M‘内(M内)一个代数，其中Q‘内每一个。元运算f’(Q内每一。元运算f)都由方程f‘(x.，…，x。)=。(f)(戈、，…，x。)，(f(x、，…，x。)=。‘(f‘)(x、，…，x。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条