Related papers: On the metaphysics of $\mathbb F_1$

We show that by working over the absolute base $\mathbb S$ (the categorical version of the sphere spectrum) instead of $\mathbb S[\pm 1]$ improves our previous Riemann-Roch formula for $\overline{{\rm Spec\,}\mathbb Z}$. The formula equates…

We study the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. The ring of polyfunctions over a commutative ring $R$ with unit element is the ring of functions $f:R\to R$ which admit a polynomial representative $p\in R[x]$ in the sense…

Let $R$ be either the ring of Lipschitz quaternions, or the ring of Hurwitz quaternions. Then, $R$ is a subring of the division ring $\mathbb{D}$ of rational quaternions. For $S \subseteq R$, we study the collection $\rm{Int}(S,R) = \{f \in…

Let $K$ be the field of Laurent series with complex coefficients, let $\mathcal{R}$ be the inverse limit of the standard-graded polynomial rings $K[x_1, \ldots, x_n]$, and let $\mathcal{R}^{\flat}$ be the subring of $\mathcal{R}$ consisting…

Let $f(Z)=Z^n-a_{1}Z^{n-1}+\cdots+(-1)^{n-1}a_{n-1}Z+(-1)^na_n$ be a monic polynomial with coefficients in a ring~$R$ with identity, not necessarily commutative. We study the ideal $I_f$ of $R[X_1,\dots,X_n]$ generated by…

We generalize the polynomial Szemer\'{e}di theorem to intersective polynomials over the ring of integers of an algebraic number field, by which we mean polynomials having a common root modulo every ideal. This leads to the existence of new…

We show that every polynomial overring of the ring ${\rm Int}(\mathbb Z)$ of polynomials which are integer-valued over $\mathbb Z$ may be considered as the ring of polynomials which are integer-valued over some subset of $\hat{\mathbb{Z}}$,…

This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…

We solve the first-order classification problem for rings $R$ of polynomials $F[x_1, \ldots,x_n]$ and Laurent polynomials $F[x_1,x_1^{-1}, \ldots,x_n,x_n^{-1}]$ with coefficients in an infinite field $F$ or the ring of integers $\mathbb Z$,…

Recognizing when a ring is a complete matrix ring is of significant importance in algebra. It is well-known folklore that a ring $R$ is a complete $n\times n$ matrix ring, so $R\cong M_{n}(S)$ for some ring $S$, if and only if it contains a…

A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is…

The goal of this paper is to undertake an in-depth study of the phenomenon behind the Furstenberg--S\'ark\"ozy theorem, which, in its modern form due to Kamae and Mend\`es-France, states that if $E$ is a set of integers with positive…

A polynomial ring with rational coefficients is an irreducible representation of Lie algebras of endomorphisms of exterior powers of a infinite countable dimensional $\mathbb{Q}$-vector space. We give an explicit description of it, using…

We use algebraic geometry over pointed monoids to give an intrinsic interpretation for the compactification of the spectrum of the ring of integers of a number field $K$, for the projective line over algebraic extensions of $\mathbb{F}_1$…

Let $R$ be a commutative Noetherian ring of dimension $d$. In 1973, Eisenbud and Evans proposed three conjectures on the polynomial ring $R[T]$. These conjectures were settled in the affirmative by Sathaye, Mohan Kumar and Plumstead. One of…

In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for…

We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…

Let $\S $ be an arbitrary subset of $R^n$ where $R$ is a domain with the field of fractions $\K$. Denote the ring of polynomials in $n$ variables over $\K$ by $\K[\x].$ The ring of integer-valued polynomials over $\S,$ denoted by…

Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…

We study, by means of embeddings of Hilbert functions, a class of rings which we call Shakin rings, i.e. quotients K[X_1,...,X_n]/a of a polynomial ring over a field K by ideals a=L+P which are the sum of a piecewise lex-segment ideal L, as…