复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

A continuous function space with a Faber basis

Let be compact with #S=∞ and let C(S) be the set of all real continuous functions on S. We ask for an algebraic polynomial sequence (P_n)_n=0^∞ with deg P_n=n such that every fC(S) has a unique representation f=∑_i=0^∞ α_iP_i and call such a basis Faber basis. In the special case of , 0<q<1, we prove the existence of such a basis. A special orthonormal Faber basis is given by the so-called little q-Legendre polynomials. Moreover, these polynomials state an example with A(S_q)≠U(S_q)=C(S_q), where A(S_q) is the so-called Wiener algebra and U(S_q) is the set of all fC(S_q) which are uniquely represented by its Fourier series.     

Boundaries for algebras of holomorphic functions

Let A_u(B_G) be the Banach algebra of all complex valued functions defined on the closed unit ball B_G of a complex Banach space G which are uniformly continuous on B_G and holomorphic in the interior of B_G, endowed with the sup norm. A characterization of the boundaries for A_u(B_G) is given in case G belongs to a class of Banach spaces that includes the pre-dual of a Lorentz sequence space studied by Gowers in Israel J. Math. 69 (1990) 129-151. The non-existence of the Shilov boundary for A_u(B_G) is also proved.     

Natural Operators Lifting Vector Fields to Bundles of Weil Contact Elements

Let A be a Weil algebra. The bijection between all natural operators lifting vector fields from m-manifolds to the bundle functor K ^A of Weil contact elements and the subalgebra of fixed elements SA of the Weil algebra A is determined and the bijection between all natural affinors on K ^A and SA is deduced. Furthermore, the rigidity of the functor K ^A is proved. Requisite results about the structure of SA are obtained by a purely algebraic approach, namely the existence of nontrivial SA is discussed.     

Artinian level modules and cancellable sequences

In order to use dualization to study Hilbert functions of artinian level algebras we extend the notion of level sequences and cancellable sequences, introduced by Geramita and Lorenzini, to include Hilbert functions of certain artinian modules. As in the case of algebras a level sequence is cancellable, but now by dualization its reverse is also cancellable which gives a new condition on level sequences. We also give a characterization of the cancellable sequences involving Macaulay representations.     

A complete set of numerical invariants for a subfactor

We show that certain numerical invariants associated naturally to a subfactor planar algebra constitute a complete family in the sense of determining the isomorphism class of the subfactor planar algebra.In the course of the proof, we show also that planar algebra isomorphisms of subfactor planar algebras can always be chosen to be ∗-preserving. This latter statement generalises the fact that ‘Hopf algebra isomorphisms of finite-dimensional Kac algebras can be chosen to be ∗-preserving’.     

模余代数和Morita-Takeuchi关系

H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。     

Classification of graded Hecke algebras for complex reflection groups

The graded Hecke algebra for a finite Weyl group is intimately related to the geometry of the Springer correspondence. A construction of Drinfeld produces an analogue of a graded Hecke algebra for any finite subgroup of GL(V). This paper classifies all the algebras obtained by applying Drinfeld's construction to complex reflection groups. By giving explicit (though nontrivial) isomorphisms, we show that the graded Hecke algebras for finite real reflection groups constructed by Lusztig are all isomorphic to algebras obtained by Drinfeld's construction. The classification shows that there exist algebras obtained from Drinfeld's construction which are not graded Hecke algebras as defined by Lusztig for real as well as complex reflection groups. Received: July 25, 2001     

A Framework for Monitoring Progress and Planning Teaching Towards the Effective Use of Computer Algebra Systems

This article suggests a framework to organise a cluster of variables that are associated with students' effective use of computer algebra systems (CAS) in mathematics learning. Based on a review of the literature and from the authors' own teaching experience, the framework identifies the main characteristics of students' interactions with CAS technology and how these may be used to monitor students' developing use of CAS; from this, the framework may be used to plan teaching in order to gain greater benefit from the availability of CAS. Four case studies describing students' development over a semester are reported. These demonstrate a variety of combinations of technical competencies and personal attributes. They indicate the importance of both the technical and personal aspects but suggest that negative attitudes rather than technical difficulties can limit the effective use of CAS. Finally practical suggestions are given for teaching strategies which may promote effective use of CAS.This revised version was published online in September 2005 with corrections to the Cover Date.