Related papers: On Bergman's Diamond Lemma for Ring Theory
This article aims to be a self-contained account of the history of the B. B. Newman Spelling Theorem, including the historical context in which it arose. First, an account of B. B. Newman and how he came to prove his Spelling Theorem is…
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
A ring element $\,a\in R\,$ is said to be of {\it right stable range one\/} if, for any $\,t\in R$, $\,aR+tR=R\,$ implies that $\,a+t\,b\,$ is a unit in $\,R\,$ for some $\,b\in R$. Similarly, $\,a\in R\,$ is said to be of {\it left stable…
In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and…
It is well known that the classical diagram lemmas of homological algebra for abelian groups can be generalized to non-abelian group-like structures, such as groups, rings, algebras, loops, etc. In this paper we establish such a…
This is an introduction to rings and fields, written for a quarter-long undergraduate course. It includes the basic properties of ideals, modules, algebras and polynomials, the constructions of ring extensions and finite fields, some…
We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
We present new generalized Cline's formula and Jacobson's lemma for the g-Drazin inverse in a ring. These extend many known results, e.g., Chen and Abdolyousefi (Generalized Jacobson's Lemma in a Banach algebra, Comm. Algebra, {\bf…
In the paper "origami rings" by Joe Buhler et al. the authors investigate the so called origami rings. Taking this paper as a starting point we find some further properties of these rings.
We prove that the error in the prime number theorem can be quantitatively improved beyond the Riemann Hypothesis bound by using versions of Montgomery's conjecture for the pair correlation of zeros of the Riemann zeta-function which are…
We study Kummer's approach towards proving the Fermat's last Theorem for regular primes. Some basic algebraic prerequisites are also discussed in this report, and also a brief history of the problem is mentioned. We review among other…
In his talk "Integral Apollonian disk Packings" Peter Sarnak asked if there is a "proof from the Book" of the Descartes theorem on circles. A candidate for such a proof is presented in this note
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development…
A general overview of the existing difference ring theory for symbolic summation is given. Special emphasis is put on the user interface: the translation and back translation of the corresponding representations within the term algebra and…
An important aspect of improving perturbative predictions in high energy physics is efficiently reducing dimensionally regularised Feynman integrals through integration by parts (IBP) relations. The well-known triangle rule has been used to…
The existence of the Herman ring of a function adds interest and complexity to the dynamics of the function. We present a detailed and understandable summary of the core discoveries and recent developments on the Herman ring of rational and…
These notes were written from a series of lectures given in March 2010 at the Universidad Complutense of Madrid and then in Barcelona for the centennial anniversary of the Spanish Mathematical Society (RSME). Our aim is to give an…
This perspective provides a succinct history of Fermi's golden rule (FGR), overview of its derivation, assumptions, and representative forms. Major applications of FGR, mostly in the field of chemical physics, are reviewed. These illustrate…
Most of the assertions in the theory of well ordered sets are quite simple. However, one of its central statements, Zermelo's theorem, stands out of this rule, for its well-known proofs are rather complicated. The aim of the current paper…