American Journal of Modern Physics
Volume 4, Issue 5-1, October 2015, Pages: 38-46

Hypermathematics, Hv-Structures, Hypernumbers, Hypermatrices and Lie-Santilli Addmissibility

Thomas Vougiouklis

Democritus University of Thrace, School of Education, Alexandroupolis, Greece

Email address:

To cite this article:

Thomas Vougiouklis. Hypermathematics, Hv-Structures, Hypernumbers, Hypermatrices and Lie-Santilli Addmissibility. American Journal of Modern Physics. Special Issue: Issue I: Foundations of Hadronic Mathematics. Vol. 4, No. 5-1, 2015, pp. 38-46. doi: 10.11648/j.ajmp.s.2015040501.15

Abstract: We present the largest class of hyperstructures called Hv-structures. In Hv-groups and Hv-rings, the fundamental relations are defined and they connect the algebraic hyperstructure theory with the classical one. Using the fundamental relations, the Hv-fields are defined and their elements are called hypernumbers or Hv-numbers. Hv-matrices are defined to be matrices with entries from an Hv-field. We present the related theory and results on hypermatrices and on the Lie-Santilli admissibility.

Keywords: Representations, Hope, Hyperstructures, Hv-Structures

1. Introduction to Hypermathematics, the Hv-Structures

Hyperstructure is called an algebraic structure containing at least one hyperoperation. More precisely, a set H equipped with at least one multivalued map ×: H´H ® P(H), is called hyperstructure and the map hyperoperation, we abbreviate hyperoperation by hope. The first hyperstructure was the hypergroup, introduced by F. Marty in 1934 [25], [26], where the strong generalized axioms of a group wrere used. We deal with the largest class of hyperstructures called Hv-structures introduced in 1990 [40],[44],[45] which satisfy the weak axioms where the non-empty intersection replaces the equality.

Some basic definitions:

Definitions 1.1 In a set H with a hope ×: H´H®P(H), we abbreviate by WASS the weak associativity: (xy)zÇx(yz)¹Æ, "x,y,zÎH and by COW the weak commutativity: xyÇyx¹Æ, "x,yÎH.

The hyperstructure (H,×) is called Hv-semigroup if it is WASS and is called Hv-group if it is reproductive Hv-semigroup:

xH=Hx=H, "xÎH.

The hyperstructure (R,+,×) is called Hv-ring if (+) and (×) are WASS, the reproduction axiom is valid for (+) and (×) is weak distributive with respect to (+):

x(y+z)Ç(xy+xz)¹Æ, (x+y)zÇ(xz+yz)¹Æ, "x,y,zÎR.

For definitions, results and applications on Hv-structures, see books [44],[4],[10],[12] and papers [6],[7],[8],[9],[11], [17],[18],[19],[22],[24],[46]. An extreme class is defined as follows [41],[44]: An Hv-structure is very thin iff all hopes are operations except one, with all hyperproducts singletons except only one, which is a subset of cardinality more than one. Thus, a very thin Hv-structure is an H with a hope (×) and a pair (a,b)ÎH2 for which ab=A, with cardA>1, and all the other products, are singletons.

The main tools to study hyperstructures are the so called, fundamental relations. These are the relations β* and γ* which are defined, in Hv-groups and Hv-rings, respectively, as the smallest equivalences so that the quotient would be group and ring, respectively [38],[40],[44],[48],[49]. The way to find the fundamental classes is given as follows [44]:

Theorem 1.2 Let (H,×) be an Hv-group and let us denote by U the set of all finite products of elements of H. We define the relation β in H as follows: xβy iff {x,y}Ìu where uÎU. Then the fundamental relation β* is the transitive closure of the relation β.

The main point of the proof is that β guaranties that the following is valid: Take elements x,y such that {x,y}ÌuÎU and any hyperproduct where one of these elements is used. Then, if this element is replaced by the other, the new hyperproduct is inside the same fundamental class where the first hyperproduct is. Thus, if the ‘hyperproducts’of the above β-classes are ‘products’, then, they are fundamental classes. Analogously for the γ in Hv-rings.

An element is called single if its fundamental class is a singleton.

Motivation for Hv-structures:

1. The quotient of a group with respect to an invariant subgroup is a group.

2. Marty states that, the quotient of a group with respect to any subgroup is a hypergroup.

3. The quotient of a group with respect to any partition is an Hv-group.

In Hv-structures a partial order can be defined [44].

Definition 1.3 Let (H,×), (H,Ä) be Hv-semigroups defined on the same H. (×) is smaller than (Ä), and (Ä) greater than (×), iff there exists automorphism fÎAut(H,Ä) such that xyÌf(xÄy), "xÎH.

Then (H,Ä) contains (H,×) and write ×£Ä. If (H,×) is structure, then it is called basic and (H,Ä) is an Hb-structure.

The Little Theorem [26]. Greater hopes of the ones which are WASS or COW, are also WASS and COW, respectively.

The fundamental relations are used for general definitions of hyperstructures. Thus, to define the general Hv-field one uses the fundamental relation γ*:

Definition 1.4 [40],[43],[44]. The Hv-ring (R,+,×) is an Hv-field if the quotient R/γ* is a field.

The elements of an Hv-field are called hypernumbers. Let ω* be the kernel of the canonical map and from Hv-ring R to R/γ*; then we call it reproductive Hv-field if:

x(R-ω*) = (R-ω*)x = R-ω*, "xÎR-ω*.

From this definition a new class is defined [51],[56]:

Definition 1.5 The Hv-semigroup (H,×) is called h/v-group if the H/β* is a group.

