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.     

Hochschild Cohomologies of the Algebra of Smooth Functions

Based on the previously developed technique using the Laplace transformation of distributions with compact support, we calculate the Hochschild cohomologies of the algebra of smooth functions on a finite-dimensional real vector space with coefficients in the adjoint representation.     

A Generalization of a Two-Parameter Quantization for the Group GL 2(k)

We generalize a well-known two-parameter quantization for the group GL ₂(k) (over an arbitrary field k). Specifically, a certain class of Hopf algebras is constructed containing that quantization. The algebras are constructed given an arbitrary coalgebra and an arbitrary pair of its commuting anti-isomorphisms, and are defined by quadratic relations. They are densely linked to the compact quantum groups introduced by Woronowicz. We give examples of Hopf algebras that can be rowed up to the two-parameter quantization for GL ₂(k).     

On invariability of self-injective algebras of tilted type under stable equivalences

We prove that a large class of self-injective algebras of tilted type is invariant under stable equivalences of module categories.

     

Extremal Self-Dual [50, 25, 10] Codes with Automorphisms of Order 3 and Quasi-Symmetric 2-(49, 9,6) Designs

Five non-isomorphic quasi-symmetric 2-(49, 9, 6) designs are known. They arise from extremal self-dual [50, 25, 10] codes with a certain weight enumerator. Four of them have an automorphism of order 3 fixing two points. In this paper, it is shown that there are exactly 48 inequivalent extremal self-dual [50, 25, 10] code with this weight enumerator and an automorphism of order 3 fixing two points. 44 new quasi-symmetric 2-(49, 9, 6) designs with an automorphism of order 3 are constructed from these codes.     

集合环

本文用集环来表现模糊集，得到了表现定理的新形式，并证明了这种表现可以有限化，即用有限个经典集近似刻划模糊集并且这样的刻划是同态的。最后，证明了集对方法是集环表现的特殊情形。     

ON THE COHOMOLOGY OF GENERALIZED RESTRICTED LIE ALGEBRAS

0.IntroductionThispaperisaimedatdevelopingthecohomologytheoryofmodularLiealgebrasandthendeterminingthefirstcohomologygroupsofCartantypeLiealgebras.AsgeneralizationoftheconceptofrestrictedLiealgebras,ageneralizedrestrictedLiealgebra(GRLiealgebra)wasintroducedin[21],whichisassociatedwithabasisandamappingofthebasisintotheLiealgebrasatisfyingthegeneralized-restrictednessconditions.Generalizedrestrictedrepresentations(GRrepresentations)werethenintroduced,whichcanbereducedtotherepresentationsofa…     

Full field algebras, operads and tensor categories

We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted R×R-graded full field algebra is equivalent to an algebra over a partial operad constructed from spheres with punctures and local coordinates. This result is generalized to conformal full field algebras over VL⊗VR, where VL and VR are two vertex operator algebras satisfying certain finiteness and reductivity conditions. We also study the geometry interpretation of conformal full field algebras over VL⊗VR equipped with a nondegenerate invariant bilinear form. By assuming slightly stronger conditions on VL and VR, we show that a conformal full field algebra over VL⊗VR equipped with a nondegenerate invariant bilinear form exactly corresponds to a commutative Frobenius algebra with a trivial twist in the category of VL⊗VR-modules. The so-called diagonal constructions [Y.-Z. Huang, L. Kong, Full field algebras, arXiv: math.QA/0511328] of conformal full field algebras are given in tensor-categorical language.     

Homomorphic images of finite subdirectly irreducible unary algebras

We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. While working on this paper the first and the third authors were partially supported by the Grant Agency of the Czech Republic, grant #201/02/0594, and by the institutional grant MSM0021620839; the second author was supported by the Ministry of Science, Technologies and Development of Republic of Serbia, grant no. 1227.     

Volume of Domains in Symmetric Spaces

The authors derive a formula for the volume of a compact domain in a symmetric space from normal sections through a special submanifold in the symmetric space.This formula generalizes the volume of classical domains as tubes or domains given as motions along the submanifold.Finally,some stereological considerations regarding this formula are provided.