Scientific journal
European Journal of Natural History
ISSN 2073-4972

SEMIFIELDS AND SHEAVES

Vechtomov E.M.
The basis of the theory of sheaf representations of semifields is stated in this work. The analogs of Pierce’s and Lambek’s sheaves from the theory of rings are defined for semirings. Functional characterizations of biregular semifields are obtained.

Introduction

The theory of semifields is a perspective area of a modern algebra, which we can examine either as a component of the theory of semirings or as groups with a complementary binary operation. Golan´s monograph covers the theory of semirings [9]. Some questions of the theory of semifields were examined in articles [4], [5], [8].

The theory of semirings and the theory of semifields have been investigated by the participants of the scientific algebraic seminar in Vyatka State University of Humanities since 1994.

The basis of the theory of sheaf representations of semifields, which was initiated in [11]-[15], is stated briefly in this work. In this connection the class of biregular semifields is examined more completely.

Semifield is an algebraic structure, which is a multiplicative group and, at the same time, an additive commutative semigroup, and multiplication is distributive concerning addition from both sides. Semifields with added zero are the semirings with division, which are not rings. As rings and distributive lattices semifields with zero form an important class of semirings, which plays an essential role in a structural theory of semirings. Idempotent semifields (semifields with identity u+u=u) correspond lattice ordered groups. Semifields are related to rings, because every semifield has a ring of differences. Let´s notice, that cancellable semifields (semifields with quasi-identity u+w=v+wu=v) are embedded in their rings of differences.

When investigating semifields we can use functional method: studied semifield is realized as a semifield of sheaf´s cross-sections of some semifields under the topological space. Many rings admit good functional (sheaf) representations [6], which in many things are transferred on semirings [7].

Let´s introduce needed conceptions. The class of the unit of arbitrary congruence on semifield is called the kernel of semifield. The subset A of semifield U will be the kernel if and only if A is a normal subgroup of a multiplicative group U, satisfying condition: if u, vU, u+v=1, abA, then ax+byA. The lattice of all kernels (congruences) of semifield U is indicated ConU. The kernel of semifield U, generated by element u, is called the main kernel and indicated (u). The kernel A∈ConU is called complemented, if there is the kernel B∈ConU, when AB=U и A∩B={1}.

The kernel A of semifield U is called finitely generated, if A=(u1)×...×(un) for the finite number of elements u1,×...,×unU. The semifield U=(u) is called the semifield with generator u. The kernel (2) of semifield U, where 2=1+1, is the smallest subsemifield in U, which is a kernel. If U=(2), semifield U is called bounded. Semifield is called reduced, if the quasi-identity u2+v2=uv+vuu=v is executed in it. Semifield U is called distributive (chain, simple, indecomposable), if lattice ConU is distributive (the lattice is a chain, two-element, has two complemented elements exactly).

The kernel P of semifield U is called nonreducible, if A∩BP lead to AP or BP for every AB∈ConU. Space Sp(U) of all nonreducible kernels of semifield , examined with stone topology, is called the nonreducible spectrum of semifield U. Its subspace MaxU, which consists of all maximal kernels, is called the maximal spectrum of semifield U. The pseudocomplement of kernel A∈ConU is the biggest kernel A*, which gives {1} in meet with A. Let´s assume OP={uU: ∃vUP (u)∩(v)={1}} for arbitrary nonreducible kernel P of semifield U

About the properties of semifields

Let´s formulate some general properties of semifields [12].

Property 1. Every finitely generated semifield is semifield with generator.

Property 2. Every semifield is embedded in semifield with generator.

Property 3. Maximal kernels of any semifield are nonreducible.

Property 4. If U is semifield with generator, then spaces Sp(U) and MaxU are compact and every semifield U‘s own kernel is included in some its maximal kernel.

Property 5. The opposite thing is right for distributive semifields U: if space Sp(U) is compact, or space MaxU is compact and semifield U‘s own kernels are included in maximal kernels, then U is semifield with generator.

Property 6. The set of all complemented kernels of every semifield U generates Boolean sublattice of lattice ConU.

Property 7. If semifield U is either distributive or reduced and bounded, then ConU is lattice with pseudocomplements, and sets OP, PSp(U), are kernels in U.

The analog of Pierce´s representation

Let´s define the analog of Pierce´s ring sheaf representation [1], [6, § 12] for any semifield U. Let´s examine Boolean sublattice B(U) in ConU of all semifield U‘s complemented kernels and space M(U) of all maximal ideals of Boolean lattice B(U) with stone topology. Disjunctive union П of all factor semifields U/M, where M∈M(U), generates the structural sheaf of semifield U under zero-dimensional compact M(U). Let´s indicate the semifield of all stalks of sheaf П as Г(M(U), П).

