EI代数

为了更好地解决模糊概念的表示问题,文[1]引入了AFS代数和AFS结构,为了讨论AFS代的拓扑性质,本文在[1]的基础上,进一步了讨论了EI代数的性质与结构,并对其子代数EM－{φ}的性质和结构进行了讨论。     

“Hopf Algebra”(E.Abe)中若干基本结论的修正或改进

本文对专著“Hopf Algebra”（E．Abe）中若干基本结论或其证明的不妥或错误之进行了修正和改进。     

Quasi-range-preserving Operator

Ｑｕａｓｉ－ｒａｎｇｅ－ｐｒｅｓｅｒｖｉｎｇＯｐｅｒａｔｏｒＬａｉＣｈｕｎｈｕｉ（赖春晖）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＺｈａｎｇｚｈｏｕＴｅａｃｈｅｒｓ，Ｃｏｌｌｅｇｅ，ＺｈａｎｇｚｈｏｕＦｕｊｉａｎ，３６３０００）Ａｂｓｔｒａ...     

Poisson deleting derivations algorithm and Poisson spectrum

Cauchon [5 Cauchon, G. (2003). Effacement des dérivations et spectres premiers des algèbres quantiques. J. Algebra 260(2):476–518.[Crossref], [Web of Science ®] , [Google Scholar]] introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus orbits of symplectic leaves in matrix Poisson varieties and totally non-negative cells in totally non-negative matrix varieties [12 Goodearl, K. R., Launois, S., Lenagan, T. (2011). Torus invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves. Math. Z. 269(1):29–45.[Crossref], [Web of Science ®] , [Google Scholar]]. This led to recent progress in the study of totally non-negative matrices such as new recognition tests [18 Launois, S., Lenagan, T. (2014). E?cient recognition of totally non-negative matrix cells. Found. Comput. Math. 14:371–387.[Crossref], [Web of Science ®] , [Google Scholar]]. The aim of this article is to develop a Poisson version of the deleting derivations algorithm to study the Poisson spectra of the members of a class 𝒫 of polynomial Poisson algebras. It has recently been shown that the Poisson Dixmier–Moeglin equivalence does not hold for all polynomial Poisson algebras [2 Bell, J., Launois, S., Sanchez, O. L., Moosa, R. Poisson algebras via model theory and differential-algebraic geometry. J. Eur. Math. Soc. (to appear). [Google Scholar]]. Our algorithm allows us to prove this equivalence for a significant class of Poisson algebras, when the base field is of characteristic zero. Finally, using our deleting derivations algorithm, we compare topologically spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.     

Symbol sense with a symbolic-graphical system: a story in three rounds

The paper consists of a trilogy of high-school teachers solving an algebraic problem while learning to use a Computer Algebra System (CAS) in 1995, 1998, and 2001. The different approaches the teachers used and the ways the symbolic-graphical software influenced their solution process are discussed in terms of theoretical views on “symbol sense,” and regarding the notion of “instrumentation” developed among the CAS-in-education community. Two epistemological perspectives of symbol sense that were involved in the creation of instrumentation schemes were identified: (a) awareness of the special ways that the CAS software utilizes (makes sense of) symbols in algebraic manipulations and in implicit plotting, and (b) the need to make explicit the algebraic interpretations of sophisticated graphs in relation to the context of the problem. Consequently, the instrumentation schemes led to the development of advanced symbol sense.     

Revival of a classical topic in differential geometry: the exploration of envelopes in a computerized environment

Learning mathematics in a technology-rich environment enables us to revive classical topics which have been removed from the curriculum a long time ago. Both theoretical issues and applications can be studied with an experimental process. We present how envelopes of 1-parameter families of plane curves and some of their applications can be presented early in the curriculum either for pre-service teachers or for in-service teachers. This approach may be useful for students in an engineering curriculum. Working with technology yields important effects, such as reviving classical topics, broadening perspectives on already known topics, and enhancing the learner's experimental skills, where conversion between various registers of representation is an important issue.     

(∈,∈∨ q(λ,μ))-模糊布尔代数

给出(∈,∈∨q(λ,μ))-模糊布尔代数及广义模糊布尔代数的概念,得到了(∈,∈∨ q(λ,μ))-模糊布尔代数的一些等价刻画及基本性质,另外,还研究了它的的同态像与同态原像的基本性质.     

图的最大二等分问题的低秩可行方向算法

基于图的最大二等分问题的半定规划松弛模型,利用矩阵的低秩分解技巧,给出了该问题的半定规划松弛的一种低秩可行方向算法.在一定的条件下,证明了算法的收敛性.结合0.699随机扰动方法得到原问题的近似最优解.数值实验表明该方法能有效地求解图的最大二等分问题.