Related papers: First Order Calculi with Values in Right--Universa…
In this review article the construction of first order coordinate differential calculi on finitely generated and finitely related associative algebras are considered and explicit construction of the bimodule of one form over such algebras…
A new notion of an optimum first order calculi was introduced in [Borowiec, Kharchenko and Oziewicz, 1993]. A module of vector fields for a coordinate differential is defined. Some examples of optimal algebras for homogeneous bimodule…
The derivations of a left coideal subalgebra B of a Hopf algebra A which are compatible with the comultiplication of A (that is, the covariant first order differential calculi, as defined by Woronowicz, on a quantum homogeneous space) are…
A method of constructing (finitely generated and projective) right module structure on a finitely generated projective left module over an algebra is presented. This leads to a construction of a first order differential calculus on such a…
A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore,…
We set up a left ring of fractions over a certain ring of boundary problems for linear ordinary differential equations. The fraction ring acts naturally on a new module of generalized functions. The latter includes an isomorphic copy of the…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We show that bicovariant bimodules as defined by Woronowicz are in one to one correspondence with the Drinfeld quantum double representations. We then prove that a differential calculus associated to a bicovariant bimodule of dimension n is…
Braided non-commutative differential geometry is studied. In particular we investigate the theory of (bicovariant) differential calculi in braided abelian categories. Previous results on crossed modules and Hopf bimodules in braided…
Elements of noncommutative differential geometry of ${\mathbb Z}$-graded generalized Weyl algebras ${\mathcal A}(p;q)$ over the ring of polynomials in two variables and their zero-degree subalgebras ${\mathcal B}(p;q)$, which themselves are…
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
The bicovariant differential calculi on quantum groups of Woronowicz have the drawback that their dimensions do not agree with that of the corresponding classical calculus. In this paper we discuss the first-order differential calculus…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…
If the bimodule of 1-forms of a differential calculus over an associative algebra is the direct sum of 1-dimensional bimodules, a relation with automorphisms of the algebra shows up. This happens for some familiar quantum space calculi.
From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over…
In this paper, we revisit foundations of umbral calculus using a straightforward approach based on an explicit matrix realization of binomial convolution. We construct an umbral duality of Wronskian type for rational curves in echelon form,…
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…
In the present paper we generalize the Eulerian numbers (also of the second and third orders). The generalization is connected with an autonomous first-order differential equation, solutions of which are used to obtain integral…
In this paper, we revise the concept of noncommutative vector fields introduced previously in Ref. [1,2], extending the framework, adding new results and clarifying the old ones. Using appropriate algebraic tools certain shortcomings in the…