1) abelian monoid
可换幺半群
1.
In this article,based on abelian monoids,we construct a class of generalized Witt algebras ? = W(,A,T,)/ I FT where A is an abelian monoid,T is a vector space over F,:T A F is a map which is F-linear in the first variable and additive in the second one.
19年前Kawamoto定义了特征为0的域F上的广义Witt代数,本文基于一个可换幺半群及其上的一个双变量映射,定义并研究了一类广义Witt代数^W=W(α,A,T,φ)/I FT,其中A是一个可换幺半群,T是域F上的一个向量空间,φ:T×A→F是一个双变量映射。
2) finite commutative uni semigroup
有限可换幺半群
1.
The author presents a condition about finite uni semigroup becomes a group, and makes some discussions about the finite commutative uni semigroup.
并对有限可换幺半群进行了讨论 ,通过对它的商集的研究 ,建立了有限可换幺半群与有限可换幺群之间的联系 ,从而揭示了有限可换幺半群的结
3) commutative monoid
交换幺半群
1.
Finally, it is proved that a commutative monoid can be constructed by every generalized a-associative BCH-algebra.
引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。
2.
A self-mapping is defined in the partially ordered BCH-algebra,it is proved that a commutative monoid may be constructed by the set made in product of finite self-mappings about product of mapping,And properties of inverse elements of the commutative monoid are researched.
在偏序BCH_代数中定义了一种自映射,证明了这些自映射的有限乘积全体构成的集合关于映射的乘积构成一个交换幺半群,并对交换幺半群可逆元的性质进行了研究。
4) Transformation Moniod
变换幺半群
1.
The Congruence,Morphism on the Finite State Automata and the Transformation Moniod;
有限状态自动机和变换幺半群的同余、同态
5) cancellative monoids
可消幺半群
1.
We have found out that the set of all regular elements of cancellative monoids is a group G and G is a unitary subsemigroup of S.
探讨了可消幺半群上的格林关系,尤其是L关系,研究了可消幺半群S中的正则元群G,并且G是S上的幺正子半群。
6) right cancellative monoid
右可消幺半群
1.
Some new characterizations of right cancellative monoids by condition(W_p);
条件(W_p)对右可消幺半群的一些新刻画(英文)
补充资料:多边形(幺半群上的)
多边形(幺半群上的)
polygon (over a monoid)
【补注】在西方,么半群M上的多边形通常称为M集.“运算域”这一术语也在使用.所有M集(M固定)的范畴组成拓扑斯(topos);但此时不能(像上面那样)排除掉空M集. 不像上文那样假设么半群的交换性,但假设在它之上的非空左多边形都是内射的,这类么半群的某些刻画已经得到,见「A3]中的有关介绍.上文说到,不存在非平凡么半群,在它之上的所有左多边形都是投射的,但是所谓完满么半群却是非平凡的,这里完满么半群(如同完满环(pe西沈t nng))定义成其上每个左多边形都有投射覆盖的么半群见fAI},〔A2}.多边形(么半群上的)[州招佣(overa此蕊幻记);nO·瓜功”(”叨Mol,0”加”)〕,R多边形(R一Poly即n),运算对象(。伴份记). 具有算子么半群(monoid)的非空集合.确切地说,一非空集合A称为么半群R上的左多边形(」eftpo伙笋n),如果对任意的又6R和“‘A定义了积又a日A,使得 (又子乙)a=又(召a)和la=a对一切又,井任R,a二A成立.右多边形(h咖poly-gon)可以类似地定义.确定一个左R多边形A等价于确定一个从么半群R到集合A到自身的映射的么半群内的同态职且中把1映到A的恒等映射.此处几“=b,当且仅当 甲(又)(a)=b.特别地,每个非空集合可视为它到自身的映射的么半群上的多边形.所以,多边形与半群的变换的表示有密切的关系. 如果A是一个泛代数(画毗alal罗腼)而其算子系O中只包含一元运算,那么对任意关〔Q,a〔A,令 (五…人)(a)二五(二(几(a))…),A就成为了Q生成的自由么半群F上的多边形.如果O为一个自动机的输人信号集而A为状态集,A也可看成一F多边形(见自动机的代数理论(auto-订必协,(以罗b份jc theory of)). R多边形A到R多边形B的映射甲称为同态(homo伽rp比m),如果价(又a)二又职(a)对任意几6R和“‘A成立.若A二B这就得到自同态(endom-。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条