The lattice of idempotent distributive semiring varieties

来源 :中国科学:数学英文版 | 被引量 : 0次 | 上传用户:QIANNENGWUXIAN
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
A solution is given for the word problem for free idempotent distributive semirings. Using this solution the lattice L(ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out that L(ID) is isomorphic to the d
其他文献
Let N be a sufficiently large even integer and q≥1, (l<sub>i</sub>,q)=1(i=1,2), l<sub>1</sub>+l<sub>2</sub>≡N(modq).It is proved that the equation N=p+P<sub>2</sub>
Let K<sub>6</sub> be a real cyclic sextic number field, and K<sub>2</sub>, K<sub>3</sub> its quadratic and cubic subfield. Let h(L) denote the ideal class number
1 Preliminaries Let (M, g) and (N, h) be two compact Riemannian manifolds with dim M=m. We may embed (N, h) isometrically into a Euclidean space R~l so that N i
Let M be a compact Riemann manifold with the Ricci curvature ≥ - R(R = const. 】0). Denote by d the diameter of M. Then the first eigenvalue λ<sub>1</sub> of M
The characteristic tilting modules of quasi-hereditary algebras which are dual extensions of directed monomial algebras are explicitly constructed; and it is sh
Let T be the universal Teichm(?)ller space viewed as the set of all normalized quasisymmetric homeomorphism of the unit circle S<sup>1</sup> = (?)Δ. Denote by V<su
Hypergraphs are the most general structures in discrete mathematics. Acyclic hypergraphs have been proved very useful in relational databases. New systems of ax
Let S be a finite linear space, and let G be a group of automorphisms of S. If G is soluble and line-transitive, then for a given k but a finite number of pairs
Applications of locally fine property for operators are further developed. Let E and F be Banach spaces and f: U( x0) E—→F be C1 nonlinear map, where U (x0) i
A result due to Mather on the existence of Aubry-Mather sets for superlinear positive definite Lagrangian systems is generalized in one-dimensional case. Applic