English
Related papers

Related papers: The Regular Element Property in Constructive Mathe…

200 papers

In a semiprime ring, von Neumann regular elements are determined by their inner inverses. In particular, for elements $a,b$ of a von Neumann regular ring $R$, $a=b$ if and only if $I(a)=I(b)$, where $I(x)$ denotes the set of inner inverses…

Rings and Algebras · Mathematics 2018-07-03 Adel Alahmadi , S. K. Jain , André Leroy

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $I$ a proper ideal of $R$. In this paper we introduce and analyze some properties of $r(I, M)=\bigcup_{k\geqslant 1} (I^{k+1}M: I^kM)$, {\it the Ratliff-Rush…

Commutative Algebra · Mathematics 2007-05-23 Tony J. Puthenpurakal , Fahed Zulfeqarr

It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…

Logic in Computer Science · Computer Science 2022-07-12 Zvi Schreiber

Let $R$ be a commutative ring and $\Gamma$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[\Gamma]$ is an important object of computation in geometric topology and number theory. When the group ring is…

K-Theory and Homology · Mathematics 2016-07-04 Gunnar Carlsson , Boris Goldfarb

Let $(R,\m,k)$ be a local (Noetherian) ring of positive prime characteristic $p$ and dimension $d$. Let $G_\dt$ be a minimal resolution of the residue field $k$, and for each $i\ge 0$, let $\gothic t_i(R) = \lim_{e\to \8}…

Commutative Algebra · Mathematics 2007-10-23 Ian Aberbach , Jinjia Li

We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…

Commutative Algebra · Mathematics 2019-05-09 Jan Draisma

Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We…

Commutative Algebra · Mathematics 2018-09-28 Louiza Fouli , Bruce Olberding

Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the classes $ \mathcal{P}_C $ and $ \mathcal{I}_C $, we extend the notions of perfect and coperfect modules introduced by D.Rees \cite{R} and…

Commutative Algebra · Mathematics 2016-04-08 M. Rahmani , A. -J. Taherizadeh

The paper concerns a new method to obtain a direct proof of the openness at linear rate/metric regularity of composite set-valued maps on metric spaces by the unification and refinement of several methods developed somehow separately in…

Functional Analysis · Mathematics 2012-10-16 Marius Durea , Van Ngai Huynh , Huu Tron Nguyen , Radu Strugariu

In this paper we study the problem of computing a Kolchin characteristic set of a radical differential ideal. The central part of the article is the presentation of algorithms solving this problem in two principal cases: for ordinary…

Commutative Algebra · Mathematics 2007-05-23 Marina Kondratieva , Alexey Ovchinnikov

Let $a$ be a regular element of a ring $R$. If either $K:=\rm{r}_R(a)$ has the exchange property or every power of $a$ is regular, then we prove that for every positive integer $n$ there exist decompositions $$ R_R = K \oplus X_n \oplus Y_n…

Rings and Algebras · Mathematics 2015-12-24 Dinesh Khurana

The notion of normal elements for finite fields extension has been generalized as k-normal elements by Huczynska et al. [3]. The number of k-normal elements for a fixed finite field extension has been calculated and estimated [3], and…

Number Theory · Mathematics 2018-07-27 Aixian Zhang , Keqin Feng

We study the concept of canonical characteristic set of a characterizable differential ideal. We propose an efficient algorithm that transforms any characteristic set into the canonical one. We prove the basic properties of canonical…

Commutative Algebra · Mathematics 2009-02-25 Oleg Golubitsky , Marina Kondratieva , Alexey Ovchinnikov

Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…

Rings and Algebras · Mathematics 2007-05-23 Tomasz Brzezinski

Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a…

Logic in Computer Science · Computer Science 2023-06-22 Francesco Dagnino

For finitely generated modules $N \subsetneq M$ over a Noetherian ring $R$, we study the following properties about primary decomposition: (1) The Compatibility property, which says that if $\ass (M/N)=\{P_1, P_2, ..., P_s\}$ and $Q_i$ is a…

Commutative Algebra · Mathematics 2007-05-23 Yongwei Yao

A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there…

Commutative Algebra · Mathematics 2020-06-11 Katharine Shultis , Peder Thompson

Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of…

Rings and Algebras · Mathematics 2025-07-08 Amartya Goswami

We study some properties of graded idealizer rings with an emphasis on applications to the theory of noncommutative projective geometry. In particular we give examples of rings for which the $\chi$-conditions of Artin and Zhang and the…

Rings and Algebras · Mathematics 2007-05-23 Daniel Rogalski

Let $\mathfrak{q}$ denote an ideal in a Noetherian local ring $(A,\mathfrak{m})$. Let $\underline{a}=a_1,\ldots,a_d \subset \mathfrak{q}$ denote a system of parameters in a finitely generated $A$-module $M$. This note investigate an…

Commutative Algebra · Mathematics 2017-05-12 M. Azeem Khadam