Next Article in Journal
Breathers, Transformation Mechanisms and Their Molecular State of a (3+1)-Dimensional Generalized Yu–Toda–Sasa–Fukuyama Equation
Next Article in Special Issue
A Novel Class of Separation Axioms, Compactness, and Continuity via C-Open Sets
Previous Article in Journal
Genesis Analysis of Special Deformation Characteristics for Super-High Arch Dams in the Alpine and Gorge Regions of Southwest China
Previous Article in Special Issue
Fixed Point Results in C🟉-Algebra-Valued Partial b-Metric Spaces with Related Application
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Spectrum of Zariski Topology in Multiplication Krasner Hypermodules

by
Ergül Türkmen
*,
Burcu Nişancı Türkmen
and
Öznur Kulak
Department of Mathematics, Faculty of Arts and Sciences, Amasya University, Amasya 05100, Turkey
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(7), 1754; https://doi.org/10.3390/math11071754
Submission received: 21 January 2023 / Revised: 24 March 2023 / Accepted: 4 April 2023 / Published: 6 April 2023
(This article belongs to the Special Issue Topological Space and Its Applications)

Abstract

:
In this paper, we define the concept of pseudo-prime subhypermodules of hypermodules as a generalization of the prime hyperideal of commutative hyperrings. In particular, we examine the spectrum of the Zariski topology, which we built on the element of the pseudo-prime subhypermodules of a class of hypermodules. Moreover, we provide some relevant properties of the hypermodule in this topological hyperspace.

1. Introduction

