Let
be a semigroup and
a positive real-valued function on
such that
. If
is the set of all complex-valued functions
on
for which
,
then
with the usual pointwise addition, scalar multiplication, the product (convolution)
(if
has no solutions, we assume
), and with the norm
is a Banach
algebra.
If ,
then
is called discrete semi-group algebra. Moreover if
is a group then
is the discrete group algebra
.