因素空间理论与知识表示的数学框架(XⅢ)──描述架中概念的结构(2)

本文是［１，１２］的继续，研究描述架中概念的结构；本文讨论后半部分，内容涉及概念内涵与外延的转换，清晰关系的内投影与内变换，概念的结构＊以及有关问题的注记。     

Cyclic cohomology and algebra extensions

We construct a spectral sequence to study cyclic cohomology for an extension A = R/I of algebras. When R is a free algebra we describe the cyclic cohomology of A in terms of traces defined on R or powers of I. Explicit cyclic cocycles representing the cyclic cohomology class belonging to the trace are constructed as analogues of Chern character and Chern-Simons forms.Dedicated to Alexander Grothendieck     

Kinetic modelling of cadmium removal from phosphoric acid by non-dispersive solvent extraction

In this work it is reported that the kinetic modelling of the separation of cadmium from phosphoric acid by non-dispersive solvent extraction. Using Cyanex 302 as selective extractant, the extraction step was carried out in a hollow fibre module containing polypropylene fibres, whereas the concentration step required a ceramic module with tubular channels due to the high acidity of the backextraction agent. Application of the methodology previously reported by the authors led to the development of a kinetic model with three design parameters, i.e., equilibrium constant of the extraction reaction (K'_e = 6 × 10³ mol⁻²/l⁻²), membrane mass transport coefficient of the extraction module K_me=8.33×10⁻⁸ m/s) and of the backextraction module (K_ms=3.33×10⁻⁸ m/s), that described satisfactorily the behaviour of the separation-concentration system. Thus, in this work a new application of the non-dispersive solvent extraction technology is presented, characterising at the same time the behaviour and parameters of a new type of contactor, i.e., a tubular ceramic module.     

Modular design of icosahedral metal clusters

The concept of crystalline module, that is, an unambiguously isolated, repeated quasi-molecular element, is introduced. This concept is more general than the concept of crystal lattice. The generalized modular approach allows extension of the methods and principles of crystallography to quasi-crystals, clusters, amorphous solids, and periodic biological structures. Principles of construction of aperiodic, nonequilibrium regular modular structures are formulated. Limitations on the size of icosahedral clusters are due to the presence of spherical shells with non-Euclidean tetrahedral tiling in their structure. A parametric relationship between the structures of icosahedral fullerenes and metal clusters of the Chini series was found.     

An Upper Bound for the w-Weak Global Dimension of Pullbacks

Let R be a commutative ring with identity and I0 an ideal of R.We introduce and study the c-weak global dimension c-w.gl.dim(R/I0) of the factor ring R/I0.Let T be a w-linked extension of R,and we also introduce the wR-weak global dimension wR-w.gl.dim(T) of T.We show that the ring T with wR-w.gl.dim(T) =0 is exactly a field and the ring T with wR-w.gl.dim(T) ≤ 1 is exactly a PwRMD.As an application,we give an upper bound for the w-weak global dimension of a Cartesian square (RDTF,M).More precisely,if T is w-linked over R,then w-w.gl.dim(R) ≤ max{wR-w.gl.dim(T) + w-fdR T,c-w.gl.dim(D) + w-fdn D}.Furthermore,for a Milnor square (RDTF,M),we obtain w-w.gl.dim(R) ≤ max{wR-w.gl.dim(T) + w-fdR T,w-w.gl.dim(D) + w-fdR D}.     

Divisorial Linear Algebra of Normal Semigroup Rings

We investigate the minimal number of generators and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound C there exist, up to isomorphism, only finitely many divisorial ideals I such that (I)C. It follows that there exist only finitely many Cohen–Macaulay divisor classes. Moreover, we determine the minimal depth of all divisorial ideals and the behaviour of and depth in arithmetic progressions in the divisor class group.The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the nonnegative solutions of an inhomogeneous system of linear diophantine equations.We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.     

Lie Groupoids, Gerbes, and Non-Abelian Cohomology

We observe that any regular Lie groupoid G over a manifold M fits into an extension K G E of a foliation groupoid E by a bundle of connected Lie groups K. If F is the foliation on M given by the orbits of E and T is a complete transversal to F , this extension restricts to T, as an extension K _T G _T E _T of an étale groupoid E _T by a bundle of connected groups K _T . We break up the classification problem for regular Lie groupoids into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-Abelian) cohomology classes in a new ech cohomology of étale groupoids. On the other hand, given K and E and an extension K _T G _T E _T over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension K G E over M; if this obstruction vanishes, all extensions K G E over M which restrict to a given extension over the transversal together form a principal bundle over a group of bitorsors under K.     

Annihilators, Multipliers and Crossed Modules

Using multiplication algebras we introduce actor crossed modules of commutative algebras and use it to generalise some aspects from commutative algebras to crossed modules of commutative algebras. This is applied to the Peiffer pairings in the Moore complex of a simplicial commutative algebra.     

Structure of Degenerate Block Algebras

Given a non-trivial torsion-free abelian group (A,+,Q), a field F of characteristic 0, and a non-degenerate bi-additive skew-symmetric map : A A F, we define a Lie algebra = (A, ) over F with basis {e_x | x A/{0}} and Lie product [e_x,e_y] = (x,y)e_x+y. We show that is endowed uniquely with a non-degenerate symmetric invariant bilinear form and the derivation algebra Der of is a complete Lie algebra. We describe the double extension D( , T) of by T, where T is spanned by the locally finite derivations of , and determine the second cohomology group H²(D( , T),F) using anti-derivations related to the form on D( , T). Finally, we compute the second Leibniz cohomology groups HL²( , F) and HL²(D( , T), F).2000 Mathematics Subject Classification: 17B05, 17B30This work was supported by the NNSF of China (19971044), the Doctoral Programme Foundation of Institution of Higher Education (97005511), and the Foundation of Jiangsu Educational Committee.