Theorem 1. Every semifield U is isomorphic to semifield Г(M(U), П) of sections of sheaf П of factor semifields of semifield U under zero-dimensional compact M(U).

Consequence 1. Every semifield with final set of kernels is isomorphic to direct product of finite number of indecomposable semifields.

Semifield U is called strongly Gelfand, if there is its complemented kernel А, that АM and А N for every two different maximal kernels M and N in U. The semifield, all kernels (main kernels) of which are complemented, is called Boolean (biregular). Biregular semifields are the analogs of biregular rings. It´s clear, that biregular semifields are distributive.

If U is strongly Gelfand semifield, let´s identify every maximal kernel MÎMaxU with maximal ideal {A∈B(U): AM} of Boolean lattice B(U). Then zero-dimensional compact M(U) will be the compactification of locally compact space MaxU.

Proposition 1. For strongly Gelfand semifield U space MaxU is embedded in M(U) homeomorphically.

Theorem 2. Any semifield U is biregular if and only if it is isomorphic to the semifield of all sections of some sheaf of simple and trivial semifields (U/ÚM) under zero-dimensional compact M(U).

Consequence 2. Every biregular semifield is factorized in direct product of biregular idempotent semifield and biregular bounded commutative semifield, which are specified explicitly accurate within isomorphism.

Consequence 3. In every biregular semifield every kernel is the meet of maximal kernels, and finitely generated kernels are main.

In every biregular semifield U nonreducible kernels are maximal: SpecU=MaxU. Semifields with generator correspond to rings with unity, their maximal spectrum is compact.

Theorem 3. Following states are equivalent for every biregular semifield U:

1) MaxU is compact;

2) MaxU is homeomorphous to M(U);

3) U is the semifield with generator.

Consequence 4. Biregular semifield with generator is isomorphic to the semifield of all sections of Hausdorff sheaf of simple semifields under zero-dimensional compact, which is specified explicitly accurate within homeomorphism.

Let´s examine pseudocomplement A*={uU: (u)∩A={1}} for kernel A of semifield U. In the case of distributive semifields U pseudocomplement A* is the biggest kernel in U, the meet of which with this kernel is unit kernel {1}. Distributive semifield is called Baer, if the pseudocomplement of every its kernel is complemented.

Proposition 2. Following states are right for kernel A of semifield Г of all possible sections of the sheaf of simple semifields under zero-dimensional compact X, which has one generator:

1) A is complemented in Г if and only if set ΔA={xX: sA s(x)=1} is closed-open in X;

2) A=B* for some kernel B in Г if and only if ΔA is canonically closed in X, or it coincides with the closure of its interior.

Topological space is called extremally unconnected, if the closure of any its open set is open again.

Theorem 4. For biregular semifield with generator to be Baer, it´s necessary and sufficient, that its maximal spectrum is extremally unconnected space.

Theorem 5. Semifield U is Boolean if and only if it is isomorphic to the semifield of all sections of the sheaf of simple and trivial semifields (U/ M) under zero-dimensional compact M(U), the set of isolated points of which (MaxU) is dense everywhere.

Consequence 5. If semifield U is Boolean, space M(U) is the compactification of Stone-Cheh of a discrete space MaxU: M(U)≈βMaxU.

Consequence 6. Boolean semifields with generator are direct products of the finite family of simple semifields accurate within isomorphism.

Consequence 7. Every Boolean semifield is isomorphic to direct product of Boolean idempotent semifield and finite direct product of reducible simple commutative semifield.

The semifields of sections of compact sheaves

Let sheaf П of semifields Ux under topological space X is given.

Let´s assume for point xX:

Гх={sГ: s(x)=1=1xUx} is the kernel of the semifield of sections Г=Г(П, Х);

πx: Г→Ux, πx(s)=s(x) для всех s∈Г, is the homomorphism of semifields.

Sheaf П is called a compact sheaf, if

  • 1) X is compact;
  • 2) П is a factor sheaf, i.e. πx is a surjective representation for every point xX;
  • 3) Гх×Гy=Г for every point x≠y from Х.

Every compact sheaf П has the following important property:

there is the cross-section sГ with values 1 on Y и s(х) ∉ Рx for every closed set Y in Х, point xXY and an nonreducible kernel Рx of semifield Ux.

Proposition 3. Every sheaf of semifields under zero-dimensional compact is compact.

Proposition 4. Kernels A and B of the semifield Г(X, П) of sections of any semifields´ sheaf П under zero-dimensional compact X are equal if and only if πx(A)=πx(B) for all points xX.

