Related papers: On Chevalley's Extension Theorem
If $R$ is a commutative unital ring and $M$ is a unital $R$-module, then each element of $\operatorname{End}_R(M)$ determines a left $\operatorname{End}_{R}(M)[X]$-module structure on $\operatorname{End}_{R}(M)$, where…
Szpilrajn's Lemma entails that each partial order extends to a linear order. Dushnik and Miller use Szpilrajn's Lemma to show that each partial order has a relizer. Since then, many authors utilize Szpilrajn's Theorem and the Well-ordering…
Our published paper contains an incorrect statement of a result due to Artin and Zhang. This corrigendum gives the correct statement of their result and includes a new result that allows us to use their result to prove our main theorem.…
In this paper, we first prove that the absorption law for one-sided inverses along an element holds, deriving the absorption law for the inverse along an element. We then apply this result to obtain the absorption law for the inverse along…
In their comment on the paper (Phys. Rev. B 65, 153403 (2002); cond-mat/0110154), Alexandrov and Bratkovsky (cond-mat/0207173) argue that they correctly took into account the chemical potential oscillations in their analytical theory of…
The theory of Chebyshev (uniform) approximation for univariate polynomial and piecewise polynomial functions has been studied for decades. The optimality conditions are based on the notion of alternating sequence. However, the extension the…
It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…
In the paper of Gohar M. Kyureghyan and Alexander Pott (Designs, Codes and Cryptography, 29, 149-164, 2003), the linear feedback polynomials of the Sidel'nikov-Lempel-Cohn-Eastman sequences were determined for some special cases. When…
For random matrix ensembles with non-gaussian matrix elements that may exhibit some correlations, it is shown that centered traces of polynomials in the matrix converge in distribution to a Gaussian process whose covariance matrix is…
In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…
We extend the preorder on k-tuples of dominant weights of a simple complex Lie algebra g of classical type adding up to a fixed weight $\lambda$ defined by V. Chari, D. Sagaki and the author. We show that the induced extended partial order…
This paper discusses limitations of reflexive and diagonal arguments as methods of proof of limitative theorems (e.g. G\"odel's theorem on Entscheidungsproblem, Turing's halting problem or Chaitin-G\"odel's theorem). The fact, that a formal…
In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has…
G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…
Given two rings $R \subseteq S$, $S$ is said to be a minimal ring extension of $R$ if $R$ is a maximal subring of $S$. In this article, we study minimal extensions of an arbitrary ring $R$, with particular focus on those possessing nonzero…
We study systematically the higher order corrections to the parity violating part of the effective action for the Abelian Chern-Simons theory in 2+1 dimensions, using the method of derivative expansion. We explicitly calculate the parity…
The question of embedding fields into central simple algebras $B$ over a number field $K$ was the realm of class field theory. The subject of embedding orders contained in the ring of integers of maximal subfields $L$ of such an algebra…
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that…
This paper contains two theorems concerning the theory of maximal Cohen--Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen--Macaulay modules $M$ and $N$ must have finite length, provided only finitely…
The well-known Formanek's module finiteness theorem states that every unital prime PI-algebra (i.e. a central order in a matrix algebra by Posner's theorem) embeds into a finitely generated module over its center. An analogue of this…