Parallels between quaternionic and matrix Nullstellensätze

Cimprič, Jaka (avtor)

We prove a new quaternionic and a new matrix Nullstellensatz. We also show that both theories are intertwined. For every $g_1, \ldots, g_m, f \in {\mathbb H}[x_1, \ldots, x_d]$ (where $x_1, \ldots, x_d$ are central), we show that the following are equivalent: (a) For every $a \in {\mathbb H}^d$ whose components pairwise commute and which satisfies $g_1(a) = \cdots = g_m(a) = 0$, we have $f(a) = 0$. (b) $f$ belongs to the smallest semiprime left ideal containing $g_1, \ldots, g_m$. On the other hand, for every $G_1, \ldots, G_m, F \in M_n({\mathbb k}[x_1, \ldots, x_d])$, where ${\mathbb k}$ is an algebraically closed field, we show that the following are equivalent (where $I$ is the left ideal generated by $G_1, \ldots, G_m$): (a) For every $a \in {\mathbb k}^d$ and $v \in {\mathbb k}^n$ such that $G_1(a)v = \ldots = G_m(a)v = 0,$ we have $F(a)v = 0$. (b) For every $A \in M_n({\mathbb k})$ there exists $N \in \mathbb{N}_0$ such that $(AF)^N \in I + I(AF) + \ldots + I(AF)^N.$

• Jezik: Angleški jezik
• Ključne besede: Hilbert's Nullstellensatz, matrix polynomials, quaternionic polynomials, one-sided ideals, free modules
• Vrsta gradiva: Članek v reviji
• Tipologija: 1.01 - Izvirni znanstveni članek
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Status publikacije: Objavljeno
• Različica publikacije: Objavljena publikacija
• Leto izida: 2025
• Št. strani: Str. 92-108
• Številčenje: Vol. 682
• PID: 20.500.12556/RUL-175183
• UDK: 512
• ISSN pri članku: 0021-8693
• DOI: 10.1016/j.jalgebra.2025.05.022
• COBISS.SI-ID: 240581635
• Datum objave v RUL: 20.10.2025

Gradivo je del revije

• Naslov: Journal of algebra
• Skrajšan naslov: J. algebra
• Založnik: Elsevier
• ISSN: 0021-8693
• COBISS.SI-ID: 1310986

Licence

• Licenca: CC BY-NC 4.0, Creative Commons Priznanje avtorstva-Nekomercialno 4.0 Mednarodna
• Povezava: http://creativecommons.org/licenses/by-nc/4.0/deed.sl
• Opis: Licenca Creative Commons, ki prepoveduje komercialno uporabo, vendar uporabniki ne rabijo upravljati materialnih avtorskih pravic na izpeljanih delih z enako licenco.