scholarly journals Finitely generated rings obtained from hyperrings through the fundamental relations

2021 ◽  
Vol 39 (1) ◽  
pp. 51-69
Author(s):  
S. Mirvakili ◽  
P. Ghiasvand ◽  
Bijan Davvaz
Keyword(s):  
Commutative Ring ◽  
Finitely Generated ◽  
Strongly Regular Relation ◽  
Strongly Regular ◽  
Transitivity Condition ◽  
Regular Relation

In this article, we introduce and analyze a strongly regular relation $\omega^{*}_{\mathcal{A}}$ on a hyperring$R$ such that in a particular case we have $|R/\omega^{*}_{\mathcal{A}}|\leq 2$ or$R/\omega^{*}_{\mathcal{A}}=<\omega^{*}_{\mathcal{A}}(a)>$, i.e., $R/\omega^{*}_{\mathcal{A}}$ is a finite generated ring. Then, by using the notion of $\omega^{*}_{\mathcal{A}}$-parts, we investigate the transitivity condition of $\omega_{\mathcal{A}}$. Finally, we investigate a strongly regular relation $\chi^{*}_{\mathcal{A}}$ on the hyperring $R$ such that $R/\chi^{*}_{\mathcal{A}}$ is a commutative ring with finite generated.

scholarly journals The commutative quotient structure of m-idempotent hyperrings

2020 ◽  
Vol 28 (1) ◽  
pp. 219-236
Author(s):  
Azam Adineh Zadeh ◽  
Morteza Norouzi ◽  
Irina Cristea
Keyword(s):  
Commutative Ring ◽  
Quotient Ring ◽  
Fundamental Relation ◽  
Strongly Regular Relation ◽  
Strongly Regular ◽  
Regular Relation

AbstractThe α* -relation is a fundamental relation on hyperrings, being the smallest strongly regular relation on hyperrings such that the quotient structure R/α* is a commutative ring. In this paper we introduce on hyperrings the relation ζm, which is smaller than α*, and show that, on a particular class of m-idempotent hyperrings R, it is the smallest strongly regular relation such that the quotient ring R/ζ*m is commutative. Some properties of this new relation and its differences from the α* -relation are illustrated and discussed. Finally, we show that ζm is a new representation for α* on this particular class of m-idempotent hyperrings.

scholarly journals Convex ordered Gamma-semihypergroups associated to strongly regular relations

MATEMATIKA ◽  
2017 ◽  
Vol 33 (2) ◽  
pp. 227 ◽  
Author(s):  
Saber Omidi ◽  
Bijan Davvaz
Keyword(s):  
Strongly Regular Relation ◽  
Strongly Regular ◽  
Quotient Set ◽  
Regular Relation

In this study, we introduce and investigate the notion of convex ordered Gamma-semihypergroups associated to strongly regular relations. Afterwards, we prove that if sigma is a strongly regular relation on a convex ordered Gamma-semihypergroup, then the quotient set is an ordered Gamma-sigma-semigroup. Also, some results on the product of convex ordered Gamma-semihypergroups are given. As an application of the results of this paper, the corresponding results of ordered semihypergroups are also obtained by moderate modifications.

scholarly journals Fundamental relation on m-idempotent hyperrings

2017 ◽  
Vol 15 (1) ◽  
pp. 1558-1567 ◽  
Author(s):  
Morteza Norouzi ◽  
Irina Cristea
Keyword(s):  
Fundamental Relation ◽  
Strongly Regular Relation ◽  
Strongly Regular ◽  
Regular Relation

Abstract The γ*-relation defined on a general hyperring R is the smallest strongly regular relation such that the quotient R/γ* is a ring. In this note we consider a particular class of hyperrings, where we define a new equivalence, called $\varepsilon^{*}_{m} $, smaller than γ* and we prove it is the smallest strongly regular relation on such hyperrings such that the quotient R/ $\varepsilon^{*}_{m} $ is a ring. Moreover, we introduce the concept of m-idempotent hyperrings, show that they are a characterization for Krasner hyperfields, and that $\varepsilon^{*}_{m} $ is a new exhibition for γ* on the above mentioned subclass of m-idempotent hyperrings.

