交换分配半环上的最小分配格同余

§ 1 .　Introduction　　AsemiringSisanalgebraicstructure(S ,+,·)consistingofanon emptysetStogetherwithtwobinaryoperations +and·onSsuchthat(S ,+)and(S ,·)aresemigroupsconnectedbyring likedistributivity[1 ] .AsemiringSiscalledacommutativesemiringif (S ,+)and(S ,·)arebothcommutative.AcommutativesemiringiscalledacommutativedistributivityifinStheadditionisdistributiveaboutmultiplication ,i.e.,ab +c =(a+c) (b+c) ,a +bc=(a +b) (a+c) holdsforalla ,b,c∈S[2 ] .Anequivalentrelationρonasemiring…     

QUASI-FIELD AND SYSTEMS THEORY OVER QUASI-FIELD

Definition 1.Suppose that S is a set,(S,+,0)in a additive commutativemonoid,(S\O,·,1,-1)is a multiplication commutative group、 a∈S,o ·a=a·o=0and a,b,c∈S,a(b+c)=ab+ac.We call S a quasi-field. Theorem 1. Quasi—fields have only three kinds:     

不等式证明的几种方法

不等式是初等数学的重要内容 ,是研究方程和函数的重要工具 .不等式的证明题型多变 ,方法多样 ,技巧性强 ,无固定程序可循 .常用的不等式证明方法有比较法、综合法、分析法、函数法、放缩法、代换法、反证法、数学归纳法等等 .一、比较法 :比较法主要有作差比较法和作商比较法两种 .1.作差比较法 (简称比差法 ) :a、b、c≥ 0 ,求证 :a3 +b3 +c3 ≥ 3abc .证明 :a3 +b3 +c3 - 3abc=(a +b) 3 - 3ab(a +b) +c3 - 3abc=(a +b +c) 3 - 3(a +b)·c (a +b) +c -3ab(a +b +c)=(a +b +c) (a2 +b2 +c2 -ab -bc -ca)=12 (a +b +c)· (a -b) 2 + (b -c) …     

构造平面向量,解决三角问题

平面向量的引入 ,不仅给传统的中学数学增添了新的活力 ,也为一些三角问题的解决提供了新的思路 .下面就如何利用向量这一有力工具 ,简捷而巧妙地解决某些三角问题作一粗浅的探讨 .例 1　求sin2 2 0° +cos2 5 0° +sin2 0°cos5 0°之值 .解　构造向量a =(3sin2 0° ,sin2 0°) ,b =(3cos5 0° ,-cos5 0°) ,则a +b =(3(sin2 0° +cos5 0°) ,sin2 0° -cos5 0°)=(2 3sin30°cos10° ,2cos30°sin (- 10°) ) =(3cos10° ,- 3sin10°) .由 (a +b) 2 =a2 +2a·b +b2 ,有3=4sin2 2 0° +2 (3sin2 0°cos5 0° -sin2 0°cos5 0°) +4cos2 5 0…     

用向量证明不等式两例

由向量的内积:a·b=|a|·|b|·cosθ, 可得 因为 -1≤cosθ≤1, 所以有 这个结论在证明不等式时常常用到. 例1 已知口a2+b2+c2=1,x2+y2+z2= 1,其中a、b、c、x、y、z均为实数,求证: -1≤ax+by+cz≤1. 证明 设p=(a,b,c), q=(x,y,z), 则 ,即.     

利用复数的除法证明不等式

