An infinite dimensional affine nil algebra with finite Gelfand-Kirillov dimension

The famous 1960's construction of Golod and Shafarevich yields infinite dimensional nil, but not nilpotent, algebras. However, these algebras have exponential growth. Here, we construct an infinite dimensional nil, but not locally nilpotent, algebra which has polynomially bounded growth.

     

Hilbert algebras as implicative partial semilattices

The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice.     

A remark on the Kochen-Specker theorem and some characterizations of the determinant on sets of Hermitian matrices

In this paper we describe the general forms of all (nonlinear) continuous functionals on the sets of positive definite, positive semi-definite and Hermitian matrices which are multiplicative on the commuting elements. As a consequence, we obtain some new characterizations of the determinant on those classes of matrices.

     

关于循环阵列码

本文用代数观点来研究循环阵列码,证明了一般的阵列码是一些极小循环阵列码的直和,并且对极小循环阵列码给出了明确的刻画．当有限域的特征不整除群的阶时,给出了直接写出相应的多项式环的本原幂等元的方法,从而可以直接写出所有的极小循环码．     

TUHF代数上的Lie导子

证明了TUHF代数丁上的Lie导子L形如D l．其中D是T上的结合导子，l是从T到它的中心Z上的线性映射且零化T中的括积．     

三级近似束流光学计算程序

为了精确计算束流在离子光学系统中的传输,用Visual FORTRAN 6.5语言编写了一个计算程序,长约13000行. 此程序可以计算由三圆筒单透镜、三膜片单透镜、双元筒透镜、均匀场静电加速管、磁四极透镜、六极磁铁、静电四极透镜、偏转磁铁、螺线管透镜、ExB~正交电磁场分析器、静电偏转器、漂浮管、QWR(Quarter Wave Resonators)和SLR(Split Loop Resonators)射频加速元件等元件任意组成的离子光学系统. 粒子轨迹的计算可精确到三级近似. 粒子的分布类型也可以有多种选择. 程序具有最优化计算功能,即可以自动调整元件的参数,以实现所需要的光学条件. 各元件之后的横向和纵向相图以及系统的束流包络线以图形方式显示在屏幕上.     

Isomorphically rigid algebras

Various classes of non-associative algebras possessing the property of being rigid under abstract isomorphisms are studied. Supported by RFBR grant No. 06-01-00159a. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 483–502, July–August, 2007.     

A reply to “a comment on generalized electromagnetism and Dirac algebra”

Issues raised by W. A. Rodrigues, Jr. are discussed.1. This is not a new result; see,e.g., Rohrlich.⁽³⁾ 2. A typographical error in Eq. (77) is corrected here: The productj A in the right-hand parentheses was erroneously transcribed in Ref. (2) as A.3. I define electromagnetic fieldF = A to be that generated by electric charges and the magnetoelectric fieldG = M to be that generated by magnetic monopoles:F F +₅ G. 4. Rodrigues, on the other hand, takes the position that the importance of the Lagrangian formulation should be downgraded if not discarded altogether: ... it is redundant to look for Lagrangians.⁽¹⁾ 5. In fact, he reformulates it using the language of differential forms.6. It is interesting to observe that this bilinear form has the additional virtue of being appropriate for dealing with the monopolecharge parity question, which was pointed out long ago.⁽¹⁴⁾ 7. In fact, even mathematics looks to Nature for its authority.⁽¹⁶⁾ There is evidence that Rodrigues does not understand this concept.⁽¹⁷⁾     

Data loci in algebraic optimization

We consider parametric optimization problems from an algebraic viewpoint. The idea is to find all of the critical points of an objective function thereby determining a global optimum. For generic parameters (data) in the objective function the number of critical points remains constant. This number is known as the algebraic degree of an optimization problem. In this article, we go further by considering the inverse problem of finding parameters of the objective function so it gives rise to critical points exhibiting a special structure. For example if the critical point is in the singular locus, has some symmetry, or satisfies some other algebraic property. Our main result is a theorem describing such parameters.