An Hv-group is called cyclic [33],[44], if there is an element, called generator, which the powers have union the underline set, the minimal power with this property is the period of the generator. If there exists an element and a special power, the minimum one, is the underline set, then the Hv-group is called single-power cyclic.

To compare classes we can see the small sets. To enumerate and classify Hv-structures, is complicate because we have great numbers. The partial order [44],[47], restrict the problem in finding the minimal, up to isomorphisms, Hv-structures. We have results by Bayon & Lygeros as the following [2],[3]: In sets with three elements: Up to isomorphism, there are 6.494 minimal Hv-groups. The 137 are abelians; 6.152 are cyclic. The number of Hv-groups with three elements is 1.026.462. 7.926 are abelians; 1.013.598 are cyclic, 16 are very thin. Abelian Hv-groups with 4 elements are, from which the 7.995.884.377 are cyclic.

Some more complicated hyperstructures can be defined, as well. In this paper we focus on Hv-vector spaces and there exist an analogous theory on Hv-modules.

Definition 1.6 [44],[50]. Let (F,+,×) be an Hv-field, (M,+) be COW Hv-group and there exists an external hope

F´M®P(M): (a,x)®ax,

such that, "a,bÎF and "x,yÎM we have

a(x+y)Ç(ax+ay)¹Æ, (a+b)xÇ(ax+bx)¹Æ, (ab)xÇa(bx)¹Æ,

then M is called an Hv-vector space over F.

The fundamental relation ε* is defined to be the smallest equivalence such that the quotient M/ε* is a vector space over the fundamental field F/γ*. For this fundamental relation there is an analogous to the Theorem 1.2.

Definitions 1.7 [51],[53],[55]. Let (H,×) be hypergroupoid. We remove hÎH, if we consider the restriction of (×) in the set H-{h}. We say that hÎH absorbs hÎH if we replace h by h and h does not appear in the structure. We say that hÎH merges with hÎH, if we take as product of any xÎH by h, the union of the results of x with both h, h, and consider h and h as one class, with representative h, therefore the element h does not appeared in the hyperstructure.

Let (H,×) be an Hv-group, then, if an element h absorbs all elements of its own fundamental class then this element becomes a single in the new Hv-group.

Theorem 1.8 In an Hv-group (H,×), if an element h absorbs all elements of its fundamental class then this element becomes a single in the new Hv-group.

Proof. Let hÎβ*(h), then, by the definition of the ‘absorb’, h is replaced by h that means that β*(h)={h}. Moreover, for all xÎH, the fundamental property of the product of classes

β*(x)×β*(h) = β*(xh) becomes β*(x)×h = β*(xh),

and from the reproductivity ([44] p.19) we obtain x×h=β*(xh), "xÎβ*(x). This is the basic property that enjoys any single element [44].

Remark that in case we have a single element then we can compute all fundamental classes.

A well known and large class of hopes is given as follows [33],[37],[39],[44],[20]:

Definitions 1.9 Let (G,×) be a groupoid, then for every subset PÌG, P¹Æ, we define the following hopes, called P-hopes: "x,yÎG

P: xPy= (xP)yÈx(Py),

Pr: xPry= (xy)PÈx(yP), Pl: xPly= (Px)yÈP(xy).

The (G,P), (G,Pr) and (G,Pl) are called P-hyperstructures. In the case of semigroup (G,×): xPy=(xP)yÈx(Py)=xPy and (G,P) is a semihypergroup but we do not know about (G,Pr) and (G,Pl). In some cases, depending on the choice of P, the (G,Pr) and (G,Pl) can be associative or WASS.

A generalization of P-hopes is the following [13],[14]: Let (G,×) be abelian group and P a subset of G with more than one elements. We define the hope ´P as follows:

x´Py = x×P×y = {x×h×yï hÎP} if x¹e and y¹e

x×y if x=e or y=e

we call this hope, Pe-hope. The hyperstructure (G,´P) is an abelian Hv-group.

A general definition of hopes, is the following [57],[58]:

Definitions 1.10 Let H be a set with n operations (or hopes) Ä1,Ä2,…,Än and one map (or multivalued map) f:H®H, then n hopes 1,2,…,n on H are defined, called -hopes by putting

xiy = {f(x)Äiy, xÄif(y)}, "x,yÎH, iÎ{1,2,…,n}

or in case where Äi is hope or f is multivalued map we have

xiy = (f(x)Äiy)È(xÄif(y)), "x,yÎH, iÎ{1,2,…,n}

Let (G,×) groupoid and fi:G®G, iÎI, set of maps on G. Take the map fÈ:G®P(G) such that fÈ(x)={fi(x)½iÎI}, call it the union of the fi(x). We call the union -hope (), on G if we consider the map fÈ(x). An important case for a map f, is to take the union of this with the identity id. Thus, we consider the map fºfÈ(id), so f(x)={x,f(x)}, "xÎG, which is called b--hope, we denote it by (), so we have

xy = {xy, f(x)×y, x×f(y)}, "x,yÎG.

Remark If Äi is associative then i is WASS. If contains the operation (×), then it is b-operation. Moreover, if f:G®P(G) is multivalued then the b--hopes is defined by using the f(x)={x}Èf(x), "xÎG.

Motivation for the definition of -hope is the derivative where only multiplication of functions is used. Therefore, for functions s(x), t(x), we have st={s¢t,st¢}, (¢) is the derivative.

Example. For all first degree polynomials gi(x)=aix+bi, we have

g1g2 = {a1a2x+a1b2, a1a2x+b1a2},

so it is a hope in the set of first degree polynomials. Moreover all polynomials x+c, where c be a constant, are units.

There exists the uniting elements method introduced by Corsini–Vougiouklis [5] in 1989. With this method one puts in the same class, two or more elements. This leads, through hyperstructures, to structures satisfying additional properties.