25一2 妻 设。、b、c、‘都是实数,则 a+b‘ac+b‘.be一ad, 一丫-一石号-一犷气一~万了呀~一,~下一石,否 C十心忿C一十已.C一十『’(·+专)’十(,+合)’这是大家熟知的复数的除法运算.用它来处理一些不等式的证明,不仅简单明快,而且给人享受数学的奇异之美. 例1如果a,b为实数,那么aZ+b,)2a6(当且仅当a二b时取“=”号). 证①当a二b二O时,命题为真. ②当a,b中至少有一个不为零时 构造复数a+b‘与b+a‘(a,b任无) 由(a+b‘)/(b七a‘)=(ab+ba)/(a,+b.)+(bZ一aZ)‘/(a,+bZ)(:,少eR)构造复,(·十约十(;十分与1·、‘, 谧(·+专)+(;+韵‘ 1十落(…     

关于毕达哥拉斯三元数组的一个意外发现

我们童外地发现任何毕达哥拉斯毛元数组(a,权日((a.八c):a、权。〔Nll满足矿+方‘二‘).具有如下的性质: 毕达哥拉斯j几儿数组(“,b.‘)l!,的几个数的乘积必能艘印整除,即有即}a’b.‘; 若以上关系确能成认,则它将为我们提供·种排除众多的非毕达哥拉斯三元数组的简易方法,《注意:其逆不真,如动}l·l·动,但r+厂手附). 这个关系的证明是基于所有的毕达哥拉斯三元数组(a.八c)均可由公式 a=(扩一矿)r b=(2“动r c=(矿+扩)r产生这一事实,这里“,:,和r都是正整数,且:,>“.因此,此种三j己欣的积a·b·c能被印镇除,必须且只须 (:尹一矿)(Zut小(扩…     

对一道习题几种不同解法的探讨

用多种解法解一道玫学题,并对不同的解法进行比较、分析是学好数学的一个重要方法。我们举例来说明之。 例题已知a急+乙忿=1,c,+d,二1,ae+石d=0,求证a之+e念=i,石“+d:==i,a西+ed=0。 证明(1)代数证法‘ 由已知条件得. 石注d生=(1一a忍)(1一cZ)==1一a:一e’+a月‘:, a:+e,二1+a忍e:一b 2d2 =1十(ac一乙刁)(‘_一bd)二1, 同理b忍+‘名二lobZdZ‘:‘c‘ =1斗(ac十bd)(bd一ae)=1 .’. ab+ed二(a么十西“)cd:、(e’+d’)ab =(ad+bc)(ac一:二d)=0. (2)三角i正法令a二sioa,c二:in夕,则丢·。。sa万·cos夕,其中51,asin刀+cosac口s夕二oee。石d=5…     

两个条件不等式及其应用

命题一不相等的正数a、b、c、‘,。为最大数,若。各式相乘可得+‘一b+一则‘,,“‘,‘2,告+令>士十于 证明(1)由题设可得a一。二b一d>O二b>d. 设a一b二c一建=‘,则‘>0,且a二‘+吞,e=汉+‘ .’.耐=(‘+b)注=从+记,倪=b(d十心)=沉+倪 比较两式,,.’b>‘,‘>O,:.“>血,:.加>毗 (2),.’a、b、c汉均为正数,a+滚=石+e,酥>吐刊二令>宁,:告+专>朴告推论不相等的正数。、b、。,若2b二。十。,则(l)‘子应用举例:例l,日N,证明:!(证明略) (·l)2<(粤户,.…!<(岑,·,综上所述…,匀竺宁)’, 例:已知·。N一列,求证士+南十:+六+汾’· 证…     

一个有趣的代数式

a~3+b~3+c~3-3abc是一个有趣的代数式。它是一个三次齐次式,整齐、简单、易记,更重要的是它具有很多有用的性质。性质1° a~3+b~3+c~3-3abc能被a+b+c整除。事实上,a~3+b~3+c~3-3abc =(a+b+c)(a~2+b~2+c~2-db-bc-ca) 所以 a~3+b~3+c~3-3abc能被a+b+c整除。性质2°设a,b,c为非负实数, 则a~3+b3+c~3≥3abc,当且仅当a=b=c时取等号。证明∵a~2+b~2+c~2-ab-bc-ca =1/2〔(a-b)~2+(b-c)~2+(c-d)~2〕∴a~3+b~3+c~3-3abc=(a+b+c)·1/2〔(a-b)~2+(b-c)~2+(c-a)~2〕∵a≥0,b≥0,c≥0,且1/2〔(a-b)~2+     

关于拟正则半环上可除半环同余的注记

研究了拟正则半环上的同余,给出了拟正则半环上一类理想的性质,并利用这类理想给出了拟正则半环上可除半环同余的几种等价形式.     

一类广义正则半环上可除半环同余的等价刻画

研究了一类广义正则半环的理想,利用这类理想,得到了这类半环上同余的几种刻画.     

关于几类2阶ai-半环生成的簇的研究

借助半环的格林关系研究了由所有2阶ai-半环生成的半环簇S2的一些子簇．其次,定义了与S2中半环的元素相关的同余关系,并揭示了同余关系之间的联系．     

加法幂等元满足置换等式的纯整半环上的同余

广义逆半群上的同余早已开始研究.在这类半群的性质研究基础上,本文主要给出了加法幂等元满足置换等式的纯整半环上的同余刻画,并且给出了这类半环的同态像的一个结构定理.     

关于半环半群

This paper characterizes the multiplication operator semigroup of semiring semigroup by using the tensor product of semigroups, and by using the endomorphism semigroup, and considers some properties of the multiplication operator semigroup of semiring semigroup.     

一类广义正则半环上同余的特征

在半环中引入了一类理想的概念,讨论了这类理想的性质,并研究了一类广义正则半环上的同余,给出了这类半环上一种半环同余的特征．     

基于可减的实半环与实素理想

半环R被称为实半环,若对于任意的n∈N,方程x1^2＋…＋xn^2=0在R中只有零解：x1=…=xn=0.为了刻画实半环,引入了实理想和极小素理想的概念,利用同余的方法,得到了可减半环类中实半环的结构定理.     

序半群的一类正则同余

设S是有向序半群,本文给出了S上的一类正则同余,称为强序同余的定义及性质.证明了S的强序同余是强正则同余,但反之不成立.同时证明了强序同余格SOC(S)是S的同余格C(S)关于通常集合的交和传递积的V-完备的分配子格.     

半环上同余的刻画

引入半环的完全素理想的概念.利用这一概念,研究了半环的同余,分别给出了半环的子直积分解的若干结果和半环同余的一种刻画.