Hypergroup theory, which was defined in [1] as a more comprehensive algebraic structure of group theory, has been investigated by different authors in modern algebra. It has been developed using hyperring and hypermodule theory studies by many authors in a series of papers [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]. Following these papers, let us start by giving the basic information necessary for the algebraic structure that we will study as Krasner S-hypermodule in studying the S-hypermodule class on a fixed Krasner hyperring class S. Let N be a non-empty set; N , · is called a hypergroupoid if for the map defined as · : N × N P * ( N ) is a function. Here “·” is called a hyperoperation on N. Let X and Y be subsets of N. The hyperproduct X · Y is defined as
X · Y = x , y X × Y x · y .
If x , y N , then x · Y and X · y are simply represented as x · Y and X · y , respectively. A hypergroupoid N , · is called a semihypergroup if for each x , y , z N , x · y · z = x · y · z . A semihypergroup N , · is called a hypergroup if for each x N , x · N = N · x = N . A hypergroup ( N , · ) is called commutative provided x · y = y · x for all x , y N .
A commutative hypergroup ( N , + ) is said to be canonical if
(1)
There exists a unique 0 N such that for each x N there exists a unique element x in N, denoted by x , such that 0 x + ( x ) ;
(2)
z x + y implies y z x : = z + ( x ) for each x , y , z N .
As it is proved in [13], if ( N , + ) is a canonical hypergroup, then x + 0 = x for all x N .
Let ( S , + , · ) be a hyperstructure. ( S , + , · ) is called a Krasner hyperring if
(1)
( S , + ) is a canonical hypergroup;
(2)
( S , · ) is a semigroup with a bilaterally absorbing element 0, i.e.,
(a)
a · b R for all a , b S ;
(b)
a · ( b · c ) = ( a · b ) · c for all a , b , c S ;
(c)
a · 0 = 0 · a = 0 for all a S ;
(3)
The multiplication distributes over the addition on both sides.
A Krasner hyperring ( S , + , · ) is called commutative if it is commutative with respect to the multiplication. If a = a · 1 S = 1 S · a for every a S , then element 1 S is called an identity element of the Krasner hyperring ( S , + , · ) . From now on, when we say hyperring, we mean commutative Krasner hyperrings with identity.
Let ( S , + , · ) be a hyperring and J be a non-empty subset of S. Then, J is called a hyperideal of S provided ( J , + ) is a subhypergroup and r · a , a · r J for all a J and r S . Let S be a hyperring and I , J be hyperideals of S. Then the product I J = { x | x Λ a λ b λ , a λ I a n d b λ J } is a hyperideal of S.
Let S be a hyperring. A canonical hypergroup ( N , + ) together with a left external map S × N N defined by
( x , a ) x · a N
such that for every x , y S and a , b N , we have
(1)
x · ( a + b ) = x · a + x · b ,
(2)
( x + y ) · a = x · a + y · a ,
(3)
( x · y ) · a = x · ( y · a ) ,
(4)
a = 1 S · a ,
(5)
x · 0 N = 0 N ,
which is called a Krasner left hypermodule over S.
Throughout this paper, for a simple explanation, when we say hypermodule, we mean the left Krasner hypermodule. Note that a non-zero hypermodule always has two different subhypermodules, which are trivial subhypermodules. It is known that a non-empty subset K of an S-hypermodule N is a subhypermodule of N if and only if a b K and r a K for all a , b K and r S .
Let N be a S-hypermodule and x N . Then S · x = s · x : s S is a subhypermodule of a hypermodule N.
Let K and T be subhypermodules of N. Then K + T = x k + t : k K , t T is a subhypermodule of N. Let N and K be S-hypermodules and let f : N K be a function. If f x + y f x + f y and f s . x = s . f x for every x , y K and s S , f is called a hypermodule S-homomorphism from N to K. Instead of this statement, if the inclusion satisfies f x + y = f x + f y , then f is said to be a strong S-homomorphism from N to K. The class of every strong S-homomorphism from N to K is denoted by H o m S N , K ; sets are defined as k e r f : = x N : f x = 0 K and I m f : = y K : x N , y f x . The homomorphism f H o m S N , K is called strongly injective if f x 1 = f x 2 implies x 1 = x 2 for every x 1 , x 2 N , and f is called strongly surjective if K = f ( N ) . To simplify denoting annihilator of an S-hypermodule N for a subhypermodule K, we use the symbol K : S N , and the set is a hyperideal, which is defined as s S : s . N K . Another representation of D : S N is A n n S N .
As a generalization of a prime spectrum of the ring of commutative topology defined on S with Zariski topology [16] inspired by the interaction between the theoretical properties of the hyperring S of the text, over a commututive hyperring S on a several hypermodule N, we examine a Zariski topology on these spectrum X N of pseudo-prime subhyper-modules, and we give the interaction between topological hyperspace.
We give topological conditions such as connectedness, Noetherianness, and irreducibility in the pseudo-prime spectrum of hypermodules and obtain more information about the algebraic hyperstructure of these hypermodules. Further, we prove this topological hyperspace in terms of spectral hyperspace, which is a topological hyperspace and homeomorphic to S p e c S for any hyperring S.

2. Condition of Pseudo-Prime for Krasner Hypermodules

