Beyond the ‘Pentagon Identity’

An algebraical background of the lattice conformal field theory is refined with the help of a novel q-exponential identity.     

Born Reciprocity and the Granularity of Spacetime

The Schrödinger-Robertson inequality for relativistic position and momentum operators X ^μ, P _ν, μ, ν = 0, 1, 2, 3, is interpreted in terms of Born reciprocity and ‘non-commutative’ relativistic position-momentum space geometry. For states which saturate the Schrödinger-Robertson inequality, a typology of semiclassical limits is pointed out, characterised by the orbit structure within its unitary irreducible representations, of the full invariance group of Born reciprocity, the so-called ‘quaplectic’ group U(3, 1) #x2297;_s H(3, 1) (the semi-direct product of the unitary relativistic dynamical symmetry U(3, 1) with the Weyl-Heisenberg group H(3, 1)). The example of the ‘scalar’ case, namely the relativistic oscillator, and associated multimode squeezed states, is treated in detail. In this case, it is suggested that the semiclassical limit corresponds to the separate emergence of spacetime and matter, in the form of the stress-energy tensor, and the quadrupole tensor, which are in general reciprocally equivalent.     

Glivenko like theorems in natural expansions of BCK‐logic

The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK‐logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK‐logic with negation by a family of connectives implicitly defined by equations and compatible with BCK‐congruences. Many of the logics in the current literature are natural expansions of BCK‐logic with negation. The validity of the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one‐variable formula in the language of BCK‐logic with negation. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Unsupported Boolean algebras and forcing

If κ is an infinite cardinal, a complete Boolean algebra B is called κ‐supported if for each sequence 〈b_β : β < κ〉 of elements of B the equality _{α<κ β>α} b_β = equation/tex2gif-inf-5.gif _β∈A b_β holds. Combinatorial and forcing equivalents of this property are given and compared with the other forcing related properties of Boolean algebras (distributivity, caliber, etc.). The set of regular cardinals κ for which B is not κ‐supported is investigated. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the Derivations of Filiform Leibniz Algebras

The algebras of derivations of naturally graded Leibniz algebras are described. The existence of characteristically nilpotent Leibniz algebras in any dimension greater than 4 is proved.__________Translated from Matematicheskie Zametki, vol. 77, no. 5, 2005, pp. 733–742.Original Russian Text Copyright ©2005 by B. A. Omirov.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

Jordanian Uh,sgl(2) and its Coloured Realization

A two-parametric nonstandard (Jordanian) deformation of the Lie algebra gl(2) is constructed and then, exploited to obtain a new, triangular R-matrix solution of the coloured Yang–Baxter equation. The corresponding coloured quantum group is presented explicitly.     

The Structure of Nonthin Irreducible T-modules of Endpoint 1: Ladder Bases and Classical Parameters

Building on the work of Terwilliger, we find the structure of nonthin irreducible T-modules of endpoint 1 for P- and Q-polynomial association schemes with classical parameters. The isomorphism class of such a given module is determined by the intersection numbers of the scheme and one additional parameter which must be an eigenvalue for the first subconstituent graph. We show that these modules always have what we call a ladder basis, and find the structure explicitly for the bilinear, Hermitean, and alternating forms schemes.     

C^＊-代数中的等价

在算子理论和算子代数的研究中，等价是一个很重要的工具，它对K-理论的研究和理解起着很重要的作用．寻找等价关系是研究不变量的一种方法，为了使大家更好的认识和学习C^＊-代数，我们在本文研究了算子代数中经常用到的代数等价、酉等价、同伦等几种等价之间的关系．