Consequence 8. The lattice of kernels of the direct product of finite number of semifields is isomorphic to the direct product of lattices of actors´ kernels.

Theorem 6. The maximal kernels of the semifield Г(X, П) of sections of semifields Ux´s compact sheaf are exactly kernels πx-1(Kx), where xX and Kx is a maximal kernel in Ux. If X is a zero-dimensional compact, it´s also right for nonreducible kernels.

Theorem 7. The semifield Г(X, П) of sections of any sheaf П of semifields Ux under zero-dimensional compact X is distributive (bounded) if and only if all its stalks Ux are distributive (bounded).

The semifield is called Gelfand, if there are elements aMN and bNM, where (a)∩(b)={1}, for every its unequal maximal kernels M and N. Maximal spectra of Gelfand semifields are Hausdorff, and every its nonreducible may be included into only one maximal kernel.

The semifield, which has the biggest own kernel, is called a local semifield. Biregular semifields and local semifields are strongly Gelfand, and strongly Gelfand semifields are Gelfand.

Theorem 8. The following states are right for the semifield Г(X, П) of cross-section of any compact sheaf of local semifields:

1) Г is Gelfand;

2) if Г is semifield with generator, being strongly Gelfand Г is equivalent to the zero-dimensionality of compactХ, and MaxГ is homeomorphous to Х.

Theorem 6 and the state 2) of theorem 8 are sheaf variations of the classic theorem of Gelfand-Kolmgoroff about the rings of continuous functions.

The analog of Lambek´s representation

The representation of Lambek [2], [5, § 11] is used in the theory of rings too. Let´s spread this construction on semifields.

Let´s assume that semifield U is distributive or reduced bounded semifield. Then sets OP, P∈SpecU, will be kernels. Let´s examine the family (OP) of kernels of semifield U, which is indexed by points P of topological space Sp(U). It is an open family of kernels, i.e. the set {P∈Sp(U): uOP} is open in an nonreducible spectrum Sp(U), when every uU.

In reality,

{P∈Sp(U): uOP}={P∈Sp(U): (u)* fP}=D((u)).

That´s why [3] there is the sheaf П=П(U) of factor semifields U/OP of semifield U under compact T0-space Sp(U). It´s the structural sheaf of semifield U, which is analogous to the sheaf of Lambek for rings [5].

Theorem 9. Distributive semifield U with generator is strongly Gelfand if and only if it´s isomorphic to the semifield Г(X, П) of sections of sheaf П of local semifields Ux under zero-dimensional compact X.

There we can take a maximal spectrum MaxU as X, and factor semifields U/OM as stalks UM.

Theorem 10. The semifield is biregular if and only if it´s isomorphic to the semifield of all sections with the compact carriers of Hausdorff sheaf of simple semifields under a zero-dimensional locally compact space.

Consequence 9. For semifield to be biregular semifield with generator, it´s necessary and sufficient, that it is isomorphic to the semifield of all sections of Hausdorff sheaf of simple semifields under zero-dimensional compact.

The representation of reduced bounded semifields

Every reducible semifield U embeds in its ring of differences R=R(U). Every bounded semifield U is reducible and the lattice ConU of its kernels is canonically isomorphic to the lattice IdR of all ideals of the ring of differences R [10]. Following representations g: IdR→ConU and δ: ConU→IdR determine the isomorphism of lattices IdR and ConU:

γ(I)=(I+1)∩U for all I ∈ IdR,

δ(A)=(A-1)U for all A∈ConU.

Meanwhile γ(I∩J)=γ(I)∩γ(J) и γ(I+J)=γ(I)×γ(J) for every I, J ∈ IdR.

To be reduced for reducible semifield U is equivalent to be reduced for its ring of differences R, i.e. to be absent in R nonzero nilpotent elements. Reduced rings have the feature of symmetric property: if the multiplication of several elements of ring, taken is some order, is 0, the multiplication of these elements, taken in any other order, is 0 too.

Proposition 5. The following states are equivalent for every nonreducible ideal Q of reduced ring T with unit:

1)  Q is a minimal nonreducible ideal;

2)  Q is a minimal prime ideal,

3)  Q=OQ.

Then U is an arbitrary reduced bounded semifield and R is its ring of differences. Isomorphisms δ and γ retain irreducibility and keep kernels and ideals - the elements of lattices ConU и IdR, respectively - finitely generated. Let´s notice, that finitely generated kernels (ideals) of semifield U (ring R) are exactly compact elements of algebraic lattice ConU (IdR) []. The following states are right for every A, B∈ConU, I, J∈IdR, uvU:

f

Proposition 6. If every finitely generated kernel of semifield U is the main kernel, all finitely generated ideals of its ring of differences are main.

