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.     

Cyclic BSEC of block size 3

Balanced sampling plans excluding contiguous units (or BSEC) were first introduced by Hedayat, Rao and Stufken in 1988. In this note, we discuss constructions of these designs having cyclic automorphisms. We use Langford sequences to construct all possible cyclic BSEC (or CBSEC) with block size 3 and λ = 1,2, which establishes the necessary and sufficient conditions for such designs. Some constructions of the balanced sampling plan avoiding adjacent units, a generalization of BSEC, are also given for fixed λ.     

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.     

Algebraic cycles and topology of real Enriques surfaces

For a real Enriques surface Y we prove that every homology class in H₁(Y (R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface Y.     

子群次正规性对有限群可解性的影响

考查了次正规子群对有限群结构的影响,得到有限群可解的若干充分条件和超可解的一个充分条件.     

Vector Lattices on a Set of Two Generators

It is proved that the center of an automorphism group Aut(FVL2) of a free vector lattice FVL2 on a set of two free generators is isomorphic to a multiplicative group of positive reals. It is shown that the free vector lattice FVL2 has an isomorphic representation by continuous piecewise linear functions of the real line; as a consequence, the ideal lattice and the root system for rectifying ideals in FVL2 are amply described. Similar results are obtained for a free vector lattice FVL2 _Q 2 generated by two elements over a field of rational numbers.     

关于循环阵列码

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