保整除保序有限变换半群DO_n的Green关系及其正则元

设Xn={1,2,…,n}是有限全序集,Tn是有限集Xn上的全变换半群,易知它的子集TD(Xn)={α∈Tn:x∈Xn,x|n→ xα|n}是Tn上的一个子半群,称之为保整除变换半群,令DOn={α∈TD(Xn):x,y∈Xn,x≤y→xα≤yα},则DOn是TD(Xn)的一个子半群,称之为保整除保序有限变换半群,在此刻划了DOn的Green关系和正则元。     

分圆域Q(ξ)上矩阵方程g(X)=A有解的一个条件

文[1]在F=Q上讨论了f(x)与f(xm)的Galois群的阶的问题。本文我们就f=Q(ξ),A∈Mn(F),f(x)是分圆域Q(ξ)上矩阵A的n次不可约特征多项式,g(x)=xm-a∈F(x),以f(x)与f(g(x))的Galois群的阶来进一步讨论g(X)=A有解的一个条件。     

双单ω-半群上与格林关系有关的同余

在双单ω-半群上给出了与格林关系L,R,D,J,H有关的同余L~*,R~*,L~0,R~0,(ρ∨L)~0,(ρ∨R)~0,(ρ∧L)~*,和(ρ∧R)~*的刻画．     

关于剩余半群的几点注记

给出了双序集的几个性质 ,即S是半群 ,E(S)是S上的所有幂等元集 ,则 :(1)部分代数E(S)是一个双序集 ;(2 )对e ,f∈E(S) ,定义S1 (e,f) ={h∈U(e ,f) :ehf =ef} ,则S1 (e ,f) S(e,f) ;(3)若e,f∈E(S) ,则ef是S上的正则元 S1 (e,f)=S(e,f) ≠ ;(4 )若S的幂等元生成一个正则子半群 ,则E(S)是一个正则双序集 .同时给出了具有双序结构的剩余半群的一些性质 ,即 (1)S是半群 ,x ,y∈S ,若存在e,f∈E(S) ,使得eL x ,fR y ,则g∈U (e,f) ,xgy =(xg) ·(gy) ;(2 )S是剩余子半群 ,μ为S的弱中间幂等元 , a ∈S ,e∈E(S) ,有 (ⅰ )eu ,ue,ueu ∈E(S) ,(ⅱ )a uR aL ua ,(ⅲ )ua uR uauL ua u .     

用拉格朗日乘数法解决一类与凸函数有关的多元函数条件最值

<正>1凸函数的定义及性质凸函数的定义当x∈区间I时,若函数f(x)满足f″(x)≤(≥)0恒成立且f″(x)=0的解集是孤立的点集,即f'(x)是减(增)函数,则f(x)是I上的上(下)凸函数.例如,f(x)=xα(0<α<1,x>0),g(x)=logax(a>1,x>0),h(x)=sinx(0≤x≤π)都是上凸函数.凸函数的性质1函数f(x)是区间I上的上凸函     

函数解析式求解面面观

一、直接法例1已知f(x)=x2(x≥0)x(x<0),g(x)=x(x≥0)-x2(x<0),则x<0时,f[g(x)]为()(A)-x(B)-x2(C)x(D)x2解:当x<0时,g(x)=-x2<0,所以f[g(x)]=g(x)=-x2,选(B).求复合函数的解析式,先求内层函数,再求外层函数,另外,分段函数要注意变量的范围.二、换元法例2已知f(1-cosx)=sin2x,求f(x).解:令1-cosx=t则cosx=1-t,-1≤1-t≤1,所以0≤t≤2.所以f(t)=1-(1-t)2=-t2+2t(0≤t≤2)所以f(x)=-x2+2x(0≤x≤2)三、配方法例3f(x-1x)=x2+x12.求f(x).解:f(x-1x)=x2+x12=(x-1x)2+2,所以f(x)=x2+2.四、待定系数法例4已知f(x)=3x-1,f[h(x)]=g(x)=2x+3,h(x)为x…     

求数列a_(n+1)=qa_n+p(n)〈p(n)为多项式〉的通项的积分解法

设f(x)=a_x,x∈1[1,+∞],且f(1)=m,(m∈R), f(x+1)=qf(x)+p(x)显然,当x=n(n∈N)时,有f(n+1)=qf(n)+p(n)或a_(n+1)=q_n~a+p(n),当x=1时有f(2)=qf(1)+p(1)=qm+p(1),对(1)式两端关于x求导,可得     