In this section, we present pseudo-prime subhypermodules as a new concept of hypermodules theory. Then we investigate the connection between spectral hyperspace and Zariski topology. Recall from [17] that a proper hyperideal J of a hyperring S is called prime if for hyperideals X , Y of S the relation X Y J implies X J or Y J .
Definition 1. 
Let N be an S-hypermodule and K be a subhypermodule of N.
(1) 
K is called pseudo-prime if K : S N is a prime hyperideal of S.
(2) 
We call a pseudo-prime spectrum of N as the set of all pseudo-prime submodules of N expressed by X N . For any prime hyperideal J X S = S p e c S , the collection N of whole pseudo-prime subhypermodules of N with K : N = J
(3) 
We define the set V K = Y X N : K Y .
(4) 
If X N , the function η : X N S p e c S / A n n N via
η Y = Y : N / A n n N
is called natural map of X N . If either N = { 0 } or N { 0 } and the natural map of X N is strongly surjective, then we call N pseudo-primeful.
(5) 
If the natural map of X N is strongly injective, then we call N a pseudo-injective.
According to our above definition, prime hyperideals of a hyperring S and the pseudo-prime S-hypermodule of the hypermodule S are the same. It is obtained that the concept of prime hyperideal to hypermodules is a strong notion of the strongly pseudo-prime subhypermodule S. Let N be an S-hypermodule. Following [18], a proper subhypermodule K of N is called prime if, for a hyperideal J of S and a subhypermodule X of N, the ralation
J . X = j = 1 p u j . x j : l N , u j J and x j X , for all j
implies J K : N or X K .
Therefore, a proper subhypermodule K of N is prime if N / K is a torsion-free S / K : N -hypermodule, i.e., N / K is a hypermodule on S such that the only element destroyed by a non-zero divisor of hyperring S / K : N is zero. Using Definition 1, every prime subhypermodule K is a pseudo-prime subhypermodule because K : N S p e c S .
Recall from [11] that a hypermodule N is multiplication S-hypermodule if, for each subhypermodule K of N, there exists a hyperideal J of S with K = J . N . A proper subhypermodule K of N is called maximal if for each subhypermodule L of N with K L N , then K = L or L = N .
Lemma 1. 
The following assertions are equivalent for a finitely generated S-hypermodule N.
(1) 
N is a multiplication hypermodule.
(2) 
N is a pseudo-injective hypermodule.
(3) 
X N , J 1 for each maximal hyperideal J of S.
(4) 
N / J . N is simple for each maximal hyperideal J of S.
Proof. 
( 1 ) ( 2 ) and ( 2 ) ( 3 ) are clear.
( 3 ) ( 4 ) It can be proven clearly that J . N = N for a maximal hyperideal J of S. Hence, suppose that J . N N and K / J . N N / J . N . Then K is a proper subhypermodule containing the subhypermodule J . N of N. Thus we have J = J . N : N = K : N . Since K and J . N belong to X N : J , then K = J . N by the assumption. Therefore, N / J . N is a simple S-hypermodule. By [11], N is a multiplication hypermodule. □
Further, we use the concept of pseudo-prime subhypermodules to describe another new hypermodule class, namely, the topological hypermodule. We explore some algebraic properties of this hypermodule class. Then, in the next section, we connect a topology to the set of all pseudo-prime subhypermodules of topological hypermodules, called the Zariski topology. Let L be a subset of X N for an S-hypermodule N. We show as notation the intersection of all elements in L by L .
Definition 2. 
Let N be an S-hypermodule.
(1) 
A subhypermodule K of N is called pseudo-semiprime if it is an intersection of pseudo-prime subhypermodules of N.
(2) 
A pseudo-prime subhypermodule K of N is called extraordinary if, whenever T and L are pseudo-semiprime subhypermodules of N, T L K implies that L K or T K .
(3) 
The pseudo-prime radical of K is shown as notation P r a d K is the intersection of each pseudo-prime subhypermodules of N containing K, i.e., P r a d K = V K = P P V K . If V K = , then we get P r a d K = N for a subhypermodule K of N.
(4) 
If K = P r a d K , then the subhypermodule K of N is said to be a pseudo-prime radical subhypermodule.
(5) 
If X N = or each pseudo-prime subhypermodule of N is extraordinary, then N is said to be topological.
Using Definition 2 we prove that every prime hyperideal of S is an extraordinary pseudo-prime subhypermodule for the S-hypermodule S.
Theorem 1. 
Let N be a topological S-hypermodule. Then the following statements hold.
(1) 
Every strong homomorphic image of N is a topological S-hypermodule.
(2) 
N J is a topological S J -hypermodule for every prime hyperideal J of S.
Proof. 
(1) Let K be a subhypermodule of N. We have a factor S-hypermodule N / K , say L. Let U / K be a pseudo-prime subhypermodule of L. Since U / K : L = U : N , we obtain that U is a pseudo-prime subhypermodule of N. Let V / K and W / K be pseudo-semiprime subhypermodule of L so that V / K W / K U / K . Therefore, V and W are pseudo-semiprime subhypermodules of N such that V W U . By the hypothesis, V U or W U . Therefore, V / K U / K or W / K U / K . Consequently, L is a topological S-hypermodule.
(2) Let L be a pseudo-prime subhypermodule of the S J -hypermodule N J and let Ψ : N N J be the canonical strong homomorphism. First we shall prove that L N is a pseudo-prime subhypermodule of N. Let I and I be hyperideals of S so that I I L N : S N . Using the canonical strong homomorphic image of N by Ψ , we have I J I J ; N J L = L N J . Since L is a pseudo-prime subhypermodule of the S J -hypermodule N J , either I J L : N J or I J L : N J . Therefore, we have I . N I . N J N L K or I : N L K . It follows that L K is a pseudo-prime subhypermodule of N. Take pseudo-semiprime subhypermodules K 1 and K 2 of N J with K 1 K 2 L . We have that K 1 N and K 2 N are pseudo-semiprime subhypermodules of N with K 1 N K 2 N = K 1 K 2 N L N that K 1 = K 1 N J L N J = H or K 2 = K 2 N J L N J = H . Therefore, H is extraordinary and N J is a topological S J -hypermodule. □
Recall that the pseudo-prime subhypermodules of S as on S-hypermodule are the pseudo-prime hyperideals for any hyperring S. In the following theorem, we extend the fact in Theorem 1 to multiplication hypermodules.
Theorem 2. 
Let N be a finitely generated S-hypermodule. Then the following assertions are equivalent.
(1) 
N is a multiplication hypermodule.
(2) 
There exists a hyperideal J of S such that V K = V J . K for every subhypermodule K of N.
(3) 
N is a topological hypermodule.
Proof. 
( 1 ) ( 2 ) Clear.
( 2 ) ( 3 ) Let L be a pseudo-prime subhypermodule of N. Assume that K and U are pseudo-semiprime subhypermodules of N with K U L . Then we have V K = V J . N and V U = V J : N for hyperideals J and J of S. Take some collection of pseudo-prime subhypermodules K α α Ω such that K = α Ω K α . Therefore, we get J J . N K α for every α Ω using the conclusion
K α V K V K V U = V J . N V J . N = V J J . N .
Hence J J . N α Ω K α = K . By a similar way, we have the conclusion J J . N U . Thus J J . N K U L . It follows from J J L : N that L V J . N = V K or L V J : N = V U , that is K L or U L .
( 3 ) ( 1 ) Clear by Lemma 1. □
Definition 3. 
Let N be an S-hypermodule. Then N is called content if b c b N , where c b = J : J is a hyperideal of S and b J . N for every b N .
It is can be seen that N is a content S-hypermodule if and only if α Ω J α . N = α Ω J α . N for every family of J α : α Ω of S .
Theorem 3. 
Let N be an S-hypermodule. Consider the following conditions:
(1) 
N is a content and pseudo-injective S-hypermodule.
(2) 
P r a d K = K : N N for every subhypermodule K of N.
Then if N satisfies one of these above conditions, it is topological.
Proof. 
If P r a d L = N , then we have V K = V S . N . Suppose that P r a d L N . Therefore, P r a d L is a pseudo-semiprime subhypermodule of N. There exist pseudo-prime subhypermodules L α for every α Ω with P r a d L = α Ω L α and L α : N = p α S p e c S . Therefore p α N = p α : N . N = p α : N . N : N and N is pseudo-injective for every α Ω with L α = p α N . Since N is a content hypermodule,
P r a d L = α Ω L α = α Ω p α N = α Ω p α N
= α Ω L α : N N = α Ω L α : N N
= P r a d L : N N .
Then we obtain V L = V P r a d L = V P r a d L : N N . It follows from Theorem 2 that N is a topological hypermodule.
Suppose that, for all subhypermodule K of N, P r a d K = K : N N . Then V K = V P r a d K = V K : N N . It follows from Theorem 2 that N is a topological hypermodule. □