Definition 1.11 The uniting elements method is the following: Let G be an algebraic structure and let d be a property, which is not valid. Suppose that d is described by a set of equations; then, consider the partition in G for which it is put together, in the same partition class, every pair of elements that causes the non-validity of the property d. The quotient by this partition G/d is an Hv-structure. Then, quotient out the Hv-structure G/d by the fundamental relation β*, a stricter structure (G/d)β* for which the property d is valid, is obtained.

An interesting application of the uniting elements is when more than one property is desired, because some of the properties lead straight to the classes. The commutativity and the reproductivity property are easily applicable. The following is valid:

Theorem 1.12 [44] Let (G,×) be a groupoid, and

F = {f1,…, fm, fm+1,…, fm+n}

be a system of equations on G consisting of two subsystems

Fm = {f1,…,fm} and Fn = {fm+1,…, fm+n}.

Let σ, σm be the equivalence relations defined by the uniting elements procedure using the systems F and Fm respectively, and let σn be the equivalence relation defined using the induced equations of Fn on the grupoid Gm = (G/σm)/β*. Then

(G/σ)/β* @ (Gmn)/β*.

i.e. the following diagram is commutative

From the above it is clear that the fundamental structure is very important, and even more so if this is known from the beginning. This is the problem to construct hyperstructures with desired fundamental structures [44].

Theorem 1.13 Let (S,×) be a commutative semigroup with one element wÎS uch that the set wS is finite. Consider the transitive closure L* of the relation L defined as follows: xLy iff there exists zÎS such that zx=zy .

Then <S/L*,◦>/β* is finite commutative group, where (◦) is the induced operation on classes of S/L*.

For the proof see [5],[44].

An application combining hyperstructures and fuzzy theory, is to replace the ‘scale’ of Likert in questionnaires by the bar of Vougiouklis & Vougiouklis [69],[70],[21],[27]:

Definition 1.14 In every question substitute the Likert scale with the ‘bar’ whose poles are defined with ‘0’ on the left end, and ‘1’ on the right end:

0  1

The subjects/participants are asked instead of deciding and checking a specific grade on the scale, to cut the bar at any point they feel expresses their answer to the question.

The use of the bar of Vougiouklis & Vougiouklis instead of a scale of Likert has several advantages during both the filling-in and the research processing. The final suggested length of the bar, according to the Golden Ratio, is 6.2cm. The hyperstructure theory, offer innovating new suggestions to connect finite groups of objects. These suggestions are obtained from properties and special elements inside the hyperstructure.

2. Hyper-Representations

Representations (abbreviate by rep) of Hv-groups can be faced either by generalized permutations or by Hv-matrices [34],[36],[39],[43],[44],[52],[54],[66]. Reps by generalized permutations can be achieved by using translations [42]. We present an outline of the hypermatrix rep in Hv-structures and there exist the analogous theory for the h/v-structures.

Definitions 2.1 [44],[66] Hv-matrix is a matrix with entries elements of an Hv-field. The hyperproduct of two Hv-matrices A=(aij) and B=(bij), of type m´n and n´r respectively, is defined, in the usual manner,

A×B = (aij)×(bij) = { C= (cij)½cijÎÅΣaik×bkj },

and it is a set of m´r Hv-matrices. The sum of products of elements of the Hv-field is the union of the sets obtained with all possible parentheses put on them, called n-ary circle hope on the hyperaddition.

The hyperproduct of Hv-matrices does not satisfy WASS.

The problem of the Hv-matrix reps is the following:

Definitions 2.2 For a given Hv-group (H,×), find an Hv-field (F,+,×), a set MR={(aij)½aijÎF} and a map T: H®MR:h®T(h) such that

T(h1h2)ÇT(h1)T(h2) ¹ Æ, "h1,h2ÎH.

The map T is called Hv -matrix rep. If T(h1h2)ÌT(h1)T(h2), "h1,h2ÎH, then T is called inclusion rep. T is a good rep if T(h1h2)=T(h1)T(h2)={T(h)½hÎh1h2},"h1,h2ÎH. If T is one to one and good then it is a faithful rep.

The problem of reps is complicated since the hyperproduct is big. It can be simplified in cases such as: The Hv-matrices are over Hv-fields with scalars 0 and 1. The Hv-matrices are over very thin Hv-fields. On 2´2 Hv-matrices, since the circle hope coincides with the hyperaddition. On Hv-fields which contain singles, which act as absorbings.

The main theorem of reps is the following [44],[52]:

Theorem 2.3 A necessary condition in order to have an inclusion rep T of an Hv-group (H,×) by n´n Hv-matrices over the Hv-field (F,+,×) is the following:

For all classes β*(x), xÎH there must exist elements aijÎH, i,jÎ{1,...,n} such that

T(β*(a)) Ì {A=(a¢ij)½a¢ijÎ γ*(aij), i,jÎ{1,...,n}}

Thus, every inclusion rep T:H®MR:a®T(a)=(aij) induces a homomorphic rep T* of the group H/β* over the field F/γ* by setting

T*(β*(a)) = [γ*(aij)], "β*(a)ÎH/β*,

where γ*(aij)ÎR/γ* is the ij entry of the matrix T*(β*(a)). T* is called fundamental induced rep of T.

Denote trφ(T(x)) = γ*(T(xii)) the fundamental trace, then the mapping

XT : H ® F/γ*: x®XT (x) = trφ (T(x)) = trT*(x)

is called fundamental character.

Using special classes of Hv-structures one can have several reps [52],[66]:

Definition 2.4 Let M=Mm´n be vector space of m´n matrices over a field F and take sets

