The Convolution Algebra

DOI10.1007/S00012-018-0510-3arXiv1702.02847MaRDI QIDQ6282990

John Harding, Carol Walker, Elbert Walker

Publication date: 9 February 2017

Abstract: For a complete lattice

L

and a relational structure

m a t h f r a k X = (X, (R_{i})_{I})

, we introduce the convolution algebra

L^{m a t h f r a k X}

. This algebra consists of the lattice

L^{X}

equipped with an additional

n_{i}

-ary operation

f_{i}

for each

n_{i} + 1

-ary relation

R_{i}

of

m a t h f r a k X

. For

a l p h a_{1}, l d o t s, a l p h a_{n_{i}} i n L^{X}

and

x i n X

we set

. For the 2-element lattice

2

,

2^{m} a t h f r a k X

is the reduct of the familiar complex algebra

m a t h f r a k X^{+}

obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When

L

is the reduct of a complete Heyting algebra, the operations of

L^{m} a t h f r a k X

are completely additive in each coordinate and

L^{m} a t h f r a k X

is in the variety generated by

2^{m} a t h f r a k X

. Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: The Convolution Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282990)