ﻻ يوجد ملخص باللغة العربية
For an efficient implementation of Buchbergers Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moeller criteria. Here we present an adaptation of the Gebauer-Moeller criteria for non-commutative polynomial rings, i.e. for free associative algebras over fields. The essential idea is to detect unnecessary obstructions using other obstructions with or without overlap. Experiments show that the new criteria are able to detect almost all unnecessary obstructions during the execution of Buchbergers procedure.
We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classica
This paper examines the relationship between certain non-commutative analogues of projective 3-space, $mathbb{P}^3$, and the quantized enveloping algebras $U_q(mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras
We show that it is in principle possible to construct dualities between commutative and non-commutative theories in a systematic way. This construction exploits a generalization of the exact renormalization group equation (ERG). We apply this to the
We give two sufficient and necessary conditions for a Hochschild extension of a finite dimensional algebra by its dual bimodule and a Hochschild 2-cocycle to be a symmetric algebra.
The effect of non-commutativity on electromagnetic waves violates Lorentz invariance: in the presence of a background magnetic induction field b, the velocity for propagation transverse to b differs from c, while propagation along b is unchanged. In