Related papers: Ideal ring extensions and trusses

We prove a new extension result for $QB-$rings that allows us to examine extensions of rings where the ideal is purely infinite and simple. We then use this result to explore various constructions that provide new examples of $QB-$rings.…

Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split…

Associating to each pre-order on the indices 1,...,n the corresponding structural matrix ring, or incidence algebra, embeds the lattice of n-element pre-orders into the lattice of n x n matrix rings. Rings within the order-convex hull of…

This paper mainly focuses on commutative local domains of dimension one. We then obtain a criterion for a ring to have a finite number of trace ideals in terms of integrally closed ideals. We also explore properties of such rings related to…

We study the semigroup extension $\mathscr{I}_\lambda^n(S)$ of a semigroup $S$ by symmetric inverse semigroups of a bounded finite rank. We describe idempotents and regular elements of the semigroups $\mathscr{I}_\lambda^n(S)$ and…

Brzezi\'nski's trusses are ``ring-like'' algebraic structures in which the addition is replaced with an abelian heap operation and the binary product satisfies a natural distributivity rule of the ternary product. The question of how to…

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…

Let $R$ be a commutative ring with nonzero identity. Let $\mathcal{I}(R)$ be the set of all ideals of $R$ and let $\delta : \mathcal{I}(R)\longrightarrow \mathcal{I}(R)$ be a function. Then $\delta$ is called an expansion function of ideals…

Many lattice-based crypstosystems employ ideal lattices for high efficiency. However, the additional algebraic structure of ideal lattices usually makes us worry about the security, and it is widely believed that the algebraic structure…

In this note, we define and investigate ideal covering numbers of associative rings (not assumed to be commutative or unital): three invariants defined as the minimal number of proper left, right, or two-sided ideals whose union equals the…

In the theory of commutative semirings, the lack of additive inverses creates a structural divergence between ideals and congruences that does not exist in ring theory. The aim of this article is to restore critical ideal-theoretic…

A cover by left ideals of an associative (not necessarily commutative or unital) ring $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, then $\eta_\ell(R)$ is the cardinality of a…

We prove an equivalent condition for the existence of a link between prime ideals in terms of the structure of a certain cohomology module. We use this formulation to answer an open question regarding the nature of module extensions over…

Let $R$ be a commutative ring with nonzero identity, and $\delta :\mathcal{I(R)}\rightarrow\mathcal{I(R)}$ be an ideal expansion where $\mathcal{I(R)}$ the set of all ideals of $R$. In this paper, we introduce the concept of…

We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let…

Let R be an integral domain and I a nonzero ideal of R. A sub-ideal J of I is a t-reduction of I if (JI^{n})_{t}=(I^{n+1})_{t} for some positive integer n. An element x in R is t-integral over I if there is an equation x^{n} + a_{1}x^{n-1}…

Let $G$ be a subgroup of the automorphism group of a commutative ring with identity $T$. Let $R$ be a subring of $T$ such that $R$ is invariant under the action by $G$. We show $R^G\subset T^G$ is a minimal ring extension whenever $R\subset…

Let $R$ be a commutative Noetherian ring, $E$ a non-zero finitely generated $R$-module and $I$ an ideal of $R$. One purpose of this paper is to show that the sequences $\Ass_RE/ \widetilde{I_E^n}$ and $\Ass_R\widetilde{I^n…

In this paper, we consider the problem of how to establish algebraic structures on nearness approximation spaces. Essentially, our approach is to define the nearness ring, nearness ideal and nearness ring of all weak cosets by considering…

There is a natural epimorphism from the symmetric algebra to the Rees algebra of an ideal. When this epimorphism is an isomorphism, we say that the ideal is of linear type. Given two determinantal rings over a field, we consider the…