TY - JOUR

T1 - Skew category algebras associated with partially defined dynamical systems.

AU - Lundström, Patrik

AU - Öinert, Per Johan

PY - 2012

Y1 - 2012

N2 - We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor s from a category G to Topop and show that it defines what we call a skew category algebra A ⋊σ G. We study the connection between topological freeness of s and, on the one hand, ideal properties of A ⋊σ G and, on the other hand, maximal commutativity of A in A ⋊σ G. In particular, we show that if G is a groupoid and for each e ∈ ob(G) the group of all morphisms e → e is countable and the topological space s(e) is Tychonoff and Baire. Then the following assertions are equivalent: (i) s is topologically free; (ii) A has the ideal intersection property, i.e. if I is a nonzero ideal of A ⋊σ G, then I ∩ A ≠ {0}; (iii) the ring A is a maximal abelian complex subalgebra of A ⋊σ G. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.

AB - We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor s from a category G to Topop and show that it defines what we call a skew category algebra A ⋊σ G. We study the connection between topological freeness of s and, on the one hand, ideal properties of A ⋊σ G and, on the other hand, maximal commutativity of A in A ⋊σ G. In particular, we show that if G is a groupoid and for each e ∈ ob(G) the group of all morphisms e → e is countable and the topological space s(e) is Tychonoff and Baire. Then the following assertions are equivalent: (i) s is topologically free; (ii) A has the ideal intersection property, i.e. if I is a nonzero ideal of A ⋊σ G, then I ∩ A ≠ {0}; (iii) the ring A is a maximal abelian complex subalgebra of A ⋊σ G. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.

U2 - 10.1142/S0129167X12500401

DO - 10.1142/S0129167X12500401

M3 - Journal article

VL - 23

JO - International Journal of Mathematics

JF - International Journal of Mathematics

SN - 0129-167X

IS - 4

M1 - 1250040

ER -