Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userNon-Commutative Gebauer-Moeller Criteria
111
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras. From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restriction and so-called override. Our duality shows that there is a canonical choice for this embedding. Conversely, from the point of view of sheaves over Boolean spaces, our results show that skew lattices correspond to Priestley orders on these spaces and that skew lattice structures are naturally appropriate in any setting involving sheaves over Priestley spaces.
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 $S$, one for each $q in mathbb{C}^times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 cong U_q(mathfrak{sl}_2)$. The non-commutative analogues of $mathbb{P}^3$ are the spaces $operatorname{Proj}_{nc}(S)$. We show how the points, fat points, lines, and quadrics, in $operatorname{Proj}_{nc}(S)$, and their incidence relations, correspond to finite dimensional irreducible representations of $U_q(mathfrak{sl}_2)$, Verma modules, annihilators of Verma modules, and homomorphisms between them.
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 simple case of the Landau problem and then generalize it to the free and interacting non-canonical scalar field theory. This constructive approach offers the advantage of tracking the implementation of the Lorentz symmetry in the non-commutative dual theory. In principle, it allows for the construction of completely consistent non-commutative and non-local theories where the Lorentz symmetry and unitarity are still respected, but may be implemented in a highly non-trivial and non-local manner.
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 principle, this allows a test by the Michelson-Morley interference method. We also study non-commutativity in another context, by constructing the theory describing a charged fluid in a strong magnetic field, which forces the fluid particles into their lowest Landau level and renders the fluid dynamics non-commutative, with a Moyal product determined by the background magnetic field.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
