Related papers: Hilbert's Nullstellensatz over quaternions
We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic…
Let $K$ be a field and $D$ be a finite-dimensional central division algebra over $K$. We prove a variant of the Nullstellensatz for $2$-sided ideals in the ring of polynomial maps $D^n \to D$. In the case where $D = K$ is commutative, our…
We prove a Hopf bifurcation theorem in Hilbert spaces for abstract semilinear equations, which improves a classical result by Crandall and Rabinowitz in the case where basic spaces are Hilbert spaces. Actually, our theorem does not need any…
Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only…
In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellens\"atze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial…
In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gr\"{o}bner bases consisting of monic polynomials, which helps us to…
Alon's combinatorial Nullstellensatz (Theorem 1.1 from \cite{Alon1}) is one of the most powerful algebraic tools in combinatorics, with a diverse array of applications. Let $\F$ be a field, $S_1,S_2,..., S_n$ be finite nonempty subsets of…
We give a short proof of the most general version of the Nullstellensatz without using the Axiom of Choice.
Hilbert's Nullstellensatz characterizes polynomials that vanish on the vanishing set of an ideal in C[x]. In the free algebra C<X> the vanishing set of a two-sided ideal I is defined in a dimension-free way using images in…
In this paper, we present the simple components of the Wedderburn decomposition of semisimple commutative group algebras over finite abelian groups, which we investigate from a geometric point of view. We also present the Wedderburn…
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…
We present a uniform framework for establishing Nullstellens\"atze for power series rings using quantifier elimination results for valued fields. As an application we obtain Nullstellens\"atze for $p$-adic power series (both formal and…
We prove a new quaternionic and a new matrix nullstellensatz. We also show that both theories are intertwined.
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the language of first order logic, following previous approaches and…
Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…
In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations.…
In this paper, we present the Nullstellensatz in case of the coordinate rings of a nonempty subset of Kn where K is a finite field Fq. Some applications of the Nullstellensatz are also discussed.
The class of non-commutative hypercomplex number systems (HNS) of 4-dimension, constructed by using of non-commutative Grassmann-Clifford procedure of doubling of 2-dimensional systems is investigated in the article and established here are…
We give an iteration scheme for finding zeros of maximal monotone operators in Hilbert spaces. We assume that the operator is defined in the whole space. The iterates converge strongly to a solution if there exists any, otherwise they tend…
The results in the paper are related to the classification problem for invariant subspaces of multiplication operators in several variables. The main results consist of characterizations, in the two dimensional case, of ideals of…