半群S(X.θ)中的正则元(Ⅰ)

半群S中的元素a是正则元，如果存在b∈S，使aba=a．正则元是半群中重要且特殊的元素，对确定半群的结构起着关键作用．对于任意的非空集合X，策划了半群T(X．θ)上的正则元，明确了正则元本质．其结论为刻划半群S(X．θ)的正则元提供了理论基础．     

关于半群的广义Bruck—Reilly扩张

引进了半群的广义Bruck-Reilly扩张的概念,研究了其简单的性质;给出了半群的广义Bruck-Reilly扩张是π－逆半群的充要条件;刻画了一个半群（逆半群）T的广义Bruck-Reilly扩张为单（或半单）半群时半群（逆半群）T的性质,证明了由同态θ及幂等元e0所确定的半群T的广义Bruck-Reilly扩张BR（T,e0,θ）是单半群当且仅当对任意a,b∈T,存在x,y∈T^1以及k∈N使得a=x(bθ^k)y。     

结合律筹检法的改进

用乘法表给出一个n元群胚(具有二元积的n元系),要检验它是否为群,较为困难的是结合律的检验,因为检验结合律的工作量较大。因此寻求检验结合律的简便方法,也是人们关心的一个问题。[1]、[2]、[3]中各有一种检验结合律的方法,在实际施行中[1]的方法较简便。以下简称[1]的方法为筹检法,简称[2]的方法为置换法。筹检法需构作2(n-1)个n阶方阵。本文将筹检法与置换法结合起来,给出一个改进的关于群的结合律的筹检法,它只需构作n-1个n阶方阵。本文还将筹检法推广到有限半群,并得出含左(右)单位元的半群及交换半群的特殊筹检法。     

逆适当半群

通过刻画逆适当半群的一些性质,给出了一个富足半群是逆适当半群的充要条件是对于正则元a,b ∈S,a的预逆与b的预逆的积是ba的预逆.同时,给出了逆适当半群的自然偏序的性质.     

有限半群的拉埃脱氏判别法

假设S(*)是一有限群胚。若S(*)的二元运算*(把*称作乘法)满足结合律,则称S(*)是关于乘法*的一个有限半群。由于有限群胚的乘法*总可以用一张乘法表,即所谓凯莱(Cayley)表给出,所以判断S(*)关于乘法*是否作成一个半群,自然会从它的乘法表上去考究。对于这个问题,论文[1]介绍了一个“筹检验法”,笔者知道,拉埃脱(F.W.Light)氏于1949年已提出过一个判别法,拉氏的想法显得比较     

TE(X)的由幂等元生成的子半群

设X为有限集合,()X为X上的全变换半群,设E为X上任一非平凡等价关系,变换半群TE(X)定义为TE(X)={f∈()X:()(a,b)∈E,(f(a),f(b))∈E}.讨论了半群TE(X)的由幂等元生成的子半群T2,以及由亏值为1的幂等元作为生成元时,T2的极小生成元集,并且求出了这个极小生成集的元素个数.     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

TE(X)的变种半群TE(X;θ)的若干性质

设X是一个非空集合，E是X上的等价关系，TE(X)={f∈JX2↓A(a，b)∈E，(f(a)，f(b))∈E)．对于半群S中的一个取定元素θ∈S，重新定义S上的运算。为f。g=fθg，其中等式右边表示原来的运算，S关于这个新的运算所成的半群称为S的变种半群．本文讨论了TE(X；θ)的Green关系和Symons同余之间的联系．     

集合上一些运算律的反例（Ⅱ）

给出一个集合上的两个（二元）代数运算分别满足或不满足交换规律、结合律和分配律的各类例子，同时给出了n元分配律成立而 n-1元分配律不成立的例子。     

自反Banach空间上C0半群的一些结果

设T（t）是自反Banach空间X上满足两个条件的一类C0半群。本文证明如果T（t）是弱L^p稳定的，则其生成元的谱界是负的。再由文献[1]得到的关于这一类C0半群在任何Banach空间上其增长界都与生成元谱界相等的结果得出，自反Banach空间上此类半群弱L^p稳定与指数稳定等价。     

关于格群的若干结果(2)

对群 G 及其子半群 P,本文给出了群 G 可在某一偏序下形成格群.而使 P 成为这个格群的基部的一个充要条件;为格群的理论应用到 Gauss 半群、数论(见本文(3))、多复变数解析函数…等方面作了初步探索。群成为以其了半群为基部的格群的充要条件下面将因子、最大公因子及最小公倍元的概念如下的扩张到一般的(即可以是非可换的)半群中。定义1.设 a、b 是半群 G 中的元,若 b 既是 a 均左因子,又是 a 的右因子,则 b 称作a 的因子,而 a 称作 b 的倍元。     

一类有限变换半群的Green关系

在[5]中作者考察过一类变换半群，即TE（X）{f∈Fx,任意（a,b)∈E，（f(a),f(b))∈E}，这里E是集合X上任一等价关系，当X带上以所有E类为基的拓扑时，TE(X)恰是拓扑空间X上的连续自映半群。本文讨论了半群TE（X）上的Green关系，并且当X为有限集，E是单等价关系时，给出了全部Green关系的刻划。     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

抽象代数反例八则

本文给出抽象代数中的8则反例。例1 满足两个消去律的有单位元的有限广群未必满足结合律,因而未必是群。 A={e,a,b,c,d}在A中定义代数运算“o”如右表,则(A,o)是一个有限广群(groupoid,又译作群胚),e是它的单位元,由于A中全体元素在每一行也在每一列出现,故(A,o)适合两个消去     

超越整函数半群Julia集的相似性

设G是由一族超越整函数生成的半群，半群运算是函数的复合，文中得到J（G）具有后向自相似性和拟相似性。     

T（x）的极大逆子半群类构成的序列

本文从逆子半群的幂等元半格出发，在有限集Ｘ的全变换半群Ｔ（Ｘ）中，找出了一个由幂等元半格同构的极大逆子半群类构成的序列，细致地刻划出每个同构类中幂等元半格的结构，并给出了每个同构类中含有的极大逆子半群的个数公式。     

蕴涵BCK-代数与剩余半群

给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵ＢＣＫ－代数，并且Ｍ（Ｘ）与Ｍ（Ｍ（Ｘ））是同构的     

关于弱逆半群上最大幂等元分离同余和群同余的注记

给出了文献（四川师范大学学报（自然科学版），2001，24（3）：219－223．）中关于弱逆半群上最大幂等元分离同余和群同余主要结论的刻画及证明的一些更正和简化。     

三角代数上的Jordan三元映射

设T是三角代数,B是有理数域Q上的代数,r是一个有理数,本文的主要目标是研究从T到B上的Jordan三元映射的可加性。利用三角代数的矩阵结构,证明了如果ф是从T到B上的双射,满足任给a,b,c∈A都有ф（r（abc＋cba））=r（ф（a）ф（b）ф（c）＋ф（c）ф（b）ф（a））,则是可加的。     

命题逻辑的序结构

含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M,A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群：CA∨CB=CA∨B;CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA,CB∈M/←→),这里的∧运算是∨的对偶运算,而M上的∧、∨运算分别是逻辑“或”逻辑“与”,同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的。