Derived Hyperstructures from Hyperconics

: In this paper, we introduce generalized quadratic forms and hyperconics over quotient hyperﬁelds as a generalization of the notion of conics on ﬁelds. Conic curves utilized in cryptosystems; in fact the public key cryptosystem is based on the digital signature schemes (DLP) in conic curve groups. We associate some hyperoperations to hyperconics and investigate their properties. At the end, a collection of canonical hypergroups connected to hyperconics is proposed.


Introduction
In 1934, Marty initiated the notion of hypergroups as a generalization of groups and referred to its utility in solving some problems of groups, algebraic functions and rational fractions [1]. To review this theory one can study the books of Corsini [2], Davvaz and Leoreanu-Fotea [3], Corsini and Leoreanu [4], Vougiouklis [5] and in papers of Hoskova and Chvalina [6] and Hoskova-Mayerova and Antampoufis [7]. In recent years, the connection of hyperstructures theory with various fields has been entered into a new phase. For this we advise the researchers to see the following papers. (i) For connecting it to number theory, incidence geometry, and geometry in characteristic one [8][9][10]. (ii) For connecting it to tropical geometry, quadratic forms [11,12] and real algebraic geometry [13,14]. (iii) For relating it to some other objects see [15][16][17][18][19]. M. Krasner introduced the concept of the hyperfield and hyperring in Algebra [20,21]. The theory which was developed for the hyperrings is generalizing and extending the ring theory [22][23][24][25]. There are different types of hyperrings [22,25,26]. In the most general case a triplet (R, +, ·) is a hyperring if (R, +) is a hypergroup, (R, ·) is a semihypergroup and the multiplication is bilaterally distributive with regards to the addition [3]. If (R, ·) is a semigroup instead of semihypergroup, then the hyperring is called additive. A special type of additive hyperring is the Krasner's hyperring and hyperfield [20,21,24,27,28]. The construction of different classes of hyperrings can be found in [29][30][31][32][33]. There are different kinds of curves that basically are used in cryptography [34,35]. An elliptical curve is a curve of the form y 2 = p(x), where p(x) is a cubic polynomial with no-repeat roots over the field F. This kind of curves are considered and extended over Krasner's hyperfields in [13]. Now let g(x, y) = ax 2 + bxy + cy 2 + dx + ey + f ∈ F[x, y] and g(x, y) = 0 be the quadratic equation of two variables in field of F, if a = c = 0 and b = 0 then the equation g(x, y) = 0 is called homographic transformation. In [14] Vahedi et. al extended this particular quadratic equation on Krasner's quotient hyperfield F G . The motivation of this paper goes in the same direction of [14]. If in the general form of the equation of quadratic form one suppose that ae = 0 and b = 0 then initiate an important quadratic equation which is called a conic. Notice that the conditions which are considered for the coefficients of the equations of a conic curve and a homographic curve are completely different. Until now the study of conic curves has been on fields. At the recent works the authors have investigated some main classes of curves; elliptic curves and homographics over Krasner's hyperfields (see [13,14]). In the present work, we study the conic curves over some quotients of Krasner's hyperfields.

Preliminaries
In the following, we recall some basic notions of Pell conics and hyperstructures theory that these topics can be found in the books [2,36,37]. Moreover, we fix here the notations that are used in this paper.

Conics
According to [36] a conic is a plane affine curve of degree 2. Irreducible conics C come in three types: we say that C is a hyperbola, a parabola, or an ellipse according as the number of points at infinity on (the projective closure of) C equals 2, 1, or 0. Over an algebraically closed field, every irreducible conic is a hyperbola. Let d be a square free integer nonequal to 1 and put The conic C : Q 0 (x, y) = 1 associated to the principal quadratic form of discriminant ∆, is called the Pell conic of discriminant. Pell conics are irreducible nonsingular affine curves with a distinguished integral point N = (1, 0). The problem corresponding to the determination of E(Q) is finding the integral points on a Pell conic. The idea that certain sets of points on curves can be given a group structure is relatively modern. For elliptic curves, the group structure became well known only in the 1920s; implicitly it can be found in the work of Clebsch, and Juel, in a rarely cited article, wrote down the group law for elliptic curves defined over R and C at the end of the 19th century. The group law on Pell conics defined over a field F. For two rational points p, q ∈ Q(F), draw the line through O parallel to line p, q, and denote its second point of intersection with p * q which is the sum of two p, q, where O is an arbitrary point in pell conic perchance in infinity, is identity element of group. In the Figure 1 the operation is picturised on the conic section Q R ( f 1,1 ). Then we have a Caley table of points  (Table 1): The associativity of the group law is induced from a special case of Pascal's Theorem. In the following, we recall Pascal's Theorem which is a very special case of Bezout's Theorem.

