Matrix versions of real and quaternionic nullstellensätze (Q2675086)

The Real Nullstellensatz, a classic fundamental result in Real Algebraic Geometry, was generalized in [\textit{G. Alon} and \textit{E. Paran}, J. Pure Appl. Algebra 225, No. 4, Article ID 106572, 9 p. (2021; Zbl 1483.16027)] to quaternionic polynomials. The main results of this paper (Theorems E and F) extend the Quaternionic Nullstellensatz to quaternionic matrix polynomials. The author also proves a matrix version of the Real Nullstellensatz (Theorem D) that improves, thanks to a simpler definition of real left ideal (Sect.~1.4) the main theorem in [\textit{J. Cimprič}, J. Algebra 396, 143--150 (2013; Zbl 1423.13139)]. The proof of the Matricial Real Nullstellensatz makes use of the main results of [\textit{J. Cimprič}, J. Algebra Appl. 21, No. 11, Article ID 2250217, 11 p. (2022; Zbl 1506.13013)], which are recalled in Sect.~2. Real and mildly non-commutative versions of these results are investigated in Sect.~3.