1786 - 0091 Gröbner Bases of Modules over Σ − Pbw Extensions
نویسنده
چکیده
For σ−PWB extensions, we extend to modules the theory of Gröbner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative σ − PWB extension, we compute the module of syzygies of a submodule of the free module A.
منابع مشابه
ar X iv : 1 50 2 . 06 47 2 v 1 [ m at h . R A ] 8 N ov 2 01 4 Gröbner - Shirshov bases and PBW theorems ∗
We review some applications of Gröbner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
متن کاملHomological Computations in PBW Modules
In this paper the Poincaré–Birkhoff–Witt (PBW) rings are characterized. Gröbner bases techniques are also developed for these rings. An explicit presentation of Exti (M,N) is provided when N is a centralizing bimodule. Mathematics Subject Classifications (2000): 16Z05, 16E30.
متن کاملComputation of Non-commutative Gröbner Bases in Grassmann and Clifford Algebras
Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-alg...
متن کاملConverting between the Popov and the Hermite form of matrices of differential operators using an FGLM-like algorithm
We consider matrices over a ring K [∂; σ, θ ] of Ore polynomials over a skew field K . Since the Popov and Hermite normal forms are both Gröbner bases (for term over position and position over term ordering resp.), the classical FGLM-algorithm provides a method of converting one into the other. In this report we investigate the exact formulation of the FGLM algorithm for not necessarily “zero-d...
متن کاملSolving System of Linear Congruence Equations over some Rings by Decompositions of Modules
In this paper, we deal with solving systems of linear congruences over commutative CF-rings. More precisely, let R be a CF-ring (every finitely generated direct sum of cyclic R-modules has a canonical form) and let I_1,..., I_n be n ideals of R. We introduce congruence matrices theory techniques and exploit its application to solve the above system. Further, we investigate the application of co...
متن کامل