Abstract
For a fixed tuple of square matrices X ={X_1,...,X_g} the set I(X) of all noncommutative polynomials p in X and Xâ such that p(X) = 0 is an ideal in the â-algebra of all polynomials. This article concerns such zeroes and their corresponding ideals. An algebraic characterization of ideals of the form I(X) is a real nullstellensatz. A main result of this article is a strong nullstellensatz for a â-ideal of finite codimension in a â-algebra. Without the finite codimension assumption, there are examples of such ideals which do not satisfy, very liberally interpreted, any Nullstellensatz. A polynomial p in noncommuting variables (x_1,...,x_g,xâ_1,...,x_âg) is called analytic if it is a polynomial in the variables x_j only. As shown in this article, â-ideals generated by analytic polyno-mials do satisfy a natural Nullstellensatz and those generated by homogeneous analytic polynomials have a particularly simple description. Another natural notion of zero of a noncommutative polynomial p is a pair (X, v) such that p(X)v = 0; here X is an n by n matrix tuple and v â R^n. For fixed (X,v), the set of all such polynomials is a left ideal. The relationship between such zeroes and their left ideals is considerably more developed than is our beginning effort here. This article provides a guide to that literature.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.