Patrik Lundström

Separable groupoid rings

We show that groupoid rings are separable over their ring of coefficients if and only if the groupoid is finite and the orders of the associated principal groups are invertible in the ring of coefficients. We use this to show that if we are given a finite groupoid, then the associated groupoid ring is semisimple (or hereditary) if and only if the ring of coefficients is semisimple (or hereditary) and the orders of the principal groups are invertible in the ring of coefficients. To this end, we extend parts of the theory of graded rings and modules from the group graded case to the category graded, and, hence, groupoid graded situation. In particular, we show that strongly groupoid graded rings are separable over their principal components if and only if the image of the trace map contains the identity.

The Ideal Intersection Property for Groupoid Graded Rings

We show that, if a groupoid graded ring has a grading satisfying a certain nondegeneracy property, then the commutant of the center of the principal component of the ring has the ideal intersection property, that is it intersects nontrivially every nonzero ideal of the ring. Furthermore, we show that for skew groupoid algebras with commutative principal component, the principal component is maximal commutative if and only if it has the ideal intersection property.We show that if a groupoid graded ring has a grading satisfying a certain nondegeneracy property, then the commutant of the center of the principal component of the ring has the ideal intersection property, that is it intersects nontrivially every nonzero ideal of the ring. Furthermore, we show that for skew groupoid algebras with commutative principal component, the principal component is maximal commutative if and only if it has the ideal intersection property.

Skew category algebras associated with partially defined dynamical systems

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 Top^op and show that it defines what we call a ske ...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 Top 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, that is if I is a nonzero ideal of A ⋊ G, then I ∩ A 6= {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.

Good Magma Gradings on Rings

Suppose that G and H are magmas and that R is a strongly G-graded ring. We show that there is a bijection between the set of good (zero) H-gradings of R and the set of (zero) magma homomorphisms from G to H. Thereby we generalize a result by Dăscălescu, Ion, Năstăsescu, and Rios Montes from group gradings of matrix rings to strongly magma graded rings. We also show that there is an isomorphism between the preordered set of good (zero) H-filters on R and the preordered set of (zero) submagmas of G × H. These results are applied to category graded rings and, in particular, to the case when G and H are groupoids. In the latter case, we use this bijection to determine the cardinality of the set of good H-gradings on R.