Theorem 1 ([38]
Pascal's Theorem). For any conic and any six points p 1 , p 2 , ..., p 6 on it, the opposite sides of the resulting hexagram, extended if necessary, intersect at points lying on some straight line. More specifically, let L(p, q) denote the line through the points p and q. Then the points L(p 1 , p 2 ) ∩ L(p 4 , p 5 ), L(p 2 , p 3 ) ∩ L(p 5 , p 6 ), and L(p 3 , p 4 ) ∩ L(p 6 , p 1 ) lie on a straight line, called the Pascal line of the hexagon Figure 2.

Krasner's Hyperrings and Hyperfields
Let H be a non-empty set and P * (H) denotes the set of all non-empty subsets of H. Any function · from the cartesian product H × H into P * (H) is called a hyperoperation on H. The image of the pair (a, b) ∈ H × H under the hyperoperation · in P * (H) is denoted by a · b. The hyperoperation can be extended in a natural way to subsets of H as follows: for non-empty subsets A, B of H, define A · B = a∈A,b∈B a · b. The notation a · A is applied for {a} · A and also A · a for A · {a}. Generally, we mean H k = H × H... × H (k times), for all k ∈ N and also the singleton {a} is identified with its element a. The hyperstructure (H, ·) is called a semihypergroup if x · (y · z) = (x · y) · z for all x, y, z ∈ H, which means that A semihypergroup (H, ·) is called a hypergroup if the reproduction law holds: x · H = H · x = H, for all x ∈ H. Definition 1. [2] Let (H, ·) be a hypergroup and K be a non-empty subset of H. We say that (K, ·) is a subhypergroup of H and it denotes K H, if for all x ∈ K we have K · x = K = x · K.
Let (H, ·) be a hypergroup, an element e r (resp. e l ) of H is called a right identity (resp. left identity e l ) if for all a ∈ H, x ∈ a · e r (resp. a ∈ e l · a). An element e is called an identity if, for all a ∈ H, a ∈ a · e ∩ e · a. A right identity e r (resp. left identity e l ) of H is called a scalar right identity (resp. scalar left identity) if for all a ∈ H, a = a · e r (a = e l · x). An element e is called a scalar identity if for all a ∈ H, a = a · e = e · x. An element a ∈ H is called a right inverse (resp. left inverse) of a in H if e r ∈ a · a , for some right identities e r in H (e l ∈ a · a). An element a ∈ H is called an inverse of a ∈ H if e ∈ a · a ∩ a · a , for some identities in H. We denote the set of all right inverses, left inverses and inverses of a ∈ H by i r (a), i l (a), and i(a), respectively.

Definition 2. [2]
A hypergroup (H, ·) is called reversible, if the following conditions hold: (i) At least H has one identity e; (ii) every element x of H has one inverse, that is i(x) = ∅; (iv) x ∈ y · z implies that y ∈ x · z and z ∈ y · x, where z ∈ i(z) and y ∈ i(y). (i) for every x, y, z ∈ H, x + (y + z) = (x + y) + z, (ii) for every x, y ∈ H, x + y = y + x, (iii) there exists 0 ∈ H such that 0 + x = {x} for every x ∈ H, (iv) for every x ∈ H there exists a unique element x ∈ H such that 0 ∈ x + x ; (we shall write −x for x and we call it the opposite of x.) (v) z ∈ x + y implies y ∈ z − x and x ∈ z − y; for all x and y in H. We say that f is a good homomorphism if for all x and y in H, The more general hyperstructure that satisfies the ring-like conditions is the hyperring. The notion of the hyperring and hyperfield was introduced in Algebra by M. Krasner in 1956 [21]. According to the current terminology, these initial hypercompositional structures are additive hyperrings and hyperfields whose additive part is a canonical hypergroup. Nowadays such hypercompositional structures are called Krasner's hyperrings and hyperfields.
(3) The multiplication is distributive with respect to the hyperoperation +.
In [20] Krasner presented a class of hyperrings which is constructed from rings. He proved that if R is a ring and G is a normal subgroup of R s multiplicative semigroup, then the multiplicative classes x = xG, x ∈ R, form a partition of R. He also proved that the product of two such classes, as subsets of R, is a class mod G as well, while their sum is a union of such classes. Next, he proved that the set R = R G of these classes becomes a hyperring, when: Moreover, he observed that if R is a field, then R G is a hyperfield. Krasner named these hypercompositional structures quotient hyperring and quotient hyperfield, respectively. At the same time, he raised the question if there exist non-quotient hyperrings and hyperfields [20]. Massouros in [27] generalized Krasner's construction using not normal multiplicative subgroups, and proved the existence of non-quotient hyperrings and hyperfields. Since the paper deals only with Krasner's hyperfields we will write simply quotient hyperfields instead of Krasner's quotient hyperfields.

Hyperconic
The notion of hyperconics on a quotient hyperfield will be studied in this section. By the use of hyperconic QF( fĀ ,B ), we present some hyperoperations as a generalization group operations on fields. We investigate some attributes of the associated hypergroups from the hyperconics and the associated H v -groups on the hyperconics.
Let g(x, y) = ax 2 + bxy + cy 2 + dx + ey + f ∈ F[x, y] and g(x, y) = 0 be the quadratic equation of two variables in field of F. If c = 0 and equation g(x, y) = 0 still stay in quadratic and two variables or the other word c = 0 and (a, b) = 0 = (e, b), then it can be calculated as an explicit function y in terms of x, also with a change of variables, can be expressed in the form of Reduced quadratic equation of two variables ax 2 + bxy + dx + ey + f = 0 in field of F can be generalized in quotient hyperfieldF. Proof. Let (x, y) ∈ Q( fĀ ,B , F) and without losing of generality f (x) = Ax 2 + Bx. Then Definition 7. Let F be a field, x ∈ F and G be a subgroup in F * . We take Obviously, 0 −1 is an element outside of F. We denote , for all x in field of (F, +, ·).

Remark 1.
It should be noted that associativity by adding O to field of (F, +, ·) for two operations of "+" and "·" remains preserved.

Definition 8.
Let Q( fĀ ,B ,F) be a non-degenerate conic hypersection, F ∞ = F ∪ {∞} and and f a,b is meant by formal derivative f a,b . Remark 2. By adding O to hyperfield of (F, ⊕, ) associativity for two hyperoperations of "⊕" and " " remains preserved.

Definition 9.
Let Q( fĀ ,B ,F) be a non-degenerate conic hypersection then it is named hyperconic and denoted to QF( fĀ ,B ), if the following implication for all a, c ∈Ā and b, d ∈B holds: Proof. The proof is straightforward for the first two cases.
• ab is a conic group, for all (a, b) ∈Ā ×B. Notice that • ab is the group operation on the conic Q F ( f a,b ).
Example 3. Let F = Z 5 the field of order 5 , G = {±1} F * and f¯1 ,0 (x) =x 2 . Then we havē Definition 10. We introduce hyperoperation "•" on Q F ( fĀ ,B ) as follows: , associativity is evident. If this property is not met, the following cases may occur: On the other hand we have Therefore by Pascal's Theorem we have On the other word ). This case similar to (i).
On the other hand Case3. If |J| = 3. In this case we have On the other hand To prove the validity of reproduction axiom for "•" let us consider two cases: Case1. If |Ā ×B| = 1 thenF = F and Q F ( fĀ ,B ) = Q F ( f a,b ), where a ∈Ā, b ∈B also (Q F ( f a,b ), •) is a conic group, hence there is nothing to prove.

Proposition 4. Let H be a subhypergroup of Q F ( fĀ ,B ). Then H is reversible hypergroup if and only if
Notice that ∞ ∈ X • X, for all X ∈ Q F ( f i,j ) (i.e. every element is one of its inverses). t ) and this means reversibility conditions do not hold.
The class of H v -groups is more general than the class of hypergroups which is introduced by Th. Vougiouklis [39]. The hyperstructure (H, •) is called an H v −group if x • H = H = H • x, and also the weak associativity condition holds, that is x • (y • z) ∩ (x • y) • z = ∅ for all x, y, z ∈ H. In [13,14] the authors have investigated some hyperoperations denoted by• and on some main classes of curves; elliptic curves and homographics over Krasner's hyperfields. In the following, we study them on hyperconic. Consider the following hyperoperation on the hyperconic; (QF( fĀ ,B ): Proof. The proof is straightforward.

Conclusions
Conic curve cryptography (CCC) is rendering efficient digital signature schemes (CCDLP). They have a high level of security with small keys size. Let g(x, y) = ax 2 + bxy + cy 2 + dx + ey + f ∈ F[x, y] and g(x, y) = 0 be the quadratic equation of two variables in field of F, if a = c = 0 and b = 0 then the equation g(x, y) = 0 is called homographic transformation. In [14] Vahedi et. al extended this particular quadratic equation on the quotient hyperfield F G . Now suppose that ae = 0 and b = 0 in g(x, y). Then the curve is called a conic. The motivation of this paper goes in the same direction of [14]. In fact, by a similar way the notion of conic on a field extended to hyperconic over a quotient hyperfield hyperfield, as picturized in Figure 3. Notice that as one can see the group structures of these two classes of curves have different applications, the associated hyperstructures can be different in applications. In the last part of the paper a canonical hypergroup which is assigned by Q F ( f n,m ), is investigated.

Conflicts of Interest:
Authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analysis, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.