Related papers: Algebra of linear recurrence relations in arbitrar…
The aim of this paper is to offer an algebraic definition of infinite determinants of finite potent endomorphisms using linear algebra techniques. It generalizes Grothendieck's determinant for finite rank endomorphisms and is equivalent to…
We associate a deformation of Heisenberg algebra to the suitably normalized Yang $R$-matrix and we investigate its properties. Moreover, we construct new examples of quantum vertex algebras which possess the same representation theory as…
We show how to formulate physical theory taking as a starting point the set of states (geometric approach). We discuss the relation of this formulation to the conventional approach to classical and quantum mechanics and the theory of…
We describe, in terms of generators and relations, the reduction algebra, related to the diagonal embedding of the Lie algebra $\gl_n$ into $\gl_n\oplus\gl_n$. Its representation theory is related to the theory of decompositions of tensor…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
Let $A$ be an algebra and let $X$ be an $A$-bimodule. A $\Bbb C-$linear mapping $d:A \to X$ is called a generalized Jordan derivation if there exists a Jordan derivation (in the usual sense) $\delta:A \to X$ such that…
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.
We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…
We explore a physical model of ordered sums of integers as trains of rods. The trains for a fixed, possibly infinite, set of rod lengths naturally correspond to nodes in a tree; relations among finite linear recursions encoded in the…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
In this paper, we give new proofs of the celebrated Andr\'eka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order…
We establish an analogue of the fundamental theorem of algebra for polynomial matrix equations, in which the matrices-coefficients and unknown matrix are assumed to be circulant matrices.
In this paper the approach to obtaining nonrecurrent formulas for some recursively defined sequences is illustrated. The most interesting result in the paper is the formula for the solution of quadratic map-like recurrence. Also, some…
A simple method of constructing a big stock of algebraic varieties with trivial Makar-Limanov invariant is described, the Derksen invariant of some varieties is computed, the generalizations of the Makar-Limanov and Derksen invariants are…
In this paper we study the tensor powers of the standard representation of the quantum super-algebra $U_q(sl(2|1)$, focusing on the rings of its algebra endomorphisms, called centraliser algebras and denoted by $LG_n$. Their dimensions were…
This is an expository article on representation theory of toroidal Lie algebras. We summerize all the results on representation theory of toroidal Lie algebras obtained in the last fifteen years. Apart from that a natural genaralization of…
Let $R=C[[t]]$ be the ring of power series over an algebraically closed field $C$ of characteristic zero. We show that each connection on a finite flat $R((x))$-module is the sum of a regular singular connection and a diagonalizable…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…