On algebraic congruences

arXiv1512.08088MaRDI QIDQ6268751FDOQ6268751

Authors: Derong Qiu 

Publication date: 26 December 2015

Abstract: In this paper, we develop some foundations for a theory of algebraic geometry of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ext{Spec}^c(A)$ consisting of prime congruences on a semirings $A$ has a Zariski topological structure; Then, for two semirings $AsubsetB,$ we consider the polynomial semiring $S=A[x_1,cdots,x_n]$ and the affine $n-$space $B^n.$ For any congruence $sigma$ on $S$ and congruence $ho$ on $B,$ we introduce the $ho-$algebraic varieties $Z_{ho}(sigma)(B)$ in $B^n,$ which are the set of zeros in $B^n$ of the system of polynomial $ho-$congruence equations given by $sigma.$ When $ho$ is a prime congruence, we find these varieties satisfying the axiom of closed sets, and forming a (Zariski) topology on $B^n.$ Some results about their structures including a version of Nullstellensatz of congruences are obtained.

Mathematics Subject Classification ID

Varieties and morphisms (14A10) Subalgebras, congruence relations (08A30) Relevant commutative algebra (14A05) Semirings (16Y60) Equations in general fields (12E12) Elementary questions in algebraic geometry (14A25)

This page was built for publication: On algebraic congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6268751)