Related papers: Elementary Matrix Reduction Over Certain Rings
An element $a\in R$ is provided that there exists an idempotent $e\in R$ such that $a-e\in U(R), ae=ea$ and $eae\in J(eRe)$. In this article, we investigate strongly rad-clean matrices over a commutative local ring. We completely determine…
The minus partial order is already known for sets of matrices over a field and bounded linear operators on arbitrary Hilbert spaces. Recently, this partial order has been studied on Rickart rings. In this paper, we extend the concept of the…
The main goal of this article is to introduce the concept of $EM-G-$graded rings. This concept is an extension of the notion of $EM-$rings. Let $G$ be a group and $R$ be a $G-$graded commutative ring. The $G-$gradation of $R$ can be…
Proper regularization is critical for speeding up training, improving generalization performance, and learning compact models that are cost efficient. We propose and analyze regularized gradient descent algorithms for learning shallow…
This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the…
C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero…
Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. R. Berger conjectured that $R$ is regular if and only if the universally finite module of differentials $\Omega_R$ is…
We study the homological behavior of modules over local rings modulo exact zero-divisors. We obtain new results which are in some sense "opposite" to those known for modules over local rings modulo regular elements.
Given any commutative ring $R$, a commutator of two $n\times n$ matrices over $R$ has trace $0$. In this paper, we study the converse: whether every $n \times n$ trace $0$ matrix is a commutator. We show that if $R$ is a B\'{e}zout domain…
In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…
The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a…
Idempotent elements play a fundamental role in ring theory, as they encode significant information about the underlying algebraic structure. In this paper, we study idempotent matrices from two perspectives. First, we analyze the partially…
The capability of discretization of matrix elements in the problem of quadratic functional minimization with linear member built on matrix in N-dimensional configuration space with discrete coordinates is researched. It is shown, that…
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$,…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a…
Although a good portion of elementary linear algebra concerns itself with matrices over a field such as $\mathbb{R}$ or $\mathbb{C}$, many combinatorial problems naturally surface when we instead work with matrices over a finite field. As…
An element of a ring $R$ is called strongly $J^{\#}$-clean provided that it can be written as the sum of an idempotent and an element in $J^{\#}(R)$ that commute. We characterize, in this article, the strongly $J^{\#}$-cleanness of matrices…
We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to Spec R$, we have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in characteristic…
The moduli space of stable maps with divisible ramification uses $r$-th roots of a canonical ramification section to parametrise stable maps whose ramification orders are divisible by a fixed integer $r$. In this article, a virtual…