Hyperspaces of Proper Hyperideals

• Hyperspaces of proper hyperideals are geometric-topological constructions where the collection of proper hyperideals in Krasner hyperrings is endowed with the lower topology to form a spectral space.
• This framework leverages properties like quasi-compactness, T0 separation, and unique generic points to mirror classical spectrum methods from commutative algebra.
• The approach paves the way for adapting scheme-theoretic methods and exploring analogous structures in semihyperrings and noncommutative hyperrings.

A hyperspace of proper hyperideals captures a geometric-topological perspective on the collection of proper hyperideals in abstract algebraic systems extending rings via multi-valued addition, specifically commutative Krasner hyperrings and semihyperrings. This construction—by equipping the set of proper hyperideals with the lower topology—organizes algebraic information as a spectral space, enabling direct analogues of topological and scheme-theoretic methods from classical algebraic geometry in this broader context (Goswami, 1 Feb 2026, Shabir et al., 2010).

1. Foundations: Krasner Hyperrings and Hyperideals

A commutative Krasner hyperring is defined as a tuple $(R, +, \cdot, -, 0)$, where:

• $(R,+,0)$ forms a canonical hypergroup (the addition is multi-valued: $+\colon R \times R \to \mathcal{P}^*(R)$), satisfying:
  1. Commutativity: $a+b = b+a$
  2. Associativity: $a+(b+c) = (a+b)+c$
  3. Neutrality: $a+0 = \{a\}$
  4. Inverses: For each $a$, unique $-a$ with $0 \in a-a$
  5. Reversibility: If $a\in b+c$ then $c\in -b+a$ and $a\in c-b$

• $(R,\cdot)$ is a commutative semigroup with absorbing zero: $a\cdot 0 = 0$

• Distributivity: $a\cdot (b+c) = a\cdot b + a\cdot c$
• The additional assumption of a unit $1$.

A hyperideal is a subhypergroup $I \subseteq R$ such that $r\cdot a \in I$ for all $r\in R, a\in I$. Proper hyperideals satisfy $I \neq R$ (Goswami, 1 Feb 2026). In semihyperrings, these foundational properties closely parallel those above but admit settings without a unit (Shabir et al., 2010).

2. The Structure of Hyperspaces and the Lower Topology

Given a commutative Krasner hyperring $R$, the set $\mathcal{I}_R^+$ of proper hyperideals is endowed with the lower topology via subbasic closed sets

$$\mathcal{V}_J = \{I \in \mathcal{I}_R^+ : J \subseteq I\}, \quad J \in \mathcal{I}_R,$$

whose complements

$$U_J := \mathcal{I}_R^+ \setminus \mathcal{V}_J = \{I \in \mathcal{I}_R^+ : J \not\subseteq I\}$$

are the subbasic open sets. The sets

$U_r := \{I \in \mathcal{I}_R^+ : r \notin I\}$

for single elements $r$ generate the topology; finite intersections

$$U_{r_1} \cap \dots \cap U_{r_n} = \{I \in \mathcal{I}_R^+ : r_1,\dots,r_n \notin I\}$$

form a basis. This lower topology organizes the algebraic structure of hyperideals in a way naturally aligned with spectral topologies in classical commutative algebra (Goswami, 1 Feb 2026).

3. Spectrality of the Hyperspace of Proper Hyperideals

A topological space is spectral if it is quasi-compact, $T_0$, has a basis of quasi-compact open sets closed under finite intersection, and every nonempty irreducible closed subset has a unique generic point.

The hyperspace $\mathcal{I}_R^+$ satisfies:

1. Spectrality of the full space: The lattice of all hyperideals $\mathcal{I}_R$, being algebraic (every hyperideal is a join of finitely generated ones), is spectral in the lower topology by Priestley’s theorem.
2. Quasi-compactness: By the Alexander subbasis lemma, any nonempty intersection of subbasic closed sets already has a finite nonempty subintersection, leveraging the property that sums of hyperideals stabilize at finite levels.
3. Soberness and $T_0$: Irreducible closed sets correspond precisely to collections $\mathcal{V}_I$ for proper hyperideals $I$, with each having unique generic point $I$; distinct hyperideals are topologically distinguishable.
4. Open subspace argument: The hyperspace of proper hyperideals is the open subspace $\mathcal{I}_R \setminus \{R\}$, so spectrality transfers by general principles.

The central result is that for any commutative Krasner hyperring, the space of proper hyperideals under the lower topology is spectral (Goswami, 1 Feb 2026).

4. Algebraico-Topological Properties and Consequences

Key properties of the algebraic hyperspace structure include:

• Maximal hyperideals: Every proper hyperideal is contained in a maximal one, mirroring standard ring theory (Lemma 2.2 (Goswami, 1 Feb 2026)).
• Sum of hyperideals: Arbitrary sums of hyperideals yield hyperideals (Lemma 2.1).
• Correspondence between algebraic and topological lattices: In the context of semihyperrings, the lattice of (irreducible) hyperideals is order-reversingly isomorphic to the lattice of open sets in the Zariski-type topology on the irreducible spectrum (Shabir et al., 2010).

In particular, this enables recovery of several classical results and methods, such as reading off idempotency, multiplicative regularity, or semiprimality directly from the spectral topological space.

5. Connections to Irreducible Spectra and Classical Examples

The concept of hyperspaces of proper hyperideals connects closely with the “irreducible spectrum” of a semihyperring, defined as the set of all proper irreducible hyperideals, topologized via the closed sets $V(I) = \{ P : I \subseteq P \}$.

Key features:

• The irreducible spectrum generalizes the classical prime spectrum.
• The topology is $T_0$ and quasi-compact. Distinct hyperideals correspond to topologically distinguishable points.
• In the case of classical rings, this construction recovers standard results: for $R = \mathbb{Z}$, the irreducible spectrum is the usual prime spectrum; for $R = k \times k$ (for a field $k$), the spectrum is discrete and Boolean (Shabir et al., 2010).

6. Generalizations and Open Questions

Possible extensions and open directions emphasized in recent research include:

• Extending spectrality and lower topology constructions to noncommutative hyperrings or to hypermodules.
• Investigating analogues of the Zariski spectrum and related structure sheaf approaches for other multi-valued algebraic objects.
• Development of a scheme-theoretic apparatus (specifically, sheaf theory) on the spectral hyperspace of proper hyperideals, mirroring Grothendieck’s spectrum for rings but in the context of hyperalgebraic structure (Goswami, 1 Feb 2026).

A plausible implication is that the systematic study of these hyperspaces positions hyperring and semihyperring theory to benefit from—and contribute to—substantial geometric and categorical frameworks previously accessible only in commutative ring theory.

7. Table: Key Notions

Notion	Definition	Reference
Hyperideal	Subhypergroup $I$ with $r\cdot a \in I$ for all $r \in R, a \in I$	(Goswami, 1 Feb 2026)
Proper	Hyperideal $I \subsetneq R$	(Goswami, 1 Feb 2026)
Spectral	Quasi-compact, $T_0$, compact-basis, generic points for irreducible closed sets	(Goswami, 1 Feb 2026)
Lower topology	Closed sets $\mathcal{V}_J = \{I : J \subseteq I\}$, open sets $U_r = \{I : r \notin I\}$	(Goswami, 1 Feb 2026)

These core concepts anchor the geometry of hyperspaces of proper hyperideals and underlie their spectral properties.