Details:
Title  On real onesided ideals in a free algebra  Author(s)  Jakob Cimprič, J. William Helton, Igor Klep, Scott McCullough, Christopher Nelson  Type  Article in Journal  Abstract  Abstract In real algebraic geometry there are several notions of the radical of an ideal I . There is the vanishing radical I defined as the set of all real polynomials vanishing on the real zero set of I , and the real radical I re defined as the smallest real ideal containing I . (Neither of them is to be confused with the usual radical from commutative algebra.) By the real Nullstellensatz, I = I re . This paper focuses on extensions of these to the free algebra R 〈 x , x ∗ 〉 of noncommutative real polynomials in x = ( x_1 , … , x_g ) and x ∗ = ( x_1 ∗ , … , x_g ∗ ) . We work with a natural notion of the (noncommutative real) zero set V ( I ) of a left ideal I in R 〈 x , x ∗ 〉 . The vanishing radical I of I is the set of all p ∈ R 〈 x , x ∗ 〉 which vanish on V ( I ) . The earlier paper (Cimprič et al. [6]) [6] gives an appropriate notion of I re and proves I = I re when I is a finitely generated left ideal, a free ∗ Nullstellensatz. However, this does not tell us for a particular ideal I whether or not I = I re , and that is the topic of this paper. We give a complete solution for monomial ideals and homogeneous principal ideals. We also present the case of principal univariate ideals with a degree two generator and find that it is very messy. We discuss an algorithm to determine if I = I re (implemented under NCAlgebra) with finite run times and provable effectiveness.  ISSN  00224049 
URL 
http://www.sciencedirect.com/science/article/pii/S0022404913001138 
Language  English  Journal  Journal of Pure and Applied Algebra  Volume  218  Number  2  Pages  269  284  Year  2014  Edition  0  Translation 
No  Refereed 
No 
