Related papers: On Bergman's Diamond Lemma for Ring Theory
We study $(\sigma,\tau)$-derivations of a group ring $RG$ of a finite group $G$ over an integral domain $R$ with $1$. As an application we extend a well known result on derivation of an integral group ring $\Bbb{Z}G$ to…
Birnbaum's theorem, that the sufficiency and conditionality principles entail the likelihood principle, has engendered a great deal of controversy and discussion since the publication of the result in 1962. In particular, many have raised…
In this paper, we obtain analogues of Zsigmondy's theorem and the primitive divisor results for the Lucas and Lehmer sequences in polynomial rings of several variables.
A simple proof of the celebrated theorem of Lee and Yang is attempted in this short note.
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…
In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings $\mathcal M/p\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic and $p$ is a prime in $\mathcal M$. In the present…
In differential geometry, the concept of golden structure, initially proposed by S. I. Goldberg and K. Yano in 1970, presents a compelling area with wide-ranging applications. The exploration of golden Riemannian manifolds was initiated by…
These are notes of a series of lectures on mirror symmetry and topological string theory given at the Mathematical Sciences Center at Tsinghua University. The N=2 superconformal algebra, its deformations and its chiral ring are reviewed. A…
The aim of Part II is to explore the technique of invariance of tautological equations in the realm of Gromov--Witten theory. The main result is a proof of Invariance Theorem (Invariance Conjecture~1 in [14]), via the techniques from…
We revisit one of Zilber's early results in model-theoretic algebra, viz. definability in Schur's lemma. This takes place in a broader context than the original version from the seventies. The present exposition contains results extracted…
This paper gives another proof of the key lemma in my recent paper which solves the optimal paper Moebius band conjecture of Halpern and Weaver, namely Lemma T. The proof here is longer but it offers more geometric intuition about what is…
I expound here in a more detailed way a proof of an important Serini's theorem, which I have already sketched in a previous Note. Two related questions are briefly discussed.
We provide proofs for the fact that certain orders have no descending chains and no antichains.
A strong antidiamond principle (*c) is shown to be consistent with CH. This principle can be stated as a "P-ideal dichotomy": every P-ideal on omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed…
This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…
In this note, we explain that Ross-Thomas' result on the weighted Bergman kernels on orbifolds can be directly deduced from our previous result. This result plays an important role in the companion paper to prove an orbifold version of…
This is a book review for Zhan's Matrix Theory (AMS, GSM 147, 2013).
We survey some recent results on the validity of Jensen's diamond principle at successor cardinals. We also discuss weakening of this principle such as club guessing, and anti-diamond principles such as uniformization. A collection of open…
In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the essence of specific types of indirect proofs. Direct proofs of…
We give an introduction to the theory of determinantal ideals and rings, their Groebner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The…