In Artin algebra representation theory there is an important result which states that when the order of G is invertible in A then gl.dim（AG）=gl.dim（A）. With the development of Hopf algebra theory, this result is g...In Artin algebra representation theory there is an important result which states that when the order of G is invertible in A then gl.dim（AG）=gl.dim（A）. With the development of Hopf algebra theory, this result is generalized to smash product algebra. As known, weak Hopfalgebra is an important generalization of Hopf algebra. In this paper we give the more general result, that is the relation of homological dimension between an algebra A and weak smash product algebra A#H, where H is a finite dimensional weak Hopf algebra over a field k and A is an H-module algebra.展开更多
In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the relation between the half-prime element and the Frame nucleu...In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the relation between the half-prime element and the Frame nucleus in a two-side Prequantale are obtained.展开更多
In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if...In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if （L, ≤） is a chain, if and only if there exists the unique dual atom in L. Also, it is given that a finite lattice implication algebra with order of a prime number is simple.展开更多
A new concept Graded Finite Poset is proposed in this paper. Through discussing some basic properties of it, we come to that the direct product of graded finite posets is connected if and only if every graded finite p...A new concept Graded Finite Poset is proposed in this paper. Through discussing some basic properties of it, we come to that the direct product of graded finite posets is connected if and only if every graded finite poset is connected. The graded function of a graded finite poset is unique if and only if the graded finite poset is connected.展开更多
The notions of u-quasi-Hopf algebras and the quantum dimension dimuM of a representation M by u are introduced.It is shown that a u-quasi-Hopf algebra H is semisimple if and only if there is a finite-dimensional proje...The notions of u-quasi-Hopf algebras and the quantum dimension dimuM of a representation M by u are introduced.It is shown that a u-quasi-Hopf algebra H is semisimple if and only if there is a finite-dimensional projective H-module P such that dimu P is invertible.展开更多
The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we ...The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we propose a new method to construct huge finite fields with the characteristic p = 5 by using an Artin-Schreier tower. Utilizing the recursive basis of the Artin-Schreier tower, we define a nmltiplication algorithm The algorithm can explicitly calculate the multiplication of two elements on the top finite field of this tower, without any primitive element. We also define a linear recurrence equation as an application, which produces a sequence of numbers, and call the new pseudorandom number generator Abstract Syntax Tree （AST） for p = 5. The experircental results show that our new pseudorandom number generator can produce a sequence of numbers with a long period.展开更多
Christopoulou Demetra（In his work, Hermann Weyl （1926） addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This pa...Christopoulou Demetra（In his work, Hermann Weyl （1926） addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This paper aims to show off the way Weyl＇s account of abstraction could offer a reply to Benacerraf＇s （1973） challenge to realism. Benacerraf argued that mathematical realism is not associated with a plausible epistemology about human access to abstract objects. Weyl deals with the method of abstraction by investigating certain cases of Fregean abstraction principles. He thinks that we can introduce shapes of geometrical images, integers mod m, circles, directions of lines etc. by means of certain creative acts of consciousness, especially intentionality towards proper relations between the elements of an initial domain. Weyl puts emphasis on intentions towards certain invariant characteristics of items that are involved in equivalence relations. Further, he claims that those invariants are transformed into ideal objects through a finite process that is involved in intuition. This paper, in the first place, attempts to make explicit Weyl＇s phenomenological leanings. Secondly, it argues that Weyl＇s explanation of how ideal mathematical objects become present to mind can address the epistemic issue concerning mathematical knowledge and can also be associated with a particular view which is implicit in his philosophy and retains realistic elements. Hence, it can address Benacerraf＇s problem.展开更多
In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space whic...In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space which consists of functions with vector valued in a general Banach space, and then describe the solution of these abstract boundary value problem by the abstract linear integral operator of Volterra type. We call this process the integral operator solving process.展开更多
Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. S...Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. Since then it has been developed and applied to several different fields. In this paper we will first give a brief introduction. Then give a survey on its applications to dynamic systems, to logic, to differential geometry, to abstract algebra, respectively.展开更多
Let A and F be left and right Noetherian rings and ∧ωr a cotilting bimodule. A necessary and sufficient condition for a finitely generated A-module to be ω-k-torsionfree is given and the extension closure of Tω^i ...Let A and F be left and right Noetherian rings and ∧ωr a cotilting bimodule. A necessary and sufficient condition for a finitely generated A-module to be ω-k-torsionfree is given and the extension closure of Tω^i is discussed. As applications, we give some results of ∧ωr related to l.id（ω） ≤ k.展开更多
An equivalent description for the torus knot is given in this paper, and the classification theorem of the torus knot is proved in an elementary method. Using the circular presentation of torus knot , we showed that t...An equivalent description for the torus knot is given in this paper, and the classification theorem of the torus knot is proved in an elementary method. Using the circular presentation of torus knot , we showed that the genus of the torus knot Kp,q is 1/2（p-1）（q-1） A knot called as bitorus knot is defined in the paper and showed . special that bitorus knot are all the connected sum of two torus knots.展开更多
基金Project supported by the Cultivation Fund of the Key Scientific and Technical Innovation Project, Ministry of Education of China (No. 704004), the Program for New Century Excellent Talents in Univer-sity (No. 04-0522), and the Natural Science Foundation of Zhejiang Province (No. 102028), China
文摘In Artin algebra representation theory there is an important result which states that when the order of G is invertible in A then gl.dim（AG）=gl.dim（A）. With the development of Hopf algebra theory, this result is generalized to smash product algebra. As known, weak Hopfalgebra is an important generalization of Hopf algebra. In this paper we give the more general result, that is the relation of homological dimension between an algebra A and weak smash product algebra A#H, where H is a finite dimensional weak Hopf algebra over a field k and A is an H-module algebra.
文摘In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the relation between the half-prime element and the Frame nucleus in a two-side Prequantale are obtained.
基金Supported by a grant of Natural Science Foundation of Guangdong Province in China（021073）
文摘In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if （L, ≤） is a chain, if and only if there exists the unique dual atom in L. Also, it is given that a finite lattice implication algebra with order of a prime number is simple.
基金Supported by the National Natural Science Foundation of China（60474022） Supported by the Henan Innovation Project for University Prominent Research Talents（2007KYCX018）
文摘A new concept Graded Finite Poset is proposed in this paper. Through discussing some basic properties of it, we come to that the direct product of graded finite posets is connected if and only if every graded finite poset is connected. The graded function of a graded finite poset is unique if and only if the graded finite poset is connected.
文摘The notions of u-quasi-Hopf algebras and the quantum dimension dimuM of a representation M by u are introduced.It is shown that a u-quasi-Hopf algebra H is semisimple if and only if there is a finite-dimensional projective H-module P such that dimu P is invertible.
基金supported by Overseas Scholars Research Fund of Heilongjiang Provinicial Education Department
文摘The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we propose a new method to construct huge finite fields with the characteristic p = 5 by using an Artin-Schreier tower. Utilizing the recursive basis of the Artin-Schreier tower, we define a nmltiplication algorithm The algorithm can explicitly calculate the multiplication of two elements on the top finite field of this tower, without any primitive element. We also define a linear recurrence equation as an application, which produces a sequence of numbers, and call the new pseudorandom number generator Abstract Syntax Tree （AST） for p = 5. The experircental results show that our new pseudorandom number generator can produce a sequence of numbers with a long period.
文摘Christopoulou Demetra（In his work, Hermann Weyl （1926） addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This paper aims to show off the way Weyl＇s account of abstraction could offer a reply to Benacerraf＇s （1973） challenge to realism. Benacerraf argued that mathematical realism is not associated with a plausible epistemology about human access to abstract objects. Weyl deals with the method of abstraction by investigating certain cases of Fregean abstraction principles. He thinks that we can introduce shapes of geometrical images, integers mod m, circles, directions of lines etc. by means of certain creative acts of consciousness, especially intentionality towards proper relations between the elements of an initial domain. Weyl puts emphasis on intentions towards certain invariant characteristics of items that are involved in equivalence relations. Further, he claims that those invariants are transformed into ideal objects through a finite process that is involved in intuition. This paper, in the first place, attempts to make explicit Weyl＇s phenomenological leanings. Secondly, it argues that Weyl＇s explanation of how ideal mathematical objects become present to mind can address the epistemic issue concerning mathematical knowledge and can also be associated with a particular view which is implicit in his philosophy and retains realistic elements. Hence, it can address Benacerraf＇s problem.
文摘In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space which consists of functions with vector valued in a general Banach space, and then describe the solution of these abstract boundary value problem by the abstract linear integral operator of Volterra type. We call this process the integral operator solving process.
基金Supported partly by National Natural Science Foundation of China under Grant No. 60221301 and 60334040 .Dedicated to Academician Han-Fu Chen on the occasion of his 70th birthday.
文摘Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. Since then it has been developed and applied to several different fields. In this paper we will first give a brief introduction. Then give a survey on its applications to dynamic systems, to logic, to differential geometry, to abstract algebra, respectively.
文摘Let A and F be left and right Noetherian rings and ∧ωr a cotilting bimodule. A necessary and sufficient condition for a finitely generated A-module to be ω-k-torsionfree is given and the extension closure of Tω^i is discussed. As applications, we give some results of ∧ωr related to l.id（ω） ≤ k.
文摘An equivalent description for the torus knot is given in this paper, and the classification theorem of the torus knot is proved in an elementary method. Using the circular presentation of torus knot , we showed that the genus of the torus knot Kp,q is 1/2（p-1）（q-1） A knot called as bitorus knot is defined in the paper and showed . special that bitorus knot are all the connected sum of two torus knots.