关于Sn的幂等元的生成性质

摘要：设Tn是n元集Xn={1,2,…,n}上的全变换半群．Vd∈0,令F（a）={x∈Xn：xa=x},E（a）={（x/xa：a）：x∈xn＼F（a）},s（a）=（E（a）〉。讨论的是{F（a）}=0下的幂等元生成的子半群同构条件。     

半序线性空间的分子结构

给出数域F上线性空间的一类更一般的统一框架 ,即广义线性空间的概念 :设T是论域 ,F是数域 ,V(T) ={ρ｜ρ:T→F}, ρ ,σ∈V(T) , a∈F ,规定 ( ρ σ) (x) =ρ(x) σ(x) ,(aρ) (x) =a( ρ(x) ) ,则V(T)为F上的广义线性空间 .在该框架下引入半序关系 ,构造一类半序线性空间 (V ,≤ ) : α ,β ,γ ∈V , a∈F ,若α≤ β ,则1 )α γ≤ β γ且γ α≤γ β ;2 )当a≥ 0时 ,aα≤aβ,当a <0时 ,aβ≤aα .同时构造了分子概念 :格L中的元素a称为并既约元 ,若 x ,y∈L ,a=x∨y,则a=x或a=y ,L中非最小元的并既约元称为L中的分子 .并讨论其分子结构 ,从而为进一步探讨线性空间上的代数结构、序结构及拓扑结构的复合结构奠定理论基础     

带余除法在求数列通项中的应用

在高等代数中,有关于多项式除法的一个定理:设f(x)和g(x)是F[x]中的任意两个多项式,并且g(x)≠0,那么在F[x]中可以找到多项式q(x)和r(x),使f(x)=g(x)·q(x)+r(x),这里,或者r(x)=0,或者r(x)的次数小于g(x)的次数,     

格值有限自动机及其性质

提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果.     

一类IC拟适当半群

研究一类IC拟适当半群，即所谓的超拟适当半群。得到了这类半群的若干特征，特别地，建立了超拟适当半群类似于纯正半群的Hall—Yamada结构一种构造方式。最后，考虑了一种特殊情况。     

一类推广的双循环半群TE的Green关系

本文对一类半格的Munn半群进行了分析和讨论,得到了TE的G reen关系.     

关于射影正规半群的一个猜想的证明(英文)

证明了关于射影正规半群的一个猜想．     

π^＊-半群

本文给出了π^＊-半群的概念,证明了π^＊-半群是正则半群;π^＊-半群可以不是纯正半群,可以不是弱正则＊-半群．存在π^＊-半群无法重新定义＊运算使之成为弱正则π^＊-半群．     

一类半群的结构

研究了一类半群,利用半群代数理论及初等数论的方法,给出了一类半群的性质和结构,结合学习内容给出了此类半群的一个实例.     

关于格拟环的凸子格拟环格

主要讨论了格拟环的基本性质与凸子格拟环格 ,给出并证明了 :A)若L是一个格拟环 ,M是L的一个子拟环 ,则以下条件等价 :1)M是凸子格拟环 ;2 )M是凸的与定向的 ;3)M的右陪集R(M)是一个分配格 ,且 m1,m2 ∈L ,(M +m1) ∨ (M +m2 ) =M +m1∨m2 ,(M+m1) ∧(M+m2 ) =M+m1∧m2 .B)若L是一个格拟环 ,则C(L) ={M｜M是L的一个凸子格拟环 }是一个Brouwerian格 ,并且它是L的子拟环格的子格     

局部纯正半群的一个注记

本文证明了局部纯正半群的正则子半群、同态像和直积是局部纯正半群, 以及带与完全单半群的Pastijn 积是一个局部纯正半群。     

一类线性算子半群的生成定理

引进了广义C0半群及其C生成元的概念，得到了广义C0半群的一些性质和生成定理，推广了C0半群的结论，为直接用于讨论初值问题{d/dt(Cx(t))=Ax(t)Cx(0)=Cy奠定了基础。     

关于具有条件(S)的BCK-代数的剩余半群

本文证明了具有条件(S)的BCK-代数的伴随半群是一个可换蕴涵半群;同时讨论了具有条件(S)的BCK-代数的理想与它的伴随半群的序滤子之间的关系.