Primary ideals with finitely generated radical in a commutative ring

1993 ◽  
Vol 78 (1) ◽  
pp. 201-221 ◽  
Author(s):  
Robert Gilmer ◽  
William Heinzer
Keyword(s):  
Commutative Ring ◽  
Finitely Generated ◽  
Primary Ideals

scholarly journals On a generalization of prime submodules of a module over a commutative ring

2017 ◽  
Vol 37 (1) ◽  
pp. 153-168
Author(s):  
Hosein Fazaeli Moghimi ◽  
Batool Zarei Jalal Abadi
Keyword(s):  
Commutative Ring ◽  
Dedekind Domain ◽  
Finitely Generated ◽  
Multiplication Module ◽  
Maximal Ideals ◽  
Prime Submodules ◽  
Prime Submodule

‎Let $R$ be a commutative ring with identity‎, ‎and $n\geq 1$ an integer‎. ‎A proper submodule $N$ of an $R$-module $M$ is called‎ ‎an $n$-prime submodule if whenever $a_1 \cdots a_{n+1}m\in N$ for some non-units $a_1‎, ‎\ldots‎ , ‎a_{n+1}\in R$ and $m\in M$‎, ‎then $m\in N$ or there are $n$ of the $a_i$'s whose product is in $(N:M)$‎. ‎In this paper‎, ‎we study $n$-prime submodules as a generalization of prime submodules‎. ‎Among other results‎, ‎it is shown that if $M$ is a finitely generated faithful multiplication module over a Dedekind domain $R$‎, ‎then every $n$-prime submodule of $M$ has the form $m_1\cdots m_t M$ for some maximal ideals $m_1,\ldots,m_t$ of $R$ with $1\leq t\leq n$‎.

scholarly journals Inertial subalgebras of algebras possessing finite automorphism groups

1979 ◽  
Vol 28 (3) ◽  
pp. 335-345 ◽  
Author(s):  
Nicholas S. Ford
Keyword(s):  
Finite Group ◽  
Commutative Ring ◽  
Jacobson Radical ◽  
Automorphism Groups ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Finitely Generated ◽  
Fixed Ring ◽  
A Finite Group ◽  
Necessary And Sufficient

AbstractLet R be a commutative ring with identity, and let A be a finitely generated R-algebra with Jacobson radical N and center C. An R-inertial subalgebra of A is a R-separable subalgebra B with the property that B+N=A. Suppose A is separable over C and possesses a finite group G of R-automorphisms whose restriction to C is faithful with fixed ring R. If R is an inertial subalgebra of C, necessary and sufficient conditions for the existence of an R-inertial subalgebra of A are found when the order of G is a unit in R. Under these conditions, an R-inertial subalgebra B of A is characterized as being the fixed subring of a group of R-automorphisms of A. Moreover, A ⋍ B ⊗R C. Analogous results are obtained when C has an R-inertial subalgebra S ⊃ R.

Some properties of a family of quotients of the Rees algebra

2019 ◽  
Vol 18 (06) ◽  
pp. 1950113 ◽  
Author(s):  
Elham Tavasoli
Keyword(s):  
Commutative Ring ◽  
Noetherian Ring ◽  
Proper Ideal ◽  
Rees Algebra ◽  
Finitely Generated ◽  
Flat Ideal

Let [Formula: see text] be a commutative ring and let [Formula: see text] be a nonzero proper ideal of [Formula: see text]. In this paper, we study the properties of a family of rings [Formula: see text], with [Formula: see text], as quotients of the Rees algebra [Formula: see text], when [Formula: see text] is a semidualizing ideal of Noetherian ring [Formula: see text], and in the case that [Formula: see text] is a flat ideal of [Formula: see text]. In particular, for a Noetherian ring [Formula: see text], it is shown that if [Formula: see text] is a finitely generated [Formula: see text]-module, then [Formula: see text] is totally [Formula: see text]-reflexive as an [Formula: see text]-module if and only if [Formula: see text] is totally reflexive as an [Formula: see text]-module, provided that [Formula: see text] is a semidualizing ideal and [Formula: see text] is reducible in [Formula: see text]. In addition, it is proved that if [Formula: see text] is a nonzero flat ideal of [Formula: see text] and [Formula: see text] is reducible in [Formula: see text], then [Formula: see text], for any [Formula: see text]-module [Formula: see text].

