When D(£,, 8, ) is nonnegative (which can be guaranteed by a simple restriction on the differential operator of the Sturm-Liouville problem), it is possible to define a convolution with respect to which M[0, n] becomes a Banach algebra with the functions Uk(Ç)/uo(Ç) as its characters. In fact this measure algebra is a Jacobi type hypergroup. It is possible to completely describe the maximal ideal space and idempotents of this measure algebra.