Related papers: On Bergman's Diamond Lemma for Ring Theory
Let $Di\langle X\rangle$ be the free dialgebra over a field generated by a set $X$. Let $S$ be a monic subset of $Di\langle X\rangle$. A Composition-Diamond lemma for dialgebras is firstly established by Bokut, Chen and Liu in 2010…
The Riemann Hypothesis, originally proposed by the eminent mathematician Bernard Riemann in 1859, remains one of the most profound challenges in number theory. It posits that all non-trivial zeros of the Riemann zeta function {\zeta}(s) are…
The purpose of this book is to lay out certain aspects of descriptive set theory. After initially establishing notation and generalities we proceed to the following topics: partitions, semirings, rings, $\sigma$-rings, $\delta$-rings,…
The golden ratio is usually shrouded in mystique and mystery, however, showing its emergence from a familiar geometric setting makes it a more natural phenomenon. In this work, we present a new theorem connecting the Tangent Secant theorem…
In this survey paper we give an historical and at the same time thematical overview of the development of ring geometry from its origin to the current state of the art. A comprehensive up-to-date list of literature is added with articles…
This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.
This article presents a clear proof of the Riemann Mapping Theorem via Riemann's method, uncompromised by any appeals to topological intuition.
In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.
The proof of the conjecture of the Birch and Swinnerton - Dyer is presented in the paper. The Riemann's hypothesis on the distribution of non-trivial zeroes of the zeta-function of Riemann, previously proven, is word to prove this…
Jacobson's commutativity theorem says that a ring is commutative if, for each $x$, $x^n = x$ for some $n > 1$. Herstein's generalization says that the condition can be weakened to $x^n-x$ being central. In both theorems, $n$ may depend on…
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…
As noticed in 2006 by the author of the present article, the hypothetical crystal---described by crystallographer F. Laves (1932) for the first time and designated ``Laves' graph of girth ten" by geometer H. S. M. Coxeter (1955)---is a…
In this paper we present the notion of a von Neumann regular $\mathcal{C}^{\infty}-$ring, we prove some results about them and we describe some of their properties. We prove, using two different methods, that the category of von Neumann…
We prove a new duality theorem for the category of precontact algebras which implies the Stone Duality Theorem, its connected version obtained in arXiv:1508.02220v3, 1-44 (to appear in Topology Appl.), the recent duality theorems of…
Some remarks on the jump condition appearing in Theorems 1.1 and 1.2 in the article [1] and their implications are given.
In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of…
In our work we give the examples using Fermat's Last Theorem for solving some problems from algebra and number theory.
This article proves a Pythagoras-type formula for the sides and diagonals of a polygon inscribed in a semicircle having one of the sides of the polygon as diameter.
In this survey paper we present recent results obtained by Khare, Wintenberger and the author that have led to a proof of Serre's conjecture, such as existence of compatible families, modular upper bounds for universal deformation rings and…
A ring is clean (resp. almost clean) if each of its elements is the sum of a unit (resp. regular element) and an idempotent. In this paper we define the analogous notion for *-rings: a *-ring is *-clean (resp. almost *-clean) if its every…