Hyperstructures as models in social sciences Ratio Mathematica, 21, 2011, pp. 27-42 27 Bar and Theta Hyperoperations Thomas Vougiouklis Democritus University of Thrace, School of Education 681 00 Alexandroupolis, Greece tvougiou@eled.duth.gr Abstract In questionnaires the replacement of the scale of Likert by a bar was suggested in 2008 by Vougiouklis & Vougiouklis. The use of the bar was rapidly accepted in social sciences. The bar is closely related with fuzzy theory and has several advantages during both the filling-in questionnaires and mainly in the research processing. In this paper we relate hyperstructure theory with questionnaires and we study the obtained hyperstructures which are used as an organising device of the problem. Key words: Hyperstructures, Hv-structures, hopes, -hopes. Subject Classification: 20N20, 16Y99. 1. Introduction Hyperstructures are called the algebraic structures equipped with at least one hyperoperation i.e. a multivalued operation. We have abbreviated the ‘hyperoperation’ by ‘hope’ [24]. Therefore, if in a set H at least one hope :HHP(H)-{} is defined, then (H,) is called a hypergroupoid. The Hv- structures introduced in 1990 [15], is the largest class of hyperstructures. The Hv- structures satisfy the weak axioms where the non-empty intersection replaces the equality. In (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 it is called Hv-group if it is reproductive Hv-semigroup, i.e. xH=Hx=H, xH. The hyperstructure (R,+,) is called Hv-ring if both hopes (+) 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. mailto:tvougiou@eled.duth.gr 28 The main tool to study all hyperstructures are the fundamental relations β*, γ* and ε*, which are defined, in Hv-groups, Hv-rings and Hv-vector spaces, resp., as the smallest equivalences so that the quotient would be group, ring and vector space, resp., [17]. An element is called single if its fundamental class is singleton. A way to find the fundamental classes is given by analogous theorems to the following [17],[18],[19],[20],[21],[5]: Theorem. Let (H,) be an Hv-group and denote U the set of all finite products of elements of H. We define the relation β in H by setting xβy iff {x,y}u where uU. Then β* is the transitive closure of β. Analogous theorems for the relations γ* in Hv-rings and ε* in Hv-modules and Hv-vector spaces, are also proved. These relations were introduced and first studied by T.Vougiouklis, see [17]. One can see generalizations of the classical hyperstructure theory in several papers and books as [3],[4],[6],[17]. Fundamental relations are used for general definitions [17],[20]. Thus, in the general definition of the Hv-field, the γ* is used: An Hv-ring (R,+,) is called Hv-field if R/γ* is a field. This definition includes all the well known definitions of hyperfields [15], [17], as special cases. Motivations. The motivation for Hv-structures is the following: We know that the quotient of a group with respect to an invariant subgroup is a group. F. Marty from 1934, states that, the quotient of a group by any subgroup is a hypergroup. Now, the quotient of a group by any partition (or equivalently to any equivalence relation) is an Hv-group. This is the motivation to introduce the Hv-structures [15]. Specifying this motivation we remark: Let (G,) be a group and R be an equivalence relation (or a partition) in G, then (G/R,) is an Hv-group, therefore we have the quotient (G/R,)/β* which is a group, the fundamental one. Remark that the classes of the fundamental group (G/R,)/β* are a union of some of the R- classes. Otherwise, the (G/R,)/β* has elements classes of G where they form a partition which classes are larger than the classes of the original partition R. Let (H,), (H,*) be Hv-semigroups on the same set. () is called smaller than (*), and (*) greater than (), iff there exists fAut(H,*) such that xyf(x*y), x,yH. Then, we write * and say that (H,*) contains (H,). If (H,) is a structure then it is called basic structure and (H,*) is called Hb-structure. Theorem (The Little Theorem), [17],[18]. In all Hv-structures and for all hopes, which are defined on them, greater hopes than the ones which are WASS or COW, are also WASS or COW, respectively. 29 This Theorem leads to a partial order on Hv-structures so, to a correspondence between hyperstructures and posets. The determination of all Hv- groups and Hv-rings is hard. In this direction there are many results by R. Bayon and N. Lygeros [1]. Definitions 1 [19],[20]. Let (H,) be hypergroupoid. We remove hH, if we consider the restriction of () in the set H-{h}. hH absorbs hH if we replace h by h and h does not appear in the structure. 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, h does not appear in the hyperstructure. Most of Hv-structures are used in Representation (abbreviate by rep) Theory. Reps of Hv-groups can be considered either by generalized permutations or by Hv-matrices [16],[17]. Reps by generalized permutations can be achieved by using translations. In the rep theory the singles are playing a crucial role. The rep problem by Hv-matrices is the following: Hv-matrix is called a matrix if has entries from an Hv-ring. The hyperproduct of Hv-matrices A=(aij) and B=(bij), of type mn and nr, respectively, is a set of mr Hv-matrices, defined in a usual manner: AB = (aij)(bij) = { C = (cij)  cij  Σaikbkj }, where () denotes the n-ary circle hope on the hyperaddition [17]. Definition 2. Let (H,) be Hv-group, (R,+,) Hv-ring, MR={(aij)aijR}, then any map T:HMR: hT(h) with T(h1h2)T(h1)T(h2)  , h1,h2H, is called Hv-matrix rep. If T(h1h2)T(h1)T(h2), then T is an inclusion rep, if T(h1h2)=T(h1)T(h2), then T is a good rep. Hyperoperations on any type of matrices can be defined: Definition 3 [13],[8]. Let A=(aij)Mmn be matrix and s,tN, with 1sm, 1tn. Then helix-projection is a map st: MmnMst: AAst = (aij), where Ast has entries aij = { ai+s,j+t 1is, 1jt and ,N, i+sm, j+tn } Let A=(aij)Mmn, B=(bij)Muv be matrices and s=min(m,u), t=min(n,v). We define a hyper-addition, called helix-addition, by 30 :MmnMuvP(Mst):(A,B)AB=Ast+Bst=(aij)+(bij)Mst where (aij)+(bij)= {(cij)=(aij+bij) aijaij and bijbij)}. Let A=(aij)Mmn, B=(bij)Muv and s=min(n,u). We define the helix- multiplication, by :MmnMuv  P(Mmv): (A,B)  AB = AmsBsv = (aij)(bij)  Mmv where (aij)(bij)= {(cij)=(aitbtj) aijaij and bijbij)}. The helix-addition is commutative, WASS but not associative. The helix- multiplication is WASS, not associative and it is not distributive, not even weak, to the helix-addition. For all matrices of the same type, the inclusion distributivity, is valid. 2. Basic definitions One can see basic definitions, results, applications and generalizations on hyperstructure theory, not only for Hv-structures, in the books [3],[4],[6],[17] and the survey papers [2],[5],[7],[14],[20],[21]. Here we present some definitions related to our problem. In a hypergroupoid (H,) the powers of hH are h 1 ={h},…, h n = hh…h, where () denotes the n-ary circle hope, i.e. take the union of hyperproducts with all possible patterns of parentheses put on them. An Hv-semigroup (H,) is called cyclic of period s, if there exists a g (generator) and a number s, the minimum, such that H= h 1  …  h s . The cyclicity for the infinite period is defined in [14]. If there is an h and a number s, the minimum, such that H=h s , then (H,) is called single-power cyclic of period s. In 1989 Corsini & Vougiouklis introduced a method to obtain stricter algebraic structures from given ones through hyperstructure theory. This method was introduced before of the Hv-structures, but in fact the Hv-structures appeared in the procedure. Definition. The uniting elements method is the following: Let G be a structure and d be a property, which is not valid, and it is described by a set of equations. Consider the partition in G for which it is put together, in the same class, every pair of elements that causes the non-validity of d. The quotient G/d is an Hv- structure. Then quotient of G/d by the fundamental relation β*, is a stricter structure (G/d)β* for which d is valid. 31 An application of the uniting elements is if more than one property desired. The reason for this is some of the properties lead straighter to the classes: commutativity and the reproductivity are easily applicable. One can do this because the following is valid: Theorem [17],[21]. Let (G,) be groupoid, and F={f1,…,fm,fm+1,…,fm+n} a system of equations on G consisting of two subsystems Fm={f1,…,fm}, Fn={fm+1,…, fm+n}. Let σ and σm be the equivalence relations defined by the uniting elements using the 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 we have (G/σ)/β*  (Gm/σn)/β*. Definition 4 [17],[21]. Let (F,+,) be an Hv-field, (V,+) be a COW Hv-group and there exists an external hope  : FV  P(V ): (a,x)  ax such that, for all a,b in F and x,y in V we have a(x+y)  (ax+ay)  , (a+b)x  (ax+bx)  , (ab)x  a(bx)  , then V is called an Hv-vector space over F. In the case of an Hv-ring instead of Hv-field then the Hv-modulo is defined. In the above cases the fundamental relation ε* is the smallest equivalence relation such that the quotient V/ε* is a vector space over the fundamental field F/γ*. The general definition of an Hv-Lie algebra over a field F was given in as follows: Definition 5. Let (L,+) be an Hv-vector space over the field (F,+,), φ: FF/γ* be the canonical map and ωF={xF:φ(x)=0}, where 0 is the zero of the fundamental field F/γ*. Similarly, 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 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, λ1,λ2  F 32 (L2) [x,x]  ωL   , xL (L3) ([x,[y,z]]+[y,[z,x]]+[z,[x,y]])  ωL  , x,yL. We remark that this is a very general definition therefore one can use special cases in order to face several problems in applied sciences [12],. Moreover, from this definition we can see how the weak properties can be defined as the above weak linearity (L1), anti-commutativity (L2) and the Jacobi identity (L3). 3. -hopes In [22] an extremely large class of hopes introduced called theta: Definition 6. Let H be a set equipped with n operations (or hopes) 1,…,n and a map (or multivalued map) f:HH (or f:HP(H)-{}, resp.), then n hopes 1,…,n on H are defined, called theta-hopes, (-hopes), by putting xiy = {f(x)iy, xif(y) }, x,yH and i{1,2,…,n} or, in the case where i is hope or f is multivalued map, we have xiy = ( f(x)iy)(xif(y) ), x,yH and i{1,2,…,n} If i is associative, then i is WASS. Remark that one can use several maps f instead of only one, in a similar way. In a groupoid (G,), or a hypergroupoid, with a -hope, one can study several properties like the following ones: Reproductivity. For the reproductivity we must have xG= gG{f(x)g, xf(g)}= G and Gx= gG{f(g)x, gf(x)}= G. If () is reproductive, then () is reproductive: gG{f(x)g} = G. Commutativity. If () is commutative then () is commutative. If f is into the centre, then () is commutative. If () is COW then () is COW. Unit elements. u is right unit if xu={f(x)u,xf(u)}x. So f(u)=e, if e is a unit in (G,). The elements of the kernel of f, are the units of (G,). Inverse elements. Let (G,) be a monoid with unit e and u be a unit in (G,), then f(u)=e. For given x, the x is an inverse with respect to u, if xx={f(x)x,xf(x)}u and xx={f(x)x,xf(x)}u. So, x=(f(x)) -1 u and 33 x=u(f(x)) -1 , are the right and left inverses, respectively. We have two-sided inverses iff f(x)u = uf(x). Proposition 7. Let (G,) be a group then, for all maps f: GG, the (G,) is an Hv- group. One can define -hopes on rings and more complicated structures (or hyper- structures or Hv-structures), where more than one -hopes can be defined. Motivation for the definition of the theta-hope is the map derivative where only the multiplication of functions can be used. Therefore, in these terms, for two functions s(x), t(x), we have st = {st, st} where () denotes the derivative. Example. Let (G,) be a group and f(x)=a the constant map on G, then xy={ay,xa}, x,yG. The (G,)/* is singleton, indeed, we have a -1 (a - 1 x)={x,e} xG, so xe, xG, thus *(x)=*(e). For f(x)=e we obtain xy={x,y}, the smallest incidence hope. Propositions 8. Let gG is a generator of the group (G,). Then, (a) for every f, g is a generator in (G,), with period at most n. (b) suppose that there exists an element w such that f(w)=g, then the element w is a generator in (G,), with period at most n. Definitions 9. Let (G,) be a groupoid and fi:GG, iI, be a set of maps. Take the map f:GP(G) such that f(x)={fi(x)iI }, i.e. the union of fi(x). We call union -hopes, if we consider the map f(x). Special case: the union of f with the identity, i.e. f= f(id), so f(x)={x,f(x)}, xG, which is called b-hope. We denote the b-hope by (), so xy = { xy, f(x)y, xf(y) }, x,yG. Remark that  contains the operation () so it is a b-hope. If f: GP(G)- {}, then the b-hope is defined by using the map f(x)={x}f(x), xG. A construction between  and  is the one which obtained by using special maps. Definition 10. Let (G,) be a groupoid and f:GG be a map, we call basic set of the map f the set B = Bf = { xG: f(x)=x }. Then, if B, we have xy = xy, x,yB, xy = { xy, xf(y) }, xB, yG-B, xy = { f(x)y, xy }, xG-B, yB, 34 xy = { f(x)y, xf(y) }, x,yG-B. For (G,) groups, we obtain the following: - If B is a subgroup of (G,), then (B,) is a sub-Hv-group of (G,). - If eB, then e is a unit of (B,) because it belongs into the kernel of f. - Inverses: If u is a unit of (B,), then xG, has an inverse in (G,) if f(x)u = uf(x). Therefore an element xB has an inverse iff xu=ux. If eB then the element x -1 is an inverse of x in (G,) as well. Proposition 11. Let gG is a generator of the group (G,). If gB then g is a generator in (G,), f, with period at most n. There is connection of -hopes with other hyperstructures: Example. Merging and . If (H,) is a groupoid and hH merges with the hH, then h does not appeared and we have for the merge (H,◦), h◦x = {hx, hx}, x◦h = {xh, xh}, h◦h = {hh, hh, hh, hh} and in rest cases (◦) coincides with (), so we have merge (H-{h},◦). Similarly, if (H,) is a hypergroupoid then we have h◦x= (hx)(hx), x◦h= (xh)(xh), h◦h= (hh)(hh)(hh)(hh) In order to see a connection of merge with the -hope, consider the map f such that f(h)=h and f(x)=x in the rest cases. Then in (H-{h},) we have, x,yH-{h} hx = {hx, hx}, xh = {xh, xh} and hh = {hh, hh} and in the rest cases () coincides with (). Therefore,  ◦, or hh = {hh, hh}  {hh, hh, hh, hh}= h◦h and in the remaining cases we have ◦. Example. P-hopes [14]. Let (G,) be a commutative semigroup and PG. Consider the multivalued map f such that f(x) = Px, xG. Then we have xy = xyP, x,yG. So the -hope coincides with the well known class of P-hopes [20]. One can define theta-hopes on rings and other more complicate structures, where more than one -hopes can be defined. Moreover, one can replace structures by hyper ones or by Hv-structures, as well [23],[24]. 35 Definition 12. Let (R,+,) be a ring and f:RR, g:RR be two maps. We define two hyperoperations (+) and (), called both theta-operations, on R as follows x+y = {f(x)+y, x+f(y) } and xy = {g(x)y, xg(y) }, x,yG. A hyperstructure (R,+,), where (+), () be hyperoperations which satisfy all Hv-ring axioms, except the weak distributivity, will be called Hv-near-ring. Proposition 13. Let (R,+,) ring and f:RR, g:RR maps. The hyperstructure (R,+,), called theta, is an Hv-near-ring. Moreover (+) is commutative. Proof. First, one can see that all properties of an Hv-ring, except the distributivity, are valid. For the distributivity we have, x,y,zR, x(y+z)  (xy)+(xz) = . ■ In order more properties to be valid, the  can be replaced by . Proposition 14. Let (R,+,) ring and f:RR, g:RR maps, then (R,+,), is an Hv-ring. Proof. The only one axiom we have to see is the distributivity. So, x,y,zR, x(y+z) = {g(x)(y+z), g(x)(f(y)+z), g(x)(y+f(z)), xg(y+z), xg(f(y)+z), xg(y+f(z))} and (xy)+(xz) = {g(x)(y+z), f(g(x)y)+g(x)z, g(x)y+f(g(x)z), g(x)y+xg(z), f(g(x)y)+xg(z), g(x)y+f(xg(z)), xg(y)+g(x)z, f(xg(y))+g(x)z, xg(y)+f(g(x)z), x(g(y)+g(z)), f(xg(y))+xg(z), xg(y)+f(xg(z))}. So x(y+z)  (xy)+(xz) ={ g(x)(y+z)}  . Therefore, (R,+,) is an Hv-ring. ■ Remark. If (R,+,) ring and f:RR, g:RR maps, then (R,+,) is still an Hv- near-ring. Theorems 15. (a) Consider the group of integers (Z,+) and let n0 be a natural number. Take the map f such that f(0)=n and f(x)=x, xZ-{0}. Then (Z,)/*  (Zn,+). (b) Consider the ring of integers (Z,+,) and let n0 be a natural. Consider the map f such that f(0)=n and f(x)=x, xZ-{0}. Then (Z,+,) is an Hv-near-ring, with (Z,+,)/γ*  Zn. 36 Special case of the above is for n=p, prime, then (Z,+,) is an Hv-field. Proposition 16. Let (V,+,) be an algebra over the field (F,+,) and f:VV be a map. Consider the -hope defined only on the multiplication of the vectors (), then (V,+,) is an Hv-algebra over F, where the related properties are weak. If, moreover f is linear then we have more strong properties. Definition 17. Let L be a Lie algebra, defined on an algebra (V,+,) over the field (F,+,) with Lie bracket [x,y]=xy-yx. Consider a map f:LL, then the -hope is defined by xy = {f(x)y-f(y)x, f(x)y-yf(x), xf(y)-f(y)x, xf(y)-yf(x)} Proposition 18. Let (V,+,) be an algebra over the field (F,+,) and f:VV be a linear map. Consider the -hope defined only on the multiplication of the vectors (), then (V,+,) is an Hv-algebra over F, with respect to Lie bracket, where the weak anti-commutatinity and the inclusion linearity is valid. If (G,) is a semigroup then, for every f, the b-operation () is WASS. 4. Hyprestructures in questionnaires During last decades hyperstructures seem to have a variety of applications not only in other branches of mathematics but also in many other sciences including the social ones. These applications range from biomathematics and hadronic physics to automata theory, to mention but a few. This theory is closely related to fuzzy theory; consequently, hyperstructures can now be widely applicable in industry and production, too. In several papers, such as [2],[4],[11],[12] one can find numerous applications; similarly, in the books [4], [6] a wide variety of applications is also presented. An important new application, which combines hyperstructure theory and fuzzy theory, is to replace in questionnaires the scale of Likert by the bar of Vougiouklis & Vougiouklis. The suggestion is the following [10]: Definition 19. “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 s/he feels expresses her/his answer to the specific question”. 37 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, see [9], [25]. Now we state our main problem for this paper by using this bar and we can describe in mathematical model using theta-hopes. Problem 20. In the research processing suppose that we want to use Likert scale dividing the continuum [01] both by, first, into equal steps (segments) and, second, into equal-area spaces according to Gauss distribution [9], [25]. If we consider both types of divisions into n segments, then the continuum [01] is divided into 2n-1 segments, if n is odd number and into 2(n-1) segments, if n is even number. We can number the segments and we can consider as an organized devise the group (Zk,) where k=2n-1 or 2(n-1). Then we can obtain several hyperstructures using -hopes as the following way: We can have two partitions of the final segments, into n classes either using the division into equal steps or the Gauss distribution by putting in the same class all segments that belong (a) to the equal step or (b) to equal-area spaces according to Gauss distribution. Then we can consider two kinds of maps (i) a multi-map where every element corresponds to the hole class or (ii) a map where every element corresponds to one special fixed element of the same class. Using these maps we define the -hopes and we obtain the corresponding Hv-structure. An example for the case (i) is the following: Example 21. Suppose that we take the case of the Likert scale with 5 equal steps: [0-1.24-2.48-3.72-4.96-6.2] and the Gauss 5 equal areas: [0-2.4-2.9-3.3-3.8-6.2] we have 9 segments as follows [0 –1.24 – 2.4 – 2.48 – 2.9 – 3.3 – 3.72 – 3.8 – 4.96 – 6.2] Therefore, if we consider the set Z9 and if we name the segments by 1, 2,…, 8, 0, then if we consider the equal steps partition: {1}, {2,3}, {4,5,6}, {7,8}, {0} we take, according to the above construction the multi-map f such that f(1)={1}, f(2)={2,3}, f(3)={2,3}, f(4)={4,5,6}, f(5)={4,5,6}, f(6)={4,5,6}, f(7)={7,8}, f(8)={7,8}, f(0)={0}, then we obtain the following table: 38  1 2 3 4 5 6 7 8 0 1 2 3,4 3,4 5,6,7 5,6,7 5,6,7 0,8 0,8 1 2 3,4 4,5 4,5,6 6,7,8 6,7,8 6,7,8,9 0,1 0,1,2 2,3 3 3,4 4,5,6 5,6 0,6,7,8 0,6,7,8 0,6,7,8 0,1,2 0,1,2 2,3 4 5,6,7 6,7,8 0,6,7,8 0,1,8 0,1,2,8 0,1,2,3,8 2,3,4 2,3,4,5 4,5,6 5 5,6,7 6,7,8 0,6,7,8 0,1,2,8 0,1,2 0,1,2,3 2,3,4 3,4,5 4,5,6 6 5,6,7 6,7,8,9 0,6,7,8 0,1,2,3,8 0,1,2,3 1,2,3 2,3,4,5 3,4,5 4,5,6 7 0,8 0,1 0,1,2 2,3,4 2,3,4 2,3,4,5 5,6 5,6,7 7,8 8 0,8 0,1,2 0,1,2 2,3,4,5 3,4,5 3,4,5 5,6,7 6,7 7,8 0 1 2,3 2,3 4,5,6 4,5,6 4,5,6 7,8 7,8 0 5. Hyperstructures in several scales obtained from the bar Now we represent a mathematic model on obtained from the Problem 20: Construction 22. Consider a group (G,) and suppose take a partition Gi,iI of the G. Select and fix an element gi of each partition class Gi, and consider the map f: GG such that f(x)= gi , xGi, then (G,) is an Hv-group. Moreover the fundamental group (G/R,)/β* is (up to isomorphism) a subgroup of the corresponding fundamental group (G,)/β*. Proof. First, we remark that the -Hv-group (G,) is an Hv-group because this is true for all given maps. Now, let us call R the given partition. For all xGi and yGj we have xy={giy,xgj}, thus we remark that the elements giy and xgj belong to the same R class. Therefore, the β*-classes with respect to , are subsets of the β*-classes with respect to the R-classes. The fundamental group (G/R,)/β* is (up to isomorphism) a subgroup of the corresponding fundamental group (G,)/β*. ■ Theorem 23. In the above construction, if one of the selected elements is the unit element e of the group (G,), otherwise, if there exist an element zG such that f(z)=e, then we have (G/R,)/β* = (G,)/β*. Proof. Since there exist zG such that f(z)=e, then for all xGi, we have f(x)=gi, consequently, f(e)=e. Moreover, for all xGi, we have xe = {gie, xe}= {gi, x}, 39 thus, x belongs to the fundamental class to gi with respect to -hope. So Gi β*(gi) and from the above theorem we obtain that (G/R,)/β* = (G,)/β*. ■ In hypergroups does not necessarily exist any unit element and if there exists a unit this is not necessarily unique. Moreover the -hopes do not have always the unit element of the group as unit for the corresponding -hope. This is so because ee = {f(e)e, ef(e)} = {f(e)}. However for the above hyperstructure we have the following: Proposition 24. Suppose (G,) be a group and Gi,iI be a partition of G. For any class we fix a giGi, and take the map f: GG: f(x)=gi, xGi. If for the unit element e, in (G,), we have f(e)=e, i.e. e is any fixed element, then e is also a unit element of the Hv-group (G,). Moreover (f(x)) -1 is an inverse element in the - Hv-group (G,), of x. Proof. For all xG we have xe = {f(x)e, xe} = {f(x), x} x. Thus, e is a unit element in (G,). Moreover, xG, denoting (f(x)) -1 the inverse of f(x) in (G,), we have x(f(x)) -1 = {f(x)(f(x)) -1 , xf((f(x)) -1 )} = {e, xf((f(x)) -1 )} e. Therefore the element (f(x)) -1 is an inverse of x with respect to . This theorem states that the inverse gi -1 in (G,), of every fixed element gi, is also an inverse in (G,) of all elements which belong to their partition class Gi. Finally, remark that some of the elements of G may have more than one inverse in (G,). ■ Now we conclude with an example of the above Construction 22 on our main Problem 20: Example 11. In the case of the Likert scale with 6 equal steps: [0-1-2.1-3.1-4.1- 5.1-6.2] and the Gauss 6 equal areas: [0-2.23-2.73-3.1-3.47-3.97-6.2] we have 10 segments as follows [0 – 1 – 2.1 – 2.23 – 2.73 – 3.1 – 3.47 – 3.97 – 4.1 – 5.1 – 6.2] Therefore, if we consider the set Z10 and if we name the segments by 1, 2,…, 9, 0, then if we consider the Gauss partition: {1,2,3}, {4}, {5}, {6}, {7}, 40 {8,9,0} we take, according to the above Theorem, the map f such that f(1)={1}, f(2)={1}, f(3)={1}, f(4)={4}, f(5)={5}, f(6)={6}, f(7)={7}, f(8)={0}, f(9)={0}, f(0)={0}, then we obtain the following table: References [1] R.Bayon, N.Lygeros, Advanced results in enumeration of hyperstructures, to appear in Journal of Algebra. [2] J.Chvalina, S.Hoskova, Modelling of join spaces with proximities by first- order linear partial differential operators, Italian Journal of Pure and Applied Math., N.21 (2007), 177-190. [3] P.Corsini, Prolegomena of Hypergroup Theory, Aviani Editore, 1993. [4] P.Corsini, V.Leoreanu, Applications of Hypergroup Theory, Kluwer Academic Publishers, 2003.  1 2 3 4 5 6 7 8 9 0 1 2 2,3 2,4 5 6 7 8 1,9 0,1 1 2 2,3 3 3,4 5,6 6,7 7,8 8,9 2,9 0,2 1,9 3 2,4 3,4 4 5,7 6,8 7,9 0,8 3,9 0,3 1,3 4 5 5,6 5,7 8 9 0 1 2,4 3,4 4 5 6 6,7 6,8 9 0 1 2 3,5 4,5 5 6 7 7,8 7,9 0 1 2 3 4,6 5,6 6 7 8 8,9 0,8 1 2 3 4 5,7 6,7 7 8 1,9 2,9 3,9 2,4 3,5 4,6 5,7 8 8,9 0,8 9 0,1 0,2 0,3 3,4 4,5 5,6 6,7 8,9 9 0,9 0 1 1,9 1,3 4 5 6 7 0,8 0,9 0 41 [5] B.Davvaz, A brief survey of the theory of Hv-structures, 8 th AHA Congress, Spanidis Press (2003), 39-70. [6] B.Davvaz, V.Leoreanu, Hyperring Theory and Applications, International Academic Press, 2007. [7] B.Davvaz, T.Vougiouklis, n-ary hypergroups, Iranian Journal of Science & Technology, Transaction A, V.30, N.A2, (2006), 165-174. [8] B.Davvaz, S.Vougioukli, T.Vougiouklis, On the multiplicative-rings derived from helix hyperoperations, Utilitas Mathematica, 84, 2011, 53-63. [9] P.Kambaki-Vougioukli, A.Karakos, N.Lygeros, T.Vougiouklis, Fuzzy instead of discrete, Annals of Fuzzy Mathematics and Informatics, V.2, N.1 (2011), 81-89. [10] P. Kambaki-Vougioukli, T.Vougiouklis, Bar instead of scale, Ratio Sociologica, 3, (2008), 49-56. [11] A.Maturo, E.Sciarra, I.Tofan, A formalization of some aspects of Social Organization by means of the fuzzy set theory,, Ratio Sociologica, 1, (2008), 5-20. [12] R.M.Santilli, T.Vougiouklis, Isotopies, Genotopies, Hyperstructures and their Applications, Proc. New Frontiers in Hyperstructures and Related Algebras, Hadronic Press (1996), 177-188. [13] S.Vougioukli, Hv-vector spaces from helix hyperoperations, Int. Journal of Mathematics and Analysis (New Series), V.1, No 2 (2009), 109-120. [14] T.Vougiouklis, Generalization of P-hypergroups, Rendiconti Circolo Matematico di Palermo, S.II,36 (1987), 114-121. [15] T.Vougiouklis, The fundamental relation in hyperrings. The general hyperfield, 4 th AHA Congress, World Scientific (1991), 203-211. [16] T.Vougiouklis, Representations of hypergroups by generalized permutations, Algebra Universalis, 29 (1992), 172-183. [17] T.Vougiouklis, Hyperstructures and their Representations, Monographs in Mathematics, Hadronic Press, 1994. [18] T.Vougiouklis, Some remarks on hyperstructures, Contemporary Mathematics, American Mathematical Society, 184, (1995), 427-431. [19] T.Vougiouklis, Enlarging Hv-structures, Algebras and Combinatorics, ICAC’97, Hong Kong, Springer - Verlag (1999), 455-463. [20] T.Vougiouklis, On Hv-rings and Hv-representations, Discrete Mathematics, Elsevier, 208/209 (1999), 615-620. [21] T.Vougiouklis, Finite Hv-structures and their representations, Rendiconti Seminario Matematico di Messina S.II, V.9 (2003), 245-265. [22] T.Vougiouklis, A hyperoperation defined on a groupoid equipped with a map, Ratio Mathematica, N.1 (2005), 25-36. 42 [23] T.Vougiouklis, -operations and Hv-fields, Acta Mathematica Sinica, English Series, V.24, N.7 (2008), 1067-1078. [24] T.Vougiouklis, The relation of the theta-hyperoperation () with the other classes of hyperstructures, Journal of Basic Science 4, N.1 (2008), 135-145. [25] T.Vougiouklis, P.Kambaki-Vougioukli, On the use of the bar, China-USA Business Review, Vol.10, No. 6 (2011), 484-489.