S={sk:kÎK} Í F, Q={Qi:jÎJ} Í M, P={Pi:iÎI} Í M.

Define three hopes as follows

S: F´M®P(M):(r,A)®rSA={(rsk)A: kÎK}Í M

Q+: M´M®P(M):(A,B)®AQ+B={A+Qj+B: jÎJ}Í M

P: M´M®P(M):(A,B)®APB={APtiB: iÎI}Í M

Then (M,S,Q+,P) is a hyperalgebra over F called general matrix P-hyperalgebra.

The bilinear hope P, is strong associative and the inclusion distributivity with respect to addition of matrices


is valid. So (M,+,P) defines a multiplicative hyperring on non-square matrices.

In a similar way a generalization of this hyperalgebra can be defined considering an Hv-field instead of a field and using Hv-matrices instead of matrices.

In the representation theory several constructions are used, one can find some of them as follows [43],[44],[52], [54]:

Construction 2.5 Let (H,×) be Hv-group, then for all (Å) such that xÅyÉ{x,y}, "x,yÎH, the (H,Å,×) is an Hv-ring. These Hv-rings are called associated to (H,×) Hv-rings.

In rep theory of hypergroups, in sense of Marty where the equality is valid, there are three associated hyperrings (H,Å,×) to (H,×). The (Å) is defined respectively, "x,yÎH, by:

type a: xÅy={x,y}, type b: xÅy=β*(x)Èβ*(y), type c: xÅy=H

In the above types the strong associativity and strong or inclusion distributivity, is valid.

Construction 2.6 Let (H,×) be an HV-semigroup and {v1,…,vn}ÇH=Æ, an ordered set, where if vi<vj, when i<j. Extend (×) in Hn=HÈ{v1,v2,…,vn } as follows:

x×vi = vi×x = vi , vi×vj = vj×vi = vj , "i<j and

vi×vi = HÈ{v1,…,vi-1 }, "xÎH, iÎ{1,2,…,n}.

Then (Hn,×) is an HV-group, called Attach Elements Construction, and (Hn,×)/β*@Z2, where vn is single [51],[55].

Some problems arising on the topic, are:

Open Problems.

a. Find standard Hv-fields to represent all Hv-groups.

b. Find reps by Hv-matrices over standard finite Hv-fields analogous to Zn.

c. Using matrices find a generalization of the ordinary multiplication of matrices which it could be used in Hv-rep theory (see the helix-hope [68]).

d. Find the ‘minimal’ hypermatrices corresponding to the minimal hopes.

e. Find reps of special classes of hypergroups and reduce these to minimal dimensions.

Recall some definitions from [68],[16],[32]:

Definitions 2.7 Let A=(aij)ÎMm´n be m´n matrix and s,tÎN be natural numbers such that 1£s£m, 1£t£n. Then we define a characteristic-like map cst: Mm´n®Ms´t by corresponding to the matrix A, the matrix Acst=(aij) where 1£i£s, 1£j£t. We call it cut-projection of type st. We define the mod-like map st: Mm´n®Ms´t by corresponding to A the matrix Ast=(aij) which has as entries the sets

aij= {ai+κs,j+λt½1£i£s,1£j£t and κ,λÎN, i+κs£m, j+λt£n}.

Thus we have the map

st: Mm´n®Ms´t: A®Ast=(aij).

We call this multivalued map helix-projection of type st. So Ast is a set of s´t-matrices X=(xij) such that xijÎaij,"i,j.

Let A=(aij)ÎMm´n, B=(bij)ÎMu´v matrices and s=min(m,u), t=min(n,u). We define a hope, called helix-addition or helix-sum, as follows:

Å: Mm´n´Mu´v®P(Ms´t):

(A,B)®AÅB=Ast+Bst=(aij)+(bij)Ì Ms´t,


(aij)+( bij)= {(cij)= (aij+bij) çaijÎaij and bijÎbij}.

And define a hope, called helix-multiplication or helix- product, as follows:

Ä: Mm´n´Mu´v®P(Mm´v): (A,B)®AÄB=Ams×Bsv=(aij)×(bij)Ì Mm´v,


(aij)×(bij)= {( cij)=(åaitbtj) çaijÎaij and bijÎbij}.

Remark. In Mm´n the addition of matrices is an ordinary operation, therefore we are interested only in the ‘product’. From the fact that the helix-product on non square matrices is defined, the definition of the Lie-bracket is immediate, therefore the helix-Lie Algebra is defined [62], as well. This algebra is an Hv-Lie Algebra where the fundamental relation ε* gives, by a quotient, a Lie algebra, from which a classification is obtained.

For more results on the topic see [16],[32],[61],[62].

In the following we denote Eij any type of matrices which have the ij-entry 1 and in all the other entries we have 0.

Example 2.8 Consider the 2´3 matrices of the following form,

Aκ= E11+κE21+E22+E23, Bκ= κE21+E22+E23, "κÎ.

Then we obtain AκÄAλ={Aκ+λ,Aλ+1,Βκ+λ,Βλ+1}

Similarly, ΒκÄAλ={Βκ+λ,Βλ+1}, AκÄΒλ=Βλ=ΒκÄΒλ.

Thus the set {Aκ,Βλ½κ,λÎ} becomes an Hv-semigroup which is not COW because for κ¹λ we have

BκÄΒλ = Βλ ¹ Βκ = ΒλÄΒκ,


(AκÄAλ)Ç(AλÄAκ) = {Aκ+λ, Βκ+λ}¹Æ, "κ,λÎ.

All elements Βλ are right absorbing and Β1 is a left scalar, because B1ÄAλ=Bλ+1 and B1ÄBλ=Bλ, A0 is a unit.

