A Real Nullstellensatz for Matrices of Non-Commutative Polynomials

MaRDI QIDQ6241659zbMATH OpenFDO

Authors Christopher Nelson

Publication date 3 May 2013

Abstract: This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $ast$-algebra $RRaxs$ with $x=(x_1,ldots,x_n)$. This result is a generalization of a result of Cimprivc, Helton, McCullough, and the author. In the free left $RRaxs$-module $R{R}^{1imesell}axs$ we introduce notions of the (noncommutative) zero set of a left $RRaxs$-submodule and of a real left $RRaxs$-submodule. We prove that every element from $R{R}^{1imesell}axs$ whose zero set contains the intersection of zero sets of elements from a finite subset $SsubsetR{R}^{1imesell}axs$ belongs to the smallest real left $RRaxs$-submodule containing $S$. Using this, we derive a nullstellensatz for matrices of polynomials in $RRaxs$. The other main contribution of this article is an efficient, implementable algorithm which for every finite subset $SsubsetR{R}^{1imesell}axs$ computes the smallest real left $RRaxs$-submodule containing $S$. This algorithm terminates in a finite number of steps. By taking advantage of the rigid structure of $RRaxs$, the algorithm presented here is an improvement upon the previously known algorithm for $RRaxs$.

This page was built for publication: A Real Nullstellensatz for Matrices of Non-Commutative Polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6241659)