schneider-teitelbaum duality for locally profinite groups

We define monoidal structures on several categories of linear topological modules over the valuation ring of a local field, and study module theory with respect to the monoidal structures. we extend the notion of the iwasawa algebra to a locally profinite group as a monoid with respect to one of the monoidal structure, which does not necessarily form a topological algebra. this is one of the main reasons why we need monoidal structures. we extend schneider-teitelbaum duality to duality applicable to a locally profinite group through the module theory over the generalised iwasawa algebra, and give a criterion of the irreducibility of a unitary banach representation.