Related papers: Ideal ring extensions and trusses

Two observations in support of the thesis that trusses are inherent in ring theory are made. First, it is shown that every equivalence class of a congruence relation on a ring or, equivalently, any element of the quotient of a ring $R$ by…

Trusses, defined as sets with a suitable ternary and a binary operations, connected by the distributive laws, are studied from a ring and module theory point of view. The notions of ideals and paragons in trusses are introduced and several…

We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we…

In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a…

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping.…

Some basic properties of the ring of integers $\mathbb{Z}$ are extended to entire rings. In particular, arithmetic in entire principal rings is very similar than arithmetic in the ring of integers $\mathbb{Z}$. These arithmetic properties…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…

Let $R$ be a commutative ring with identity. The ring $R\times R$ can be viewed as an extension of $R$ via the diagonal map $\Delta: R \hookrightarrow R\times R$, given by $\Delta(r) = (r, r)$ for all $r\in R$. It is shown that, for any $a,…

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…

This paper investigates the application of the theoretical algebraic notion of a separable ring extension, in the realm of cyclic convolutional codes or, more generally, ideal codes. We work under very mild conditions, that cover all…

Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly…

In this paper, we prove an extension of Zaks' conjecture on integral domains with semi-regular proper homomorphic images (with respect to finitely generated ideals) to arbitrary rings (i.e., possibly with zero-divisors). The main result…

In this paper, we study the classes of rings in which every proper (regular) ideal can be factored as an invertible ideal times a nonempty product of proper radical ideals. More precisely, we investigate the stability of these properties…

We discuss projective equivalence of ideals in Noetherian rings and the existence or failure of existence of projectively full ideals. We describe connections with the Rees valuations and Rees integers of an ideal, and consider the question…

We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…

Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…

In an attempt to understand the origins and the nature of the law binding together two group operations into a {\em skew brace}, introduced in [L.\ Guarnieri \& L.\ Vendramin, Math.\ Comp.\ \textbf{86} (2017), 2519--2534] as a non-Abelian…

We associate to every quandle $X$ and an associative ring with unity $\mathbf{k}$, a nonassociative ring $\mathbf{k}[X]$ following [3]. The basic properties of such rings are investigated. In particular, under the assumption that the inner…