@techreport{RISC2894,
author = {V. Levandovskyy},
title = {{Intersection of Ideals with Non-commutative Subalgebras}},
language = {english},
abstract = {Computation of an intersection of a left ideal with a subalgebra, which is not fully investigated until now, is important for different areas of mathematics. We present an algorithm for the computation of the preimage of a left ideal under a morphism of non--commutative $GR$--algebras, and show both its abilities and limitations. The main computational tools are the elimination of variables by means of Gr\"obner bases together with the constructive treatment of opposite algebras and the utilization of a special bimodule structure.},
number = {2006-14},
year = {2006},
month = {April},
note = {the final version has been accepted for the Proceedings ISSAC 2006},
institution = {J. Kepler University Linz},
keywords = {Non--commutative algebra, Groebner bases, elimination, intersection with subalgebra, preimage of ideal, homomorphism of algebras, restriction},
length = {16},
type = {SFB Report}
}