Let $K$ be a locally compact hypergroup with left Haar measure and let $L^1(K)$ be the complex Lebesgue space associated with it. Let $L^infty(K)$ be the dual of $L^1(K)$. The purpose of this paper is to present some necessary and sufficient conditions for $L^infty(K)^*$ to have a topologically left invariant mean. Some characterizations of amenable hypergroups are given.

In this paper we study random walks on the hypergroup of circles in a finite field of prime order p = 4l+ 3. We investigate the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use two different approaches—comparison of Dirichlet Forms (geometric bound of eigenvalues), and coupling methods, to show that the mixing time of random walks on hypergr...

In this paper we study random walks on the hypergroup of conics in finite fields. We investigate the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use the coupling method to show that the mixing time of random walks on hypergroup of conics is only linear. Mathematics Subject Classifications: 60D05, 11A99. Keywoords: random walks, hypergroups,...

Our interest in this paper is to define and study the concept of a fuzzy hypergroup, which depends on the concept of a fuzzy space. Indeed, the paper is a continuation of ideas presented by Davvaz [Fuzzy Sets and Systems, 101 (1999) 191-195]. A relation between a fuzzy hypergroup based on a fuzzy space and a fuzzy hypergroup in the sense of Davvaz is obtained 2010 AMS Classification: 20N20

This paper is the results of the ideas suggested by P. Corsini in his paper [10]. Our investigations take in account the paper [13] of I. Cristea. We study the hypergroup generated by the cosets modulo a subgroup (normal subgroup). We prove that (G/H, ◦4) is a complete hypergroup. We take many particular examples to illustrate some known results on hypergroups. Keyword: fuzzy sets, hypergroups,...

A homomorphism of a hypergroup (H, ◦) is a function f : H → H satisfying f(x ◦ y) ⊆ f(x) ◦ f(y) for all x, y ∈ H. A homomorphism of a hypergroup (H, ◦) is called an epimorphism if f(H) = H. Denote by Hom(H, ◦) and Epi(H, ◦) the set of all homomorphisms and the set of all epimorphisms of a hypergroup (H, ◦), respectively. In this paper, the elements of Hom(Zn, ◦m) and Epi(Zn, ◦m) are characteriz...

This paper is concerned with actions of finite hypergroups on sets. After introducing the definitions in the first section, we use the notion of ‘maximal actions’ to characterise those hypergroups which arise from association schemes, introduce the natural sub-class of *-actions of a hypergroup and introduce a geometric condition for the existence of *-actions of a Hermitian hypergroup. Followi...

A discrete DJS-hypergroup is constructed in connection with the linearization formula for the product of two spherical elements for a quantum Gelfand pair of two compact quantum groups. A similar construction is discussed for the case of a generalized quantum Gelfand pair, where the role of the quantum subgroup is taken over by a two-sided coideal in the dual Hopf algebra. The paper starts with...

measure always exists on a commutative hypergroup K, and there always exists a 'Plancherel measure' on the dual space K of equivalence classes of irreducible representations of K, with respect to which Plancherel's formula holds for Fourier transforms. In contrast with the case of a locally compact abelian group, however, the Plancherel measure is not necessarily a Haar measure on K, and K need...

Let G be a locally compact hypergroup and let K sub-hypergroup of G. (G, K) is Gelfand pair if Mc(G//K), the algebra measures with support on double coset G//K, commutative for convolution. In this paper, assuming that pair, we define study Fourier transform then establish Plancherel theorem K).