A real nullstellensatz for free modules

Abstract: Let

A

be the algebra of all

n i m e s n

matrices with entries from

R R [x_{1}, l d o t s, x_{d}]

and let

G_{1}, l d o t s, G_{m}, F i n A

. We will show that

F (a) v = 0

for every

a i n R R^{d}

and

v i n R R^{n}

such that

G_{i} (a) v = 0

for all

i

if and only if

F

belongs to the smallest real left ideal of

A

which contains

G_{1}, l d o t s, G_{m}

. Here a left ideal

J

of

A

is real if for every

H_{1}, l d o t s, H_{k} i n A

such that

H_{1}^{T} H_{1} + l d o t s + H_{k}^{T} H_{k} i n J + J^{T}

we have that

H_{1}, l d o t s, H_{k} i n J

. We call this result the one-sided Real Nullstellensatz for matrix polynomials. We first prove by induction on

n

that it holds when

G_{1}, l d o t s, G_{m}, F

have zeros everywhere except in the first row. This auxiliary result can be formulated as a Real Nullstellensatz for the free module

R R [x_{1}, l d o t s, x_{d}]^{n}

.

Recommendations

Cites Work

Cited In (9)

This page was built for publication: A real nullstellensatz for free modules