3. Pseudo-Prime Spectrum over Topological Hypermodules

We denote N as a topological S-hypermodule in the rest of this text. In [11], we investigated the Zariski topology over multiplication hypermodules. Zariski topology is built on topological modules in [16]. In this section, inspired by this source, this class will be examined in hypermodules by looking at it from a different spectrum. Briefly, J and J ¯ will be used instead of S / A n n N and J / A n n N for every hyperideal J V s A n n N .
Theorem 4. 
If X N is connected for a pseudo-primeful S-hypermodule N, then X S ¯ is connected.
Proof. 
Let φ : X N S p e c S / A n n N be a natural map. As φ is surjective, we must show that φ is continuous. Take a hyperideal J of S containing A n n N . Let K φ 1 V S ¯ J ¯ . There is a hyperideal J ¯ V S ¯ J ¯ such that φ K = J ¯ . Thus J K : N = J . It follows from J . N K that K V N J . N . Let L V N J . N . Then we obtain J J . N : N L : N . Therefore L φ 1 V S ¯ J ¯ . φ is continuous as φ 1 V S ¯ J ¯ = V N J . N . □
In the following proposition, we obtain basic properties of the subhypermodules of N, taking the topological hyperspace X N as a T 1 -hyperspace.
Proposition 1. 
Let Y X N and K X N , J for any J S p e c S . Then the following statements hold.
(1) 
C l Y = V Y . Thus Y = V Y if and only if Y is closed.
(2) 
0 Y provided that Y is dense in X N .
(3) 
X N is a T 0 -hyperspace.
(4) 
Every pseudo-prime subhypermodule of N is a maximal element in the set of whole pseudo-prime subhypermodules of N if and only if X N is a T 1 -hyperspace.
(5) 
S p e c S is a T 1 -hyperspace provided that X N is a T 1 -hyperspace.
Proof. 
(1) The inclusion V Y Y is clear. Let V K be any closed subset of X N containing Y. Then, V Y V V K = V P r a d K = V K since V K Y . It follows that V Y is the smallest closed subset of X N containing Y. Therefore, the equality is obtained.
(2) It can be seen clearly due to condition (1).
(3) To show X N is a T 0 -hyperspace, we have to prove that all closures of distinct points in X N are distinct. Let H and K be any distinct point of X N . According to condition (1), we have C l H = V H V K = C l K ; this is also desired.
(4) Topologically, we know that for X N to be a T 1 -hyperspace, it must be that each singleton subset is closed. Let L be a maximal element in the set of all pseudo-prime subhypermodules of N; using condition (1) we get that C l L = V L = L . Therefore, L is closed. We obtain that X N is a T 1 -hyperspace. Conversely, let L be closed as X N is a T 1 -hyperspace. Therefore, we can write the following equality:
L = C l L = V L = V L
Therefore L is a maximal element in the set of whole pseudo-prime subhypermodules of N.
(5) Let L be a pseudo-prime subhypermodule of N. We have C l L = V L using condition (1). Let H V L . By the hypothesis, we have L : N = H : N M a x S . Thus, L and H are prime subhypermodules of N. By Theorem 2, we can write H = L . It follows from C l L = L that X N is a T 1 -hyperspace. □
Definition 4. 
A topological hyperspace N is called irreducible if for every decomposition N = N 1 N 2 as closed subsets N 1 and N 2 of N provided that N 1 = N N 2 = N . In addition, a maximal irreducible subset of N is said to be an irreducible component of N.
The next theorem reveals the relation between pseudo-prime subhypermodules of the S-hypermodule N and an irreducible subset of the topological hyperspace X N . It is clear that for a hyperring S, a subset K of S p e c S is irreducible if and only if K is a prime hyperideal of S.
Theorem 5. 
Let N be an S-hypermodule and K be a subset of X N . Then K is a pseudo-prime subhypermodule of N if and only if K is an irreducible hyperspace.
Proof. 
( ) Let us take a pseudo-prime subhypermodule K of N with K K 1 K 2 where K 1 and K 2 are closed subsets of X N . Thus there exist subhypermodules L and T of N such that V L = K 1 and V T = K 2 . Therefore, V L V T = V L V T = P r a d L P r a d T K . Then we have that K is an extraordinary subhypermodule because N is a topological hypermodule. It is obtained that P r a d L L or P r a d T K and so K V K V P r a d L = V L = K 1 or K K 2 . It means that K is irreducible. ( ) Let K be an irreducible hyperspace, T and U be hyperideals of S with T U K : N . Then we have K V K V T U . N = V T . N = V U . N . By the assumption, we obtain that K V T . N or K V U . N . Therefore, T . N P r a d T . N = V U . N N or U . N K . Since T K : N or U K : N , then K is a pseudo-prime subhypermodule of N. □
Corollary 1. 
Let N be an S-hypermodule and let K be a subhypermodule of N.
(1) 
P r a d K is a pseudo-prime subhypermodule of N if and only if V K is an irreducible hyperspace.
(2) 
P r a d 0 is a pseudo-prime subhypermodule of N if and only if N is an irreducible hyperspace.
(3) 
If X N , U for any u S p e c S , then X N , U is an irreducible hyperspace.
Proof. 
(1) It follows from P r a d K = V K that the proof is obtained directly using Theorem 3.
(2) Clear from (1) by taking K = 0 .
(3) Since X N , U : N = Q X N , U Q : N = U S p e c S , the claim holds due to Theorem 3. □
Definition 5. 
Let N be an S-hypermodule and U be a hyperideal of S. Then U is said to be a radical hyperideal of S if  U = i u i where  u i runs through  V S U .
Lemma 2. 
Let N be a non-zero pseudo-primeful S-hypermodule and U be a radical hyperideal of S. Then A n n N U if and only if U . N : N = U .
Proof. 
By the hypothesis, A n n N U = i u i , where u i runs through V S U . Then there is a pseudo-prime subhypermodule K i of N with K i : N = u i for a pseudo-primeful S-hypermodule N and u i V S A n n N . We have U U . N : N = i u i . N : N i u i . N : N i K i : N = i u i = U . Hence U . N : N = U .
It is clear. □
Let N be an S-hypermodule and L be a subhypermodule of N. In [19], L is called small if N T + L for every proper subhypermodule T of N. Following [19], we denote by R a d N the sum of all small subhypermodules of N.
Now let us adapt Nakayama’s Lemma to hypermodules in the next proposition.
Proposition 2. 
Let N be a pseudo-primeful S-hypermodule and U be a hyperideal of S that is contained in R a d S such that U . N = N . Then N = 0 .
Definition 6. 
Let T be closed subset of a topological hyperspace N and a be an element of T. If   T = C l a , then a is said to be the generic point of T.
By Proposition 1 (1), we obtain that each element K of X N is a generic point of the irreducible closed subset V K . Note that if the topological hyperspace is a T 0 -hyperspace, the general point T of a closed subset of the topological hyperspace is unique by Proposition 1. The following theorem is an excellent implementation of Zariski topology on hypermodules. Indeed, the following theorem shows that there is a relationship between the irreducible closed subsets of X N and the pseudo-prime subhypermodules of the S-hypermodule N.
Theorem 6. 
Let N be a S-hypermodule and U X N . Then U is an irreducible closed subset of X N if and only if U = V W for each W X N .
Proof. 
( ) It follows from Proposition 1 that U = V ( W ) is an irreducible closed subset of X N for each pseudo-prime subhypermodule W of N.
( ) Let U = V ( W ) be an irreducible closed subset of X N . Therefore, we have U = V ( T ) for some subhypermodule T of N and ( U ) = ( V ( T ) ) = P r a d ( T ) X N by using Theorem 5. Then we get U = V ( T ) = V ( P r a d ( T ) ) . This completes the proof. □
Recall from [17] that a hyperring S is said to be Noetherian if it satisfies the ascending chain condition on hyperideals of S, i.e., for each ascending chain of hyperideals
J 1 J 2 ,
there is an element k N such that J k = J t for every k t .
Definition 7. 
A topological hyperspace X is said to be Noetherian hyperspace if the open subset of the hyperspace possesses the ascending chain condition.
We use the notion of Noetherian S-hypermodules for pseudo-prime spectrum of hypermodules and radical hyperideals of S satisfying the ascending chain condition ACC.
Theorem 7. 
Let N be an S-hypermodule. Then N possesses Noetherian pseudo-prime spectrum if and only if the ACC is provided pseudo-prime radical subhypermodules of N.
Proof. 
Let N have a Noetherian pseudo-prime spectrum and
U 1 U 2
be an ascending chain of pseudo-prime radical subhypermodules of N. Hence U j = V U j = P r a d U j for j N . It follows that V U 1 V U 2 is a descending chain of closed subsets of X N . By the hypothesis there exists an element l N such that V U l = V U l + n for each n N . Thus
N 1 = P r a d U l = V U l = V U l + n = P r a d U l + n = U l + n .
Suppose that the ACC is provided for pseudo-prime radical subhypermodules of N. Let
V U 1 V U 2
be a descending chain of closed subsets of X N for U j N . Then V U 1 V U 2 is an ascending chain of psudo-prime radical subhypermodules V U j = P r a d U j of the hypermodule N. By the hypothesis, there is an element l N such that V U l = V U l + j for each j N . It follows from Proposition 1 that V U l = V V U l = V V U l + j = V U l + j . Therefore, X N is a Noetherian hyperspace. □
Definition 8. 
Let S be a hyperring according to the Zariski topology and N be an S-hypermodule with topological hyperspace. A topological hyperspace N is called a spectral hyperspace if it is homeomorphic to  S p e c S .
Theorem 8. 
Let N be an S-hypermodule. Then X N is a spectral hyperspace if each of the following conditions are met.
(1) 
There exists a hyperideal J of S so that V U = V J . N for a Noetherian hyperring S and for every subhypermodule U of N.
(2) 
Let N be an content pseudo-injective S-hypermodule and S p e c S be a Noetherian topological hyperspace.
Proof. 
(1) If it is shown that every subset of X N is quasi-compact, the desired result is obtained. Let K be an open subset of X N and A i i N be an open cover of K. Then there exist subhypermodules L and L i so that K = X N \ V L , A i = X N \ V L i for every i I and K i I A i = X N \ i I V L i . By assumption, there is a hyperideal I i in S so that V L i = V I i . N for every i I . Then we have L X N \ V i I I i . N = X N \ V i I I i . N . As S is a Noetherian hyperring, there is a finite subset I of I so that L j I A j . Hence X N is a both of Noetherian hyperspace and spectral hyperspace.
(2) Let us show that X N is Noetherian. Let V L 1 V L 2 be a descending chain of closed subsets of X N . Therefore, P r a d L 1 P r a d L 2 As S p e c S is Noetherian, the ACC P r a d L 1 : N P r a d L 2 : N of radial hyperideals shall be stationary by Theorem 8. Therefore there exists an element l N so that P r a d L l : N = P r a d L l + j : N = , for every j = 1 , 2 , If the proof technique in Theorem 3 is applied, it is seen that P r a d L j = P r a d L j : N . N . Thus, we get P r a d L l = P r a d L l + j = for every j = 1 , 2 , It follows that V L l = V P r a d L l = V P r a d L l + j = V L l + j = Therefore, X N is Noetherian, and the desired result is achieved. □