Modules with annihilation property

2020 ◽  
pp. 2150126
Author(s):  
Rasul Mohammadi ◽  
Ahmad Moussavi ◽  
Masoome Zahiri
Keyword(s):  
Commutative Ring ◽  
Associative Ring ◽  
Zero Divisor ◽  
Commutative Rings ◽  
Finitely Generated ◽  
Ideal Formula ◽  
Ordered Monoid ◽  
Zero Divisors ◽  
The Right ◽  
Totally Ordered Monoid

Let [Formula: see text] be an associative ring with identity. A right [Formula: see text]-module [Formula: see text] is said to have Property ([Formula: see text]), if each finitely generated ideal [Formula: see text] has a nonzero annihilator in [Formula: see text]. Evans [Zero divisors in Noetherian-like rings, Trans. Amer. Math. Soc. 155(2) (1971) 505–512.] proved that, over a commutative ring, zero-divisor modules have Property ([Formula: see text]). We study and construct various classes of modules with Property ([Formula: see text]). Following Anderson and Chun [McCoy modules and related modules over commutative rings, Comm. Algebra 45(6) (2017) 2593–2601.], we introduce [Formula: see text]-dual McCoy modules and show that, for every strictly totally ordered monoid [Formula: see text], faithful symmetric modules are [Formula: see text]-dual McCoy. We then use this notion to give a characterization for modules with Property ([Formula: see text]). For a faithful symmetric right [Formula: see text]-module [Formula: see text] and a strictly totally ordered monoid [Formula: see text], it is proved that the right [Formula: see text]-module [Formula: see text] is primal if and only if [Formula: see text] is primal with Property ([Formula: see text]).

On Φ-Dedekind, Φ-Prüfer and Φ-Bezout modules

2020 ◽  
Vol 27 (1) ◽  
pp. 103-110
Author(s):  
Shahram Motmaen ◽  
Ahmad Yousefian Darani
Keyword(s):  
Commutative Ring ◽  
Principal Ideal ◽  
Finitely Generated ◽  
Module Homomorphism ◽  
Prime Submodule ◽  
Bezout Module

AbstractIn this paper, we introduce some classes of R-modules that are closely related to the classes of Prüfer, Dedekind and Bezout modules. Let R be a commutative ring with identity and set\mathbb{H}=\bigl{\{}M\mid M\text{ is an }R\text{-module and }\mathrm{Nil}(M)% \text{ is a divided prime submodule of }M\bigr{\}}.For an R-module {M\in\mathbb{H}}, set {T=(R\setminus Z(R))\cap(R\setminus Z(M))}, {\mathfrak{T}(M)=T^{-1}M} and {P=(\mathrm{Nil}(M):_{R}M)}. In this case, the mapping {\Phi:\mathfrak{T}(M)\to M_{P}} given by {\Phi(x/s)=x/s} is an R-module homomorphism. The restriction of Φ to M is also an R-module homomorphism from M into {M_{P}} given by {\Phi(x)=x/1} for every {x\in M}. A nonnil submodule N of M is said to be Φ-invertible if {\Phi(N)} is an invertible submodule of {\Phi(M)}. Moreover, M is called a Φ-Prüfer module if every finitely generated nonnil submodule of M is Φ-invertible. If every nonnil submodule of M is Φ-invertible, then we say that M is a Φ-Dedekind module. Furthermore, M is said to be a Φ-Bezout module if {\Phi(N)} is a principal ideal of {\Phi(M)} for every finitely generated submodule N of the R-module M. The paper is devoted to the study of the properties of Φ-Prüfer, Φ-Dedekind and Φ-Bezout R-modules.

Sign in / Sign up

Export Citation Format

Share Document