The investigation of congruences on generalized inverse semigroups is initiated. Following some properties of such semigroups, the congruences on an orthodox semiring whose idempotents satisfy permutation identities a...The investigation of congruences on generalized inverse semigroups is initiated. Following some properties of such semigroups, the congruences on an orthodox semiring whose idempotents satisfy permutation identities are established. In addition, we give a structure theorem of homomorphic image of this kind of orthodox semirings.展开更多
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-elem...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.展开更多
In this paper, we describe all the divisible semiring congruences on a distributive semiring S and also establish a one_to_one, inclusion_preserving mapping from the set of full, closed, self_conjagate, ideal subsemir...In this paper, we describe all the divisible semiring congruences on a distributive semiring S and also establish a one_to_one, inclusion_preserving mapping from the set of full, closed, self_conjagate, ideal subsemirings of S to the set of all divisible semiring congruences on S.展开更多
Let S be an antinegative commutative semiring without zero divisors and Mn（S） be the semiring of all n × n matrices over S. For a linear operator L on Mn（S）, we say that L strongly preserves nilpotent matrice...Let S be an antinegative commutative semiring without zero divisors and Mn（S） be the semiring of all n × n matrices over S. For a linear operator L on Mn（S）, we say that L strongly preserves nilpotent matrices in Mn（S） if for any A ∈ Mn（S）, A is nilpotent if and only if L（A） is nilpotent. In this paper, the linear operators that strongly preserve nilpotent matrices over S are characterized.展开更多
In this paper, we define the fuzzy k_i deal as a new fuzzification of the k_ideal in a semiring. Also we study the properties of the image and inverse image of a fuzzy k_ideal in a se miring under homomorphism. For e...In this paper, we define the fuzzy k_i deal as a new fuzzification of the k_ideal in a semiring. Also we study the properties of the image and inverse image of a fuzzy k_ideal in a se miring under homomorphism. For example, the fuzzy k_ideal in the nonnegative integers semiring N is given.展开更多
The idempotent semirings Rmax and Rmin play a crucial role in several areas of mathematics and their applications such as discrete mathematics, algebraic geometry, computer science, computer languages, linguistic prob...The idempotent semirings Rmax and Rmin play a crucial role in several areas of mathematics and their applications such as discrete mathematics, algebraic geometry, computer science, computer languages, linguistic problems, optimization theory, discrete event systems, fuzzy logics. In this paper we consider the expansion of the semirings Rmax and Rmin with residuals and describe how to use these expended semirings in public key cryptography.展开更多
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 multiplicat...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.展开更多
On the basis of concepts of bipolar fuzzy sets, we establish a new framework of bipolar fuzzy subsemirings（resp., ideals） which is a generalization of traditional fuzzy subsemirings（resp., ideals） in semirings. Th...On the basis of concepts of bipolar fuzzy sets, we establish a new framework of bipolar fuzzy subsemirings（resp., ideals） which is a generalization of traditional fuzzy subsemirings（resp., ideals） in semirings. The concepts of bipolar fuzzy subsemirings（resp., ideals） are introduced and related properties are investigated by means of positive t-cut, negative s-cut and equivalence relation. Particularly, the notion of a normal bipolar fuzzy ideal is given, and some basic properties are studied in this paper.展开更多
In this paper, we discussed the property of rectangular band semiring congruence and ring congruence on a semiring and gave some characterizations and structure of rectangular ring congruence on an E-inversive semiring.
In this paper,the semirings with invariant basis numbers are investigated.First,we give some properties of a semiring which has an invariant basis number,and then give some necessary and sufcient conditions that the d...In this paper,the semirings with invariant basis numbers are investigated.First,we give some properties of a semiring which has an invariant basis number,and then give some necessary and sufcient conditions that the direct sum of two semirings has an invariant basis number.As an application,we prove that division semirings,quasilocal semirings and stably fnite semirings have invariant basis numbers,respectively.展开更多
Let M be a finitely generated free semimodule over a semiring S with identity having invariant basis number property with a basisα={α1,...,αk}.The complement■of the reduced non-zero component graph■of M,is the si...Let M be a finitely generated free semimodule over a semiring S with identity having invariant basis number property with a basisα={α1,...,αk}.The complement■of the reduced non-zero component graph■of M,is the simple undirected graph with■as the vertex set and such that there is an edge between two distinct vertices■and■if and only if there exists no i such that both ai,biare non-zero.In this paper,we show that the graph■is connected and find its domination number,clique number and chromatic number.In the case of finite semirings,we determine the degree of each vertex,order,size,vertex connectivity and girth of■.Also,we give a necessary and sufficient condition for■to be Eulerian or Hamiltonian or planar.展开更多
In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-induced valuation algebras to exist are presented respectively. Then a general valuation homomorphism ba...In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-induced valuation algebras to exist are presented respectively. Then a general valuation homomorphism based on different domains is defined, and the corresponding homomorphism theorem of valuation algebra is proved.展开更多
On completely regular semirings,we give alternative characterizations for the kernel of a congruence and idempotent pure congruences.Then we give alternative characterizations for the trace of a congruence and idempot...On completely regular semirings,we give alternative characterizations for the kernel of a congruence and idempotent pure congruences.Then we give alternative characterizations for the trace of a congruence and idempotent separating congruences.In addition,we conclude that a congruence is uniquely determined by its kernel and trace.展开更多
This paper deals with orthodox semirings whose additive idempotents satisfy permutation identities. A structure theorem for such semirings is established.
Let S be an antinegative commutative semiring having no zero divisions or finite general Boolean Algebra and μ(S) the set of n×n matrices over S. In this paper we characterize the structure of the senigroup n,...Let S be an antinegative commutative semiring having no zero divisions or finite general Boolean Algebra and μ(S) the set of n×n matrices over S. In this paper we characterize the structure of the senigroup n,(S) of linear operators on μn,(S) that strongly preserve the M-P inverses of matrices.展开更多
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...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 direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the lattice L (B) of all band varieties. Therefore L(ID) is countably infinite and distributive. Every subvariety of ID is finitely based.展开更多
In this paper, we generalize Clifford semirings to left Clifford semirings bymeans of the so-called band semirings. We also discuss a special case of this kind of semirings,that is, strong distributive lattices of lef...In this paper, we generalize Clifford semirings to left Clifford semirings bymeans of the so-called band semirings. We also discuss a special case of this kind of semirings,that is, strong distributive lattices of left rings.展开更多
Semirings which are a disjoint union of rings form a variety S which contains the variety of all rings and the variety of all idempotent semirings, and in particular, the variety of distributive lattices. Various stru...Semirings which are a disjoint union of rings form a variety S which contains the variety of all rings and the variety of all idempotent semirings, and in particular, the variety of distributive lattices. Various structure theorems are established which bring insight into the structure of the lattice of subvarieties of S.展开更多
基金Supported by the National Natural Science Foundation of China(Grant Nos.1096101411101354)+1 种基金the Natural Science Foundation of Jiangxi Provincethe Science Foundation of the Education Department of Jiangxi Province
文摘The investigation of congruences on generalized inverse semigroups is initiated. Following some properties of such semigroups, the congruences on an orthodox semiring whose idempotents satisfy permutation identities are established. In addition, we give a structure theorem of homomorphic image of this kind of orthodox semirings.
基金China Postdoctoral Science Foundation(Grant No.2011M501466)the Natural Science Foundation of Shannxi Province(Grant No.2011JQ1017)
文摘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.
文摘In this paper, we describe all the divisible semiring congruences on a distributive semiring S and also establish a one_to_one, inclusion_preserving mapping from the set of full, closed, self_conjagate, ideal subsemirings of S to the set of all divisible semiring congruences on S.
文摘Let S be an antinegative commutative semiring without zero divisors and Mn（S） be the semiring of all n × n matrices over S. For a linear operator L on Mn（S）, we say that L strongly preserves nilpotent matrices in Mn（S） if for any A ∈ Mn（S）, A is nilpotent if and only if L（A） is nilpotent. In this paper, the linear operators that strongly preserve nilpotent matrices over S are characterized.
文摘In this paper, we define the fuzzy k_i deal as a new fuzzification of the k_ideal in a semiring. Also we study the properties of the image and inverse image of a fuzzy k_ideal in a se miring under homomorphism. For example, the fuzzy k_ideal in the nonnegative integers semiring N is given.
文摘The idempotent semirings Rmax and Rmin play a crucial role in several areas of mathematics and their applications such as discrete mathematics, algebraic geometry, computer science, computer languages, linguistic problems, optimization theory, discrete event systems, fuzzy logics. In this paper we consider the expansion of the semirings Rmax and Rmin with residuals and describe how to use these expended semirings in public key cryptography.
文摘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.
基金Supported by the National Natural Science Foundation of China (Grant No.11071151)
文摘On the basis of concepts of bipolar fuzzy sets, we establish a new framework of bipolar fuzzy subsemirings（resp., ideals） which is a generalization of traditional fuzzy subsemirings（resp., ideals） in semirings. The concepts of bipolar fuzzy subsemirings（resp., ideals） are introduced and related properties are investigated by means of positive t-cut, negative s-cut and equivalence relation. Particularly, the notion of a normal bipolar fuzzy ideal is given, and some basic properties are studied in this paper.
基金Supported by the National Natural Science Foundation of China（10961014,11101354） Supported by the Natural Science Foundation of Jiangxi Province（0611051） Supported by the Science Foundation of the Education Department of Jiangxi Province（GJ 09459）
文摘In this paper, we discussed the property of rectangular band semiring congruence and ring congruence on a semiring and gave some characterizations and structure of rectangular ring congruence on an E-inversive semiring.
基金Sichuan Nature Science Fund for Distinguished Young Scholars(Grant No.2025NSFJQ0048)。
文摘In this paper,the semirings with invariant basis numbers are investigated.First,we give some properties of a semiring which has an invariant basis number,and then give some necessary and sufcient conditions that the direct sum of two semirings has an invariant basis number.As an application,we prove that division semirings,quasilocal semirings and stably fnite semirings have invariant basis numbers,respectively.
基金supported by CSIR Emeritus Scientist Scheme(21(1123)/20/EMR-II)of Council of Scientific and Industrial Researchthis research is also supported by Dr.M.G.R.Research Scholarship by Manonmaniam Sundaranar University。
文摘Let M be a finitely generated free semimodule over a semiring S with identity having invariant basis number property with a basisα={α1,...,αk}.The complement■of the reduced non-zero component graph■of M,is the simple undirected graph with■as the vertex set and such that there is an edge between two distinct vertices■and■if and only if there exists no i such that both ai,biare non-zero.In this paper,we show that the graph■is connected and find its domination number,clique number and chromatic number.In the case of finite semirings,we determine the degree of each vertex,order,size,vertex connectivity and girth of■.Also,we give a necessary and sufficient condition for■to be Eulerian or Hamiltonian or planar.
基金The NSF(60873119)of Chinathe Higher School Doctoral Subject Foundation (200807180005)of Ministry of Education of China
文摘In this paper, firstly, a necessary condition and a sufficient condition for an isomorphism between two semiring-induced valuation algebras to exist are presented respectively. Then a general valuation homomorphism based on different domains is defined, and the corresponding homomorphism theorem of valuation algebra is proved.
基金Natural Science Foundation of China(11971383,11801239)Shaanxi Fundamental Science Research Project for Mathematics and Physics(22JSY023).
文摘On completely regular semirings,we give alternative characterizations for the kernel of a congruence and idempotent pure congruences.Then we give alternative characterizations for the trace of a congruence and idempotent separating congruences.In addition,we conclude that a congruence is uniquely determined by its kernel and trace.
文摘This paper deals with orthodox semirings whose additive idempotents satisfy permutation identities. A structure theorem for such semirings is established.
文摘Let S be an antinegative commutative semiring having no zero divisions or finite general Boolean Algebra and μ(S) the set of n×n matrices over S. In this paper we characterize the structure of the senigroup n,(S) of linear operators on μn,(S) that strongly preserve the M-P inverses of matrices.
基金Project supported by the National Natural Science Foundation of China (Grant No. 197610O4)the Provincial Applied Fundamental Research Foundation of Yunnan (96a001z).
文摘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 direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the lattice L (B) of all band varieties. Therefore L(ID) is countably infinite and distributive. Every subvariety of ID is finitely based.
文摘In this paper, we generalize Clifford semirings to left Clifford semirings bymeans of the so-called band semirings. We also discuss a special case of this kind of semirings,that is, strong distributive lattices of left rings.
基金Guo Yuqi was supported by the National Natural Science Foundation of China (Grant No. 10071068) the Provincial Applied Fundamental Research Foundation of Yunnan Province of China.
文摘Semirings which are a disjoint union of rings form a variety S which contains the variety of all rings and the variety of all idempotent semirings, and in particular, the variety of distributive lattices. Various structure theorems are established which bring insight into the structure of the lattice of subvarieties of S.