Author Contributions

Conceptualization, B.N.T.; methodology, E.T., B.N.T. and Ö.K.; investigation, E.T., B.N.T. and Ö.K.; writing—original draft preparation, E.T. and Ö.K.; writing—review and editing, Ö.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank the referees who contributed to the development of the article.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Marty, F. Sur une Generalization de la Notion de Groupe; 8th Congress Mathematics; Scandenaves: Stockholm, Sweden, 1934; pp. 45–49. [Google Scholar]
  2. Ameri, R.; Eyvazi, M.; Hoskova-Mayerova, S. Superring of polynomials over a hyperring. Mathematics 2019, 7, 902–917. [Google Scholar] [CrossRef] [Green Version]
  3. Ameri, R. A categorical connection between categories (m,n)-hyperrings and (m,n)-rings via the fundamental relation. Kragujev. J. Math. 2019, 45, 361–377. [Google Scholar]
  4. Bordbar, H.; Novak, M.; Cristea, I. A note on the support of a hypermodule. J. Algebra Its Appl. 2020, 19, 19. [Google Scholar] [CrossRef]
  5. Corsini, P. Prolegomena of Hypergroup Theory, 2nd ed.; Aviani Editore; Publishing House: Tricesimo, Italy, 1993. [Google Scholar]
  6. Corsini, P.; Leoreanu-Fotea, V. Applications of Hyperstructures Theory; Advances in Mathematics; Springer: New York, NY, USA, 2003. [Google Scholar]
  7. Davvaz, B. Polygroup Theory and Related Systems; World Scientific Publishing: Singapore, 2012. [Google Scholar]
  8. Davvaz, B.; Leoreanu-Fotea, V. Hyperring Theory and Applications; International Academic Press: Palm-Harbor, FL, USA, 2007. [Google Scholar]
  9. Jafarzadeh, N.; Ameri, R. On exact category of (m,n)-ary hypermodules. Cregories Gen. Algebr. Struct. Appl. 2020, 12, 69–88. [Google Scholar] [CrossRef]
  10. Kranser, M. A class of hyperrings and hyperfields. Intern. J. Math. Math. Sci. 1983, 6, 307–311. [Google Scholar]
  11. Kulak, Ö.; Nişancı Türkmen, B. Zariski topology over multiplication krasner hypermodules. Ukr. Mat. 2022, 74, 525–533. [Google Scholar] [CrossRef]
  12. Massouros, C.G. Constructions of hyperfields. Math. Balk. 1991, 5, 250–257. [Google Scholar]
  13. Massouros, C.G. Methods of constructing hyperfields. Intern. J. Math. Sci. 1985, 8, 725–728. [Google Scholar] [CrossRef] [Green Version]
  14. Massouros, C.G. Free and cyclic hypermodules. Ann. Mat. Pura Appl. 1988, 4, 153–166. [Google Scholar] [CrossRef]
  15. Vougiouklis, T. Hyperstructures and Their Representations; Hadronic Press Inc.: Palm Harber, FL, USA, 1994. [Google Scholar]
  16. Hassanzadeh-Lelekaami, D.; Roshan-Shekalgaurabi, H. Pseudo-prime submodules of modules. Math. Rep. 2016, 18, 591–608. [Google Scholar]
  17. Bordbar, H.; Cristea, I. Height of prime hyperideals in Krasner hyperrings. Filomat 2002, 31, 6153–6163. [Google Scholar] [CrossRef]
  18. Siraworakun, A.; Pianskool, S. Characterizations of prime and weakly prime subhypermodules. Int. Math. Forum 2012, 7, 2853–2870. [Google Scholar]
  19. Hamzekolaee, A.R.M.; Norouzi, M.; Leoreanu-Fotea, V. A new approach to smallness in hypermodules. Algebr. Struct. Appl. 2021, 8, 131–145. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Türkmen, E.; Nişancı Türkmen, B.; Kulak, Ö. Spectrum of Zariski Topology in Multiplication Krasner Hypermodules. Mathematics 2023, 11, 1754. https://doi.org/10.3390/math11071754

AMA Style

Türkmen E, Nişancı Türkmen B, Kulak Ö. Spectrum of Zariski Topology in Multiplication Krasner Hypermodules. Mathematics. 2023; 11(7):1754. https://doi.org/10.3390/math11071754

Chicago/Turabian Style

Türkmen, Ergül, Burcu Nişancı Türkmen, and Öznur Kulak. 2023. "Spectrum of Zariski Topology in Multiplication Krasner Hypermodules" Mathematics 11, no. 7: 1754. https://doi.org/10.3390/math11071754

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop