English
Related papers

Related papers: Some factorization properties of idealization in c…

200 papers

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

Logic in Computer Science · Computer Science 2024-04-24 Thaynara Arielly de Lima , Andréia Borges Avelar , André Luiz Galdino , Mauricio Ayala-Rincón

The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, is introduced. We obtain a concrete description of the centralizer of an $I$-matrix $\hat B$ in…

Rings and Algebras · Mathematics 2015-04-08 Magdaleen S. Marais

In this paper, we investigate the row-factorization matrices of Arf numerical semigroups, and we provide the full list of such matrices of certain Arf numerical semigroups. We use the information of row-factorization matrices to detect the…

Commutative Algebra · Mathematics 2025-04-11 Meral Süer , Mehmet Yeşil

We describe the endomorphism rings in an additive category whose objects are right $R$-modules $M$ with a fixed chain of submodules $0=M^{(0)}\leq M^{(1)}\leq M^{(2)} \leq \dots \leq M^{(n)}=M$ and the behaviour of these objects as far as…

Rings and Algebras · Mathematics 2025-04-17 Federico Campanini

Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…

Commutative Algebra · Mathematics 2019-11-15 Helmut Zöschinger

Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(\varphi_1,\varphi_2,\dots,\varphi_d)$ such that their product is $f$ times an identity…

Commutative Algebra · Mathematics 2021-02-16 Tim Tribone

Let $R$ be a commutative ring with unity. The co-maximal ideal graph of $R$, denoted by $\Gamma(R)$, is a graph whose vertices are the proper ideals of $R$ which are not contained in the Jacobson radical of $R$, and two vertices $I_1$ and…

Commutative Algebra · Mathematics 2015-10-28 Saieed Akbari , Babak Miraftab , Reza Nikandish

Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.

Commutative Algebra · Mathematics 2021-04-06 Behruz Sadeqi

In this paper, we prove that every binomial ideal in a polynomial ring over an algebraically closed field of characteristic zero admits a canonical primary decomposition into binomial ideals. Moreover, we prove that this special…

Commutative Algebra · Mathematics 2010-05-10 Ignacio Ojeda

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

Commutative Algebra · Mathematics 2025-07-21 Md Abu Raihan , Leslie G. Roberts , Husney Parvez Sarwar

In 2008 N.~Q.~Chinh and P.~H.~Nam characterized principal ideal domains as integral domains that satisfy the follo\-wing two conditions: (i) they are unique factorization domains, and (ii) all maximal ideals in them are principal. We…

Commutative Algebra · Mathematics 2018-05-29 Katie Christensen , Ryan Gipson , Hamid Kulosman

We examined the use of the Ising model as an $L_0$ regularization method for field-aware factorization machines (FFM). This approach improves generalization performance and has the advantage of simultaneously determining the best feature…

Machine Learning · Computer Science 2024-03-06 Yasuharu Okamoto

An $A$-module $E$ is said to be an \textit{annihilator multiplication module} if for each $e\in E$, there exists a finitely generated ideal $I$ of $A$ such that $ann(e)=ann(IE)$. This class of modules is quite large, as it contains…

Commutative Algebra · Mathematics 2026-03-18 Suat Koç

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…

Commutative Algebra · Mathematics 2017-03-01 F. Heydari

The modern expressions for polarization $\P$ and orbital magnetization $\M$ are $\k$-space integrals. But a genuine bulk property should also be expressible in $\r$-space, as unambiguous function of the ground-state density matrix,…

Mesoscale and Nanoscale Physics · Physics 2013-10-31 Raffaello Bianco , Raffaele Resta

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished…

Representation Theory · Mathematics 2022-10-04 Jon F. Carlson

Let $ M (X)$ be the ring of all real measurable functions on a measurable space $(X, \mathscr{A})$. In this article, we show that every ideal of $M(X)$ is a $Z^{\circ}$-ideal. Also, we give several characterizations of maximal ideals of…

General Topology · Mathematics 2018-03-19 Ali Akbar Estaji , Ahmad Mahmoudi Darghadam , Hasan Yousefpour

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…

Commutative Algebra · Mathematics 2007-05-23 Kohji Yanagawa

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…

Commutative Algebra · Mathematics 2014-07-02 Sankar P. Dutta

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are…

Algebraic Geometry · Mathematics 2020-09-01 Dan Abramovich , Michael Temkin , Jarosław Włodarczyk