Proposition 7. ConU is lattice with pseudocomplements, for every nonreducible kernel P of semifield U set OP is kernel in U. Furthermore,

f

Proposition 8. The minimum of nonreducible kernel P of semifield U is equivalent to equality P=OP.

Let´s assume, that Г=Г(Sp(U), П) is the semifield of all sections of sheaf П with point-wise determined operations of addition and multiplication. We would remind you that the section of sheaf П is every continuous representation s: Sp(U)→П, where s(P)∈ U/OP for every P∈Sp(U). Let´s set the representation a: U→Г by the formula

f

It´s clear, that a will be the homomorphism of semifields, and because of (7) - the homomorphic embedding of semifield U in the semifield of sections Г. The homomorphism a is required functional representation of this semifield U by the sections of sheaf П.

There is isomorphic Lambek´s sheaf representation ^ of reduced ring of differences R under prime spectrum SpecR. The functional representation α´: R→Г(Sp(R), П´) is built as for semifield U. Factor rings R/OQ of ring R for arbitrary nonreducible ideal Q in R are the layers of sheaf П´. There is α´(r)=r^ on SpecR⊆Sp(R) for r∈R.

Proposition 9. Representation α´ is isomorphism.

Proposition 10. Factor ring R/Od(P) is the ring of differences of factor semifield U/OP for every nonreducible kernel P of semifield U, semifield is reduced, bounded and OP/OP={1}.

Proposition 11. Every reduced bounded semifield U is isomorphic to "dense" sub-semifield of semifield Г(SpecU, П) of sections of the sheaf П of factor semifields U/OP under nonreducible spectrum SpecU.

Theorem 11. Commutative semifield is isomorphic to the semifield of all sections of the sheaf of chain bounded commutative semifields under zero-dimensional compact if and only if it is strongly Gelfand distributive, reduced and bounded.

References:

  1. Pierce R.S. Modules over commutative regular rings // Mem. Amer. Math. Soc. - 1967. - V. 70. - P. 1-112.
  2. Lambek J. On representations of modules by sheaves of factor modules // Can. Math. Bull. - 1971. - V. 14. № 3. - P. 359-368.
  3. Davey B.A. Sheaf spaces and sheaves of universal algebras // Math. Z - 1973. - V.134. - №4. - P. 375-390.
  4. Polin S.V. Prime semifields and commutative semifields // Sibirian Mathematical Journal [in Russian]. - 1974. - Vol.15. - №1. - P.90-101.
  5. Hutchins H.C., Weinert H.J. Homomorphisms and kernels of semifilds// Periodica Mathematica Hungarica. - 1990. - V.21 (2). - P.113-152.
  6. Vechtomov E.M. Fuctional representations of rings: monograph [in Russian]. - Moscow, MPSU, 1993. - 191 p.
  7. Chermnych V.V. Semirings [in Russian]. - Kirov: VSPU, 1997. - 131 p.
  8. Varankina V.I., Vechtomov E.M., Semenova I.A. Semirings of continuous nonnegative functions: divisibility, ideals, congruencies // Fundamental And Applied Mathematics [in Russian]. - 1998. - V. 4. - №2. - P.493-510
  9. GolanJ.S. Semirings and their applications.Kluwer AcadeMic Publishers. - Dordrecht-Boston-London, 1999. - 381 p.
  10. Cheraneva A.V. About congruencies on semifields // Chebyshevskii Sbornik [in Russian]. - 2005. - V. 6. - № 4 (16). - P. 164-171.
  11. Vechtomov E.M., Cheraneva A.V. On the theory of semifields // Uspehy of Mathematical Sciences [in Russian]. - 2008. - V.63. - № 2. - P. 161-162.
  12. Vechtomov E.M., Cheraneva A.V. Nonreducible kernels of semifields // Mathematical Vestnik of pedagogical institutes and universities of Volgo-Vyatskii region [in Russian]. - 2008. - №10. - P. 25-31.
  13. Vechtomov E.M., Cheraneva A.V. Sheaves of semifields under zero-dimensional compact // Mathematical Vestnik of pedagogical institutes and universities of Volgo-Vyatskii region [in Russian].- 2008. - №10. - P. 32-44.
  14. Vechtomov E.M., Cheraneva A.V. Analog of Pierce´s sheaf representation for semifields // Modern mathematics and mathematical education, problems of history and philosophy of mathematics. International scientific conference [in Russian]. - Tambov: Tambov University, 2008. - P. 24-27.
  15. Vechtomov E.M. Semifields and their sheaves representations // Modern scientific technologies. - 2008. - № 4. - P. 106-109.