分配半环上的可除半环同余

§ 1.　Introduction　　AsemiringSisanalgebraicsystem (S ,+ ,·)consistingofanon_emptysetStogetherwithtwobinaryoperations +and·onSsuchthat (S ,+ )and (S ,·)aresemigrolupscon nectedbyring_likedistributivity .AsemiringSiscalleddistributiveifinStheadditionisdis tributiveaboutmultiplication ,i.e .ab+c=(a+c) (b +c)anda+bc=(a +b) (a+c)holdforalla ,b ,c∈S .AsemiringSiscalleddivisibleif(S ,·)isagroup .AnequivalencerelationρonasemiringSiscalledacongruenceonS ,iffρisacongruenceon (S ,+ )and (…     

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) …     

ON INTERPOLATION BY S_3~1(△_mn~(1))(I)

§0 Introduction Let △_(mn)~(1) be a subdivision of D: [a,b]x[c,d] (Fig.1). l_1,_2be lengths of [a,b] and [c,d] respectively, and h_1=l_1/m, h_2=l_2/n,l=max(l_1,l_2). Suppose that S∈S1/3(△_(mn)~(1)). In §1-§5 we consider thefollowing interpolation problem:     

用向量证明不等式两例

由向量的内积: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), 则 ,即.     

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

平面向量的引入 ,不仅给传统的中学数学增添了新的活力 ,也为一些三角问题的解决提供了新的思路 .下面就如何利用向量这一有力工具 ,简捷而巧妙地解决某些三角问题作一粗浅的探讨 .例 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…     

ON INTERPOLATION BY S_2~1(△_(m,n)~((2)))

Let △_(m,n)~(2)be a subdivision of D:[a,b]×[c,d](Fig.1),_1arelengths of[a,b]and[c,d]respectively,and h_1=_1/m,h_2=_2/n.     

一个例题的变式及推广

1　一个例题文 [1 ]中钱亦青老师举到如下例题 :求函数 f(a ,b ,c) =1a3(b +c) + 1b3(c+a)+ 1c3(a +b) 在条件a >0 ,b >0 ,c >0 ,abc =1之下的最小值 .该题变式为 :命题 1　已知a >0 ,b>0 ,c>0且abc=1 ,求证 :1a3(b+c) + 1b3(c+a) + 1c3(a +b) ≥32 ( 1 )现采用文 [2 ]构造函数的方法证明不等式( 1 ) .证　为了书写方便 ,设U =1a3(b +c) +1b3(c+a) + 1c3(a+b) ,V =1a+ 1b+ 1c.构造函数g(x) =xaa(b +c) -a(b+c) 2　 + xbb(c+a) -b(c+a) 2　 + xcc(a +b) -c(a +b)2=x21a3(b +c) + 1b3(c+a)　 + 1c3(a+b)　 - 2x 1a+ 1b+ 1c + [a(b +c)　 +b(c…     

2005年全国各地高考与模拟数学试题评析——平面向量与复数

1考点与命题1.1客观题考点分析1.1.1平面向量在几何方面的考查,一般是根据几何元素所具有的特性或向量满足某些条件来判定其他几何元素或向量所具有的属性.例1[全国卷Ⅰ(11)]点O是三角形ABC所在平面内一点,满足OA·OB=OB·OC=OC·OA,则点O是△ABC的()(A)三个内角平分线的交点.(B)三条边的垂直平分线的交点.(C)三条中线的交点.(D)三条高线的交点.简解由OA·OB=OA·OC OA·(OB-OC)=OA·CB=0,即得选(D).例2[江西卷(6)]已知向量a=(1,2),b=(-2,-4),|c|=5,若(a+b)·c=52,则a与c的夹角为()(A)30°.(B)60°.(C)120°.(D)150°.简…     

一个三角形面积不等式的推广

文献 [1]给出一个三角形面积不等式 :设面积为△的△ ABC的三边长为 a、b、c,令a1=(b c) ,b1=(c a) ,c1=(a b) ,则以 a1、b1、c1为边可作成△ A1B1C1,并设其面积为△ 1,则有　　　　　△≤△ 1. (1)本文将围绕上述定理进行推广 .1　预备知识引理 1[2 ] 　设△ ABC的三边长及     

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

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

分配格和素域生成的半环簇

Let V be the variety generated by two-element distributive lattice B2 and k prime fields Fp1,...,Fpk. That is to say that V = HSP{B2, Fp1,...,Fpk}. It is proved that the variety V is finitely based. Also, the two-element distributive lattice B2 and prime fields Fp1,..., Fpk are, up to isomorphism, the only subdirectly irreducible semirings in V. Some known results are extended and enriched.     

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

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

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

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

The lattice of idempotent distributive semiring varieties

A solution is given for the word problem for free idempotent distributive semirings. Using this solution the latticeL (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out thatL (ID) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the latticeL(B) of all band varieties. ThereforeL(ID) is countably infinite and distributive. Every subvariety of ID is finitely based. Project supported by the National Natural Science Foundation of China (Grant No. 19761004) and the Provincial Applied Fundamental Research Foundation of Yunnan (96a001z).     

Distributive Quantales

A concept of distributive quantale is introduced. It provides to extend some basic results of locale theory for quantales.     

关于分配格的判定问题

针对分配格判定时容易出错这一教学难题,提出可以利用学生专业特点从而结合计算机这一工具来帮助解决,并通过一个典型例子来具体说明,该例子同时也指出了教材习题解答书中的一处错误.认为本文提出的这一教学思想对于离散数学的教学有一定的启示.     

分配格上矩阵的特征向量

主要讨论分配格上的矩阵A的标准特征向量问题.从基本概念出发,给出了全部标准特征向量的计算方法。     

格中两类分配等式的关系研究

针对离散数学经典教材中提出的"交运算对并运算的分配等式和并运算对交运算的分配等式是等价的"这一结论,分析了一种常见的错误证明,通过一个反例说明该结论在一般的格中不一定成立,进一步证明这两个分配等式在且仅在模格中是等价的,并提出利用定义判断一个模格是否是分配格的简便算法.作为一个应用,重新证明了该教材中的一条定理.