Polyadic Analogs of Direct Product

on direct sums of baer modules

the notion of baer modules was defined recently

A Polyadic Modal -calculus a Polyadic Modal -calculus

The propositional-calculus of Kozen extends modal logic with xed points to achieve a powerful logic for expressing temporal properties of systems modelled by labelled transition systems. We further extend Kozen's logic with polyadic modalities to allow for expressing also quite naturally behavioural relations like bisimula-tion equivalence and simulation preorders. We show that the problem of m...

Polyadic Stochastic Cows

A tensor product approach to the abstract partial fourier transforms over semi-direct product groups

In this article, by using a partial on locally compact semi-direct product groups, we present a compatible extension of the Fourier transform. As a consequence, we extend the fundamental theorems of Abelian Fourier transform to non-Abelian case.

On Direct Product Subgroups

Let G1 × G2 be a subgroup of SO3(R) such that the two factors G1 and G2 are non-trivial groups. We show that if G1 × G2 is not abelian, then one factor is the (abelian) group of order 2, and the other factor is nonabelian and contains an element of order 2. There exist finite and infinite such non-abelian subgroups. Let F2 be the free group of rank 2. It is well-known that the group SO3(R) has ...