相关论文: Definite orders with locally free cancellation

We review a lattice construction arising from quaternion algebras over number fields and use it to obtain some known extremal and densest lattices in dimensions 8 and 16. The benefit of using quaternion algebras over number fields is that…

Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…

We consider some natural generalizations to the class of all GLP-algebras of the so-called reduction property for reflection algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some…

We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the…

There is a polymodal provability logic $GLP$. We consider generalizations of this logic: the logics $GLP_{\alpha}$, where $\alpha$ ranges over linear ordered sets and play the role of the set of indexes of modalities. We consider the…

Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings,…

In this paper we construct 16 free algebras of modular forms on symmetric domains of type IV for some reflection groups related to the eight lattices $A_1(2)$, $A_1(3)$, $A_1(4)$, $2A_1(2)$, $A_2(2)$, $A_2(3)$, $A_3(2)$, $D_4(2)$. As a…

For any additive subgroup $G$ of an arbitrary field $F$ of characteristic zero, there corresponds a generalized Heisenberg-Virasoro algebra $L[G]$. Given a total order of $G$ compatible with its group structure, and any…

This work continues the research of generalized Heisenberg algebras connected with several orthogonal polynomial systems. The realization of the annihilation operator of the algebra corresponding to a polynomial system by a differential…

We investigate the "theta-deformed spheres" C(S^{3}_{theta}) and C(S^{4}_{theta}), where theta is any real number. We show that all finitely-generated projective modules over C(S^{3}_{theta}) are free, and that C(S^{4}_{theta}) has the…

In this paper, we study properties of nodal orders defined over arbitrary base fields. In particular we give a classification of complete real nodal orders.

In this paper we provide some applications of the norm form in some quaternion division algebras over rational field and we give some properties of Fibonacci sequence and Fibonacci sequence in connection with quaternion elements. We define…

Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational…

We arrange classical small cancellation constructions to produce left-orderable groups: we show that every finitely generated group is the quotient of a left-ordered small cancellation group by a finitely generated kernel (Rips…

We construct affine algebras with an arbitrary amount of simple modules of each dimension.

We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…

We study centralizers in certain algebras with valuation in order to generalize results by Hellstr\"{o}m and Silvestrov on centralizers in graded algebras. We prove that the centralizer of an element in the studied algebras is a free module…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…

For commutative rings, we introduce the notion of a {\em universal grading}, which can be viewed as the "largest possible grading". While not every commutative ring (or order) has a universal grading, we prove that every {\em reduced order}…