A central quaternionic Nullstellensatz
type: Item
instance of: scholarly article
title: A central quaternionic Nullstellensatz
zbMATH Open document ID: 1498.16030
author: Gil Alon
author: Elad Paran
published in: Journal of Algebra
publication date: 2021-03-09T00:00:00Z
review text: Let \(\mathbb{H}\) be the quaternion algebra and \(R=\mathbb{H}[x_1,\dots,x_n]\) the ring of polynomials over \(\mathbb{H}\) in \(n\) central variables \(x_1,\dots,x_n\). Denote by \(\mathbb{H}^n_c\) the set of \((a_1,\dots,a_n)\in \mathbb{H}^n\) such that \(a_ia_j=a_ja_i\) for all \(i,j\). The first main result of the paper is the following. Theorem (weak Nullstellensatz). For any proper left ideal \(I\) in \(R\) there exists \((a_1,\dots,a_n)\in \mathbb{H}^n_c\) such that \(p(a_1,\dots,a_n)=0\) for all \(p\in I\). Given a left ideal \(I\) in \(R\), denote by \(Z(I)\) the set of \((a_1,\dots,a_n) \in \mathbb{H}^n_c\) such that \(p(a_1,\dots,a_n)=0\) for all \(p\in I\). For any subset \(Z\subseteq \mathbb{H}^n_c\) denote by \(I(Z)\) the left ideal of \(p\in R\) such that \(p(a_1,\dots,a_n)=0\) for all \((a_1,\dots,a_n) \in \mathbb{H}^n\). A left ideal \(I\) in \(R\) is called \textit{completely prime} if for all \(a, b \in R\) \[ab \in I\text{ and }Ib \subseteq I\ \Rightarrow\ a \in I\text{ or }b \in I. \] Let \(\sqrt I\) denote the intersection of all prime ideals that contain \(I\). The second main result of the paper is the following. Theorem (strong Nullstellensatz). Let \(I\) be a proper left ideal in \(R\). Then \(I(Z(I))=\sqrt I\).
reviewed by: Mykola Khrypchenko
Mathematics Subject Classification ID: 16S36
Mathematics Subject Classification ID: 16H05
zbMATH DE Number: 7318816
zbMATH Keywords: Nullstellensatz
zbMATH Keywords: quaternions
zbMATH Keywords: polynomial rings
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2021.01.018
OpenAlex ID: W3127510756
cites work: A quaternionic Nullstellensatz
cites work: Zeros of regular functions and polynomials of a quaternionic variable
cites work: The fundamental theorem of algebra for Hamilton and Cayley numbers
cites work: Q3154382
cites work: Vandermonde and Wronskian matrices over division rings
cites work: Equations in Quaternions
cites work: Theory of non-commutative polynomials
cites work: A ONE-SIDED PRIME IDEAL PRINCIPLE FOR NONCOMMUTATIVE RINGS
cites work: Noncommutative generalizations of theorems of Cohen and Kaplansky.
cites work: On finitely accessible and finitely observable rings
DOI: 10.1016/J.JALGEBRA.2021.01.018
Recommended article: A quaternionic Nullstellensatz
Recommended article: Q4393151
Recommended article: Q5314181
Recommended article: Central projective quaternionic representations
Recommended article: Q5059497
Recommended article: Matrix versions of real and quaternionic nullstellensätze
Recommended article: Some central extensions by means of the quaternion group
Recommended article: Q2739464
Recommended article: Central Nullstellensätze in real analytic geometry
Recommended article: Q3480222
description: scientific article; zbMATH DE number 7318816