3. Hyper-Lie-Algebras

Lie-Santilli admisibility

The general definition of an Hv-Lie algebra over an Hv-field is given as follows [61],[62]:

Definition 3.1 (L,+) be Hv-vector space on Hv-field (F,+,×), φ:F®F/γ* the canonical map and ωF={xÎF:φ(x)=0}, where 0 is the zero of the fundamental field F/γ*. Moreover, let ωL be the core of the canonical map φ¢: L®L/ε* and denote by the same symbol 0 the zero of L/ε*. Consider the bracket (commutator) hope:

[ , ] : L´L®P(L): (x,y)®[x,y]

then L is called an Hv-Lie algebra over F if the following axioms are satisfied:

(L1) The bracket hope is bilinear, i.e.

[λ1x1+λ2x2,y]Ç(λ1[x1,y]+λ2[x2,y]) ¹ Æ

[x,λ1y1+λ2y]Ç(λ1[x,y1]+λ2[x,y2]) ¹ Æ,

"x,x1,x2,y,y1,y2ÎL and λ1,λ2ÎF

(L2) [x,x]ÇωL ¹ Æ, "xÎL

(L3) ([x,[y,z]]+[y,[z,x]]+[z,[x,y]])ÇωL ¹ Æ, "x,yÎL

Example 3.2 Consider all traceless matrices A=(aij)ÎM2´3, in the sense that a11+ a22=0. In this case, the cardinality of the helix-product of any two matrices is 1, or 23, or 26. These correspond to the cases: a11=a13 and a21=a23, or only a11=a13 either only a21=a23, or if there is no restriction, respectively. For the Lie-bracket of two traceless matrices the corresponding cardinalities are up to 1, or 26, or 212, resp. We remark that, from the definition of the helix-projection, the initial 2´2, block guaranties that in the result there exists at least one traceless matrix.

From this example it is obvious the following:

Theorem 3.3 Using the helix-product the Lie-bracket of any two traceless matrices A=(aij), B=(bij)ÎMm´n, m<n, contain at least one traceless matrix.

Last years, hyperstructures have a variety of applications in mathematics and other sciences. The hyperstructures theory can now be widely applicable in industry and production, too. In several books [4],[10],[12] and papers [1],[11],[17],[23], [31],[35],[50],[67],[70] one can find numerous applications.

The Lie-Santilli theory on isotopies was born in 1970’s to solve Hadronic Mechanics problems. Santilli proposed [28] a ‘lifting’ of the trivial unit matrix of a normal theory into a nowhere singular, symmetric, real-valued, new matrix. The original theory is reconstructed such as to admit the new matrix as left and right unit. The isofields needed in this theory correspond into the hyperstructures were introduced by Santilli and Vougiouklis in 1996 and they are called e-hyperfields [29],[30],[59],[60],[64],[13],[14],[15] which are used in physics or biology. The Hv-fields can give e-hyperfields which can be used in the isotopy theory for applications.

The IsoMathematics Theory is very important subject in applied mathematics. It is a generalization by using a kind of the Rees analogous product on matrix semigroup with a sandwich matrix, like the P-hopes. It contains the classical theory but also can find easy solutions in different branches of mathematics. To compare this novelty we give two analogous examples: (1) The unsolved, from ancient times, problems in Geometry was solved in a different branch of mathematics, the Algebra with the genius Galois Theory. (2) With the Representation Theory one can solve problems in Lie Algebras and to transfer these in Lie Groups using the exponential map, and the opposite. One very important thing of the IsoMathematics Theory is that admits generalizations, as well. Two very important of them are the following: First, is the so called Admissible Lie-Santilli Algebras [28],[30], [62],[65] by using again a kind of Rees sandwich product. Second, is that one can extend this theory into the multivalued case, i.e. into Hv-structures.

Definitions 3.4 A hyperstructure (H,×) containing a unique scalar unit e, is called e-hyperstructure. We assume that "x, there is an inverse x-1, i.e. eÎx×x-1Çx-1×x. A hyperstructure (F,+,×), where (+) is an operation and (×) is a hope, is called e-hyperfield if the following are valid:

(F,+) is abelian group with the additive unit 0, (×) is WASS,

(×) is weak distributive with respect to (+), 0 is absorbing: 0×x=x×0=0, "xÎF, there exist a multiplicative scalar unit 1, i.e. 1×x=x×1=x, "xÎF, and "xÎF there exists a unique inverse x-1, such that 1Îx×x-1Çx-1×x.

The elements of an e-hyperfield are called e-hypernumbers. In the case that the relation: 1=x×x-1=x-1×x, is valid, then we say that we have a strong e-hyperfield.

A general construction based on the partial ordering of the Hv-structures:

Construction 3.5 [13],[14],[15],[30] Main e-Construction. Given a group (G,×), where e is the unit, then we define in G, a large number of hopes (Ä) by extended (×), as follows:

xÄy={xy,g1,g2,…}, "x,yÎG-{e}, and g1, g2,…ÎG-{e}

Then (G,Ä) becomes an Hv-group, in fact is Hb-group which contains the (G,×). The Hv-group (G,Ä) is an e-hypergroup. Moreover, if "x,y such that xy=e, so we have xÄy=xy, then (G,Ä) becomes a strong e-hypergroup.

Definition 3.6 Let (Ho,+,×) be the attached, by one element, Hv-field of the Hv-semigroup (H,×). Thus, for (H,×), take an element v outside of H, and extend (×) in Hn=HÈ{v} by:

x×v=v×x=v, v×v=H, "xÎH.

(Hn,×) is an HV-group, called Attach Elements Construction, and (Hn,×)/β*@Z2, where v, is single. If (H,×) has a left and right scalar unit e then (Ho,+,×) is an e-hyperfield, the attached Hv-field of (H,×).

Remark. The above main e-construction gives an extremely large class of e-hopes. These e-hopes can be used in the several more complicate hyperstructures to obtain appropriate e-hyperstructures. However, the most useful are the ones where only few products are enlarged.

Example 3.7 Take the finite-non-commutative quaternion group Q={1,-1, i,-i, j,-j, k,-k}. Using this operation one can obtain several hopes which define very interesting e-groups. For example, denoting i={i,-i}, j={j,-j}, k={k,-k} we may define the (*) hope by the Cayley table:

* 1 -1 i -i j -j k -k
1 1 -1 i -i j -j k -k
-1 -1 1 -i i -j j k k
i i -i -1 1 k -k -j j
-i -i i 1 -1 -k k j -j
j j -j -k k -1 1 i -i
-j -j j k -k 1 -1 -i i
k k k j -j -i i -1 1
-k -k k -j j i -i 1 -1

The hyperstructure (Q,*) is strong e-hypergroup because 1 is scalar unit and the elements -1,i,-i,j,-j,k and -k have unique inverses the elements -1,-i,i,-j,j,-k and k, resp., which are the inverses in the basic group. Thus, from this example one can have more strict hopes.

In [30],[62],[65] a kind of P-hopes was introduced which is appropriate to extent the Lie-Santilli admissible algebras in hyperstructures:

The general definition is the following:

Construction 3.8 Let (L=Mm´n,+) be an Hv-vector space of m´n hyper-matrices over the Hv-field (F,+,×), φ:F®F/γ*, the canonical map and ωF={xÎF:φ(x)=0}, where 0 is the zero of the fundamental field F/γ*, ωL be the core of the canonical map φ¢:L®L/ε* and denote again by 0 the zero of L/ε*. Take any two subsets R,SÍL then a Santilli’s Lie-admissible hyperalgebra is obtained by taking the Lie bracket, which is a hope:

[,] RS: L´L®P(L): [x,y]RS=xRty–yStx.

Notice that [x,y]RS=xRty–yStx={ rty–ystx½rÎR and sÎS}.

Special cases, but not degenerate, are the ‘small’ and ‘strict’:

(a) R={e} then [x,y]RS = xy–yStx = {xy–ystx½sÎS}

(b) S={e} then [x,y]RS = xRty–yx = {xrty–yx½rÎR}

(c) R={r1,r2} and S={s1,s2} then

[x,y]RS = xRty–yStx =

{xr1ty–ys1tx, xr1ty–ys2tx, xr2ty–ys1tx, xr2ty–ys2tx}

4. Galois Hv-Fields and Low Dimensional Hv-Matrices

Recall some results from [63], which are referred to finite Hv-fields which we will call, according to the classical theory, Galois Hv-fields. Combining the uniting elements procedure with the enlarging theory we can obtain stricter structures or hyperstructures. So enlarging operations or hopes we can obtain more complicated structures.

Theorem 4.1 In the ring (Zn,+,×), with n=ms we enlarge the multiplication only in the product of elements 0×m by setting 0Äm={0,m} and the rest results remain the same. Then

(Zn,+,Ä)/γ* @ (Zm,+,×).

Proof. First we remark that the only expressions of sums and products which contain more, than one, elements are the expressions which have at least one time the hyperproduct 0Äm. Adding to this special hyperproduct the element 1, several times we have the equivalence classes modm. On the other side, since m is a zero divisor, adding or multiplying elements of the same class the results are remaining in one class, the class obtained by using only the representatives. Therefore, γ*-classes form a ring isomorphic to (Zm,+,×).

Remark. In the above theorem we can enlarge other products as well, for example 2×m by setting 2Äm={2,m+2}, then the result remains the same. In this case the elements 0 and 1 remain scalars, so they are refered in e-hyperstructures.

From the above theorem it is immediate the following:

Corollary 4.2 In the ring (Zn,+,×), with n=ps where p is a prime number, we enlarge the multiplication only in the product of the elements 0×p by setting 0Äp={0,p} and the rest results remain the same. Then the hyperstructure (Zn,+,Ä) is a very thin Hv-field.

The above theorem provides the researchers with Hv-fields appropriate to the rep theory since they may be smaller or minimal hyperstructures.

Remarks 4.3 The above theorem in connection with Uniting Elements method leads to the fact that in Hv-structure theory it is able to equip algebraic structures or hyperstructures with properties as associativity, commutativity, reproductivity. This equipment can be applied independently of the order of the desired properties. This is crucial point since some properties are easy to be applied, so we can apply them first, and then the difficult ones. For example from an Hv-ring we first go to an Hv-integral domain, by uniting the zero divisors, and then to the Hv-field by reaching the reproductivity.

Construction 4.5 (Galois Hv-fields) In the ring (Zn,+,×), with n=ps where p is prime, enlarge only the product of the elements 2 by p+2, i.e. 2×(p+), by setting 2Ä(p+2)={2,p+2} and the rest remain the same. Then (Zn,+,Ä) is a COW very thin Hv-field where 0 and 1 are scalars and we have:

(Zn,+,Ä)/γ* @ (Zp,+,×).

Proof. Straightforward.

Remark 4.6 Galois Hv-fields of the above type are the most appropriate in the representation theory since the cardinality of the products is low. Moreover, one can use more enlargements using elements of the same fundamental class, therefore, one can have several cardinalities. The low dimensional reps can be based on the above Galois Hv-fields, since they use infinite Hv-fields although the fundamental fields are finite.


  1. R. Anderson, A.A. Bhalekar, B. Davvaz, P.S. Muktibodh, V.M. Tangde, A.S. Muktibodh, T.Vougiouklis, An introduction to Santilli’s isodual theory of antimatter and the open problem of detecting antimatter asteroids, NUMTA Bulletin, 6, 2012-13, 1-33.
  2. R. Bayon, N. Lygeros, Les hypergroupes abéliens d’ ordre 4, Proceedings: Structure Elements of Hyper-structures, Spanidis Press, 2005, 35-39.
  3. R. Bayon, N. Lygeros, Advanced results in enumeration of hyperstructures, J. Algebra, 320, 2008, 821-835.
  4. P. Corsini, V. Leoreanu, Applications of Hypergroup Theory, Kluwer Academic Publ., 2003.
  5. P. Corsini, T. Vougiouklis, From groupoids to groups through hypergroups, Rendiconti Mat. VII, 9, 1989, 173-181.
  6. B. Davvaz, On Hv-subgroups and anti fuzzy Hv-subgroups, Korean J. Comp. Appl. Math. V.5, N.1, 1998, 181-190.
  7. B. Davvaz, On Hv-rings and Fuzzy Hv-ideals, J.Fuzzy Math.V.6,N.1, 1998, 33-42.
  8. B. Davvaz, Fuzzy Hv-submodules, Fuzzy sets and Systems, 117, 2001, 477-484.
  9. B. Davvaz, A brief survey of the theory of Hv-structures, 8th AHA, Greece, Spanidis, 2003, 39-70.
  10. B. Davvaz, Polygroup Theory and Related Systems, World Scientific, 2013.
  11. B. Davvaz, W. Dudek, T. Vougiouklis, A generalization of n-ary algebraic systems, Communications in Algebra,37, 2009, 1248-1263.
  12. B. Davvaz, V. Leoreanu-Fotea, Hyperring Theory and Applications, Int. Academic Press, USA, 2007.
  13. B. Davvaz, R.M. Santilli, T. Vougiouklis, Studies of multi-valued hyper-structures for the characterization of matter-antimatter systems and their extension, Algebras, Groups and Geometries 28(1), 2011, 105-116.
  14. B.Davvaz,R.M.Santilli,T.Vougiouklis,Multi-valued Hypermathematics for characterization of matter and antimatter systems, J. Comp.MethodsinSciencesandEngineering13,2013,37–50.
  15. B. Davvaz, R.M. Santilli, T. Vougiouklis, Mathematical prediction of Ying’s twin universes, American J. of Modern Physics, 4(3), 2015, 5-9.
  16. B. Davvaz, S. Vougioukli, T. Vougiouklis, On the multiplicative Hv-rings derived from helix hyperoperations, Util. Math., 84, 2011, 53-63.
  17. B. Davvaz, T. Vougiouklis, N-ary hypergroups, Iranian J. of Science & Technology, Transaction A, V.30, N.A2, 2006, 165-174.
  18. A. Dramalidis, Geometrical Hv-structures, Proceedings: Structure Elements of Hyper-structures, Spanidis Press, 2005, 41-51.
  19. S. Hoskova, J. Chvalina, Abelizations of proximal Hv-rings using graphs of good homomorphisms and diagonals of direct squares of hyperstructures, 8th AHA Congress, Spanidis Press, 2003, 147-158.
  20. A. Iranmanesh, M.N. Iradmusa, Hv-structures associated with generalized P-hyperoperations., Bul. Iranian Math. Soc. V.24, N1, 1998, 33-45.
  21. P. Kambaki-Vougioukli, A. Karakos, N. Lygeros, T. Vougiouklis, Fuzzy instead of discrete, Annals of Fuzzy Math. Inf. (AFMI), V.2, N.1, 2011, 81-89.
  22. V. Leoreanu-Fotea, Ivo Rosenberg, B. Davvaz, T. Vougiouklis, A new class of n-ary hyperoperations, European J. Combinatorics, V.44, 2015, 265-273.
  23. N.Lygeros,T.Vougiouklis, The LV-hyperstructures, Ratio Math., 25, 2013,59–66.
  24. A. Madanshekaf, Hv-structures associated with PQ- hyperoperations., J. of Disc. Math. Sc. & Crypt. V.6, N 2-3, 2003, 199-205.
  25. F. Marty, Sur un généralisation de la notion de groupe, 8éme Congrés Math. Scandinaves, Stockholm, (1934), 45-49.
  26. F. Marty, Sur les groupes et hypergroupes attachés à une fraction rationele, Annales Ec. Norm. Sup., V 53, (1936), 83-123.
  27. P. Nikolaidou, T. Vougiouklis, Hv-structures and the Bar in questionnaires, ItalianJ.PureandAppl.Math. N.29, 2012, 341-350.
  28. R.M. Santilli, Hadronic Maths, Mechanics and Chemistry, Vol. I, II, III, IV and V, Int. Academic Press, USA, 2008.
  29. R.M. Santilli, T. Vougiouklis, Isotopies, Genotopies, Hyper- structures and their Appl., Proc. New Frontiers Hyperstructures and Related Algebras, Hadronic, 1996, 1-48.
  30. R.M. Santilli, T. Vougiouklis. Lie-admissible hyperalgebras, Italian J. Pure Appl. Math., N.31, 2013, 239-254.
  31. S. Spartalis, A. Dramalides, T. Vougiouklis, On Hv-group Rings, Algebras, Groups and Geometries, 15, 1998, 47-54.
  32. S. Vougiouklis, Hv-vector spaces from helix hyperoperations, Int. J. Math. Anal. (New Series), 1(2), 2009, 109-120.
  33. T. Vougiouklis, Cyclicity in a special class of hypergroups, Acta Un. Car. – Math. Et Ph., V.22, N1, 1981, 3-6.
  34. T. Vougiouklis, Representations of hypergroups, Hypergroup algebra, Proc. Convegno: ipergrouppi, altre strutture multivoche appl. Udine, 1985, 59-73.
  35. T. Vougiouklis,On affine Kac-Moody Lie algebras, Commentationes Math. Un. Car., V.26, 2, 1985, 387-395
  36. T. Vougiouklis, Representations of hypergroups by hypermatrices, Rivista Mat. Pura Appl., N 2, 1987, 7-19.
  37. T. Vougiouklis, Generalization of P-hypergroups, Rend. Circ. Mat. Palermo, S.II, 36, 1987, 114-121.
  38. T. Vougiouklis,Groups in hypergroups, Annals of Discrete Math. 37, 1988, 459-468
  39. T. Vougiouklis, On representations of algebraic multivalued structures, Rivista Mat. Pura Appl., N.7, 1990, 87-92.
  40. T. Vougiouklis, The fundamental relation in hyperrings. The general hyperfield, Proc. 4thAHA, World Scientific, 1991, 203-211.
  41. T. Vougiouklis, The very thin hypergroups and the S-construction, Combinatorics ’88, Incidence Geometries Combinatorial Str., 2,1991, 471-477.
  42. T. Vougiouklis,Representations of hypergroups by generalized permutations, Algebra Universalis, 29, 1992, 172-183.
  43. T. Vougiouklis, Representations of Hv-structures,Proc. Int. Conf. Group Theory 1992, Timisoara,1993, 159-184.
  44. T. Vougiouklis, Hyperstructures and their Representations, Monographs in Math., Hadronic Press, 1994.
  45. T. Vougiouklis, Some remarks on hyperstructures, Contemporary Math., Amer. Math. Society, 184, 1995, 427-431.
  46. T. Vougiouklis, A new class of hyperstructures, J.C.I.&S.S.,V.20, N.1-4, 1995, 229-239.
  47. T. Vougiouklis,Hv-groups defined on the same set, Discrete Math. 155, 1996, 259-265.
  48. T. Vougiouklis,Consructions of Hv-structures with desired fundamental structures, New frontiers in Hyperstructues, Hadronic Press, 1996, 177-188.
  49. T. Vougiouklis,On Hv-fields, 6th AHA, Prague 1996, Democritus Univ. Press, 1997, 151-159.
  50. T. Vougiouklis, Convolutions on WASS hyperstructures, Discrete Math. 174, 1997, 347-355.
  51. T. Vougiouklis, Enlarging Hv-structures, Algebras and Combinatorics, ICAC’97, Hong Kong, Springer-Verlag, 1999, 455-463.
  52. T. Vougiouklis, On Hv-rings and Hv-representations, Discrete Math., Elsevier, 208/209, 1999, 615-620.
  53. T. Vougiouklis, On hyperstructures obtained by attaching elements, Proc. C. Caratheodory in his…origins, Hadronic Press, 2001, 197-206.
  54. T. Vougiouklis, Finite Hv-structures and their representations, Rend. Seminario Mat. Messina S.II, V.9, 2003, 245-265.
  55. T. Vougiouklis, Attach, remove, absorb and merge elements, Proc. 8th AHA Congress, Spanidis Press, 2003, 251-260.
  56. T. Vougiouklis, The h/v-structures, J. Discrete Math. Sciences and Cryptography, V.6, 2003, N.2-3, 235-243.
  57. T. Vougiouklis,A hyperoperation defined on a groupoid equipped with a map, Ratio Math. on line, N.1, 2005. 25-36.
  58. T. Vougiouklis,¶-operations and Hv-fields, Acta Math. Sinica, (Engl. Ser.), V.24, N.7, 2008, 1067-1078.
  59. T. Vougiouklis, The Santilli’s theory ‘invasion’ in hyperstructures, Algebras, Groups and Geometries 28(1), 2011, 83-103
  60. T. Vougiouklis The e-hyperstructures, J. Mahani Math. Research Center, V.1, N.1, 2012, 13-28.
  61. T. Vougiouklis, The Lie-hyperalebras and their fundamental relations, Southeast Asian Bull. Math., V.37(4), 2013, 601-614.
  62. T. Vougiouklis, Lie-admissible hyperalgebras, Italian J. Pure Appl. Math., N.31, 2013,
  63. T. Vougiouklis, From Hv-rings to Hv-fields, Int. J. Algebraic Hyperstructures Appl. Vol.1, No.1, 2014, 1-13.
  64. T. Vougiouklis, On the isoHv-numbers, Hadronic J., Dec.5, 2014, 1-18.
  65. T. Vougiouklis, Lie-Santilli Admissibility using P-hyper- operations on matrices, Hadronic J. Dec.7, 2014, 1-14.
  66. T. Vougiouklis, Hypermatrix representations of finite Hv-groups, European J. Combinatorics, V.44 B, 2015, 307-315.
  67. T. Vougiouklis,Quiver of hyperstructures for Ying’s twin universes,American J. Modern Physics, 4(1-1), 2015, 30-33.
  68. T. Vougiouklis, S. Vougiouklis, The helix hyperoperations, Italian J. Pure Appl. Math., 18, 2005, 197-206.
  69. T. Vougiouklis, P. Kambaki-Vougioukli, On the use of the bar, China-USA Business Review, V.10, N.6, 2011, 484-489.
  70. T. Vougiouklis, P. Kambakis-Vougiouklis, Bar in Questionnaires, Chinese Business Review, V.12, N.10, 2013, 691-697.

Article Tools
Follow on us
Science Publishing Group
NEW YORK, NY 10018
Tel: (001)347-688-8931