Showing 1–42 of 42 results for author: Öinert, J

The rank condition and strong rank conditions for Ore extensions

Authors: Karl Lorensen, Johan Öinert

Abstract: Let $R$ be a ring, $σ:R\to R$ a ring endomorphism, and $δ:R\to R$ a $σ$-derivation. We establish that the Ore extension $R[x;σ,δ]$ satisfies the rank condition if and only if $R$ does. In addition, we prove analogous results for the right and left strong rank conditions. However, in the right case, the ``if" part requires the hypothesis that $σ$ is an automorphism, whereas, in the left case, this… ▽ More Let $R$ be a ring, $σ:R\to R$ a ring endomorphism, and $δ:R\to R$ a $σ$-derivation. We establish that the Ore extension $R[x;σ,δ]$ satisfies the rank condition if and only if $R$ does. In addition, we prove analogous results for the right and left strong rank conditions. However, in the right case, the ``if" part requires the hypothesis that $σ$ is an automorphism, whereas, in the left case, this assumption is needed for the ``only if" part. Finally, we provide a new proof of an old result of Susan Montgomery stating that a skew power series ring is directly (respectively, stably) finite if and only if its coefficient ring is directly (respectively, stably) finite. △ Less

Submitted 27 May, 2025; originally announced May 2025.

MSC Class: 16P99; 16S32; 16S36; 16S99; 16W25; 16W70

Ore Extensions of Abelian Groups with Operators

Authors: Per Bäck, Patrik Lundström, Johan Öinert, Johan Richter

Abstract: Given a set $A$ and an abelian group $B$ with operators in $A$, in the sense of Krull and Noether, we introduce the Ore group extension $B[x ; δ_B , σ_B]$ as the additive group $B[x]$, with $A[x]$ as a set of operators. Here, the action of $A[x]$ on $B[x]$ is defined by mimicking the multiplication used in the classical case where $A$ and $B$ are the same ring. We derive generalizations of Vanderm… ▽ More Given a set $A$ and an abelian group $B$ with operators in $A$, in the sense of Krull and Noether, we introduce the Ore group extension $B[x ; δ_B , σ_B]$ as the additive group $B[x]$, with $A[x]$ as a set of operators. Here, the action of $A[x]$ on $B[x]$ is defined by mimicking the multiplication used in the classical case where $A$ and $B$ are the same ring. We derive generalizations of Vandermonde's and Leibniz's identities for this construction, and they are then used to establish associativity criteria. Additionally, we prove a version of Hilbert's basis theorem for this structure, under the assumption that the action of $A$ on $B$ is what we call weakly $s$-unital. Finally, we apply these results to the case where $B$ is a left module over a ring $A$, and specifically to the case where $A$ and $B$ coincide with a non-associative ring which is left distributive but not necessarily right distributive. △ Less

Submitted 20 November, 2024; v1 submitted 22 October, 2024; originally announced October 2024.

MSC Class: 16S36; 16W22; 16W70; 17A99; 17D99; 20K27

Rank conditions and amenability for rings associated to graphs

Authors: Karl Lorensen, Johan Öinert

Abstract: We study path rings, Cohn path rings, and Leavitt path rings associated to directed graphs, with coefficients in an arbitrary ring $R$. For each of these types of rings, we stipulate conditions on the graph that are necessary and sufficient to ensure that the ring satisfies either the rank condition or the strong rank condition whenever $R$ enjoys the same property. In addition, we apply our resul… ▽ More We study path rings, Cohn path rings, and Leavitt path rings associated to directed graphs, with coefficients in an arbitrary ring $R$. For each of these types of rings, we stipulate conditions on the graph that are necessary and sufficient to ensure that the ring satisfies either the rank condition or the strong rank condition whenever $R$ enjoys the same property. In addition, we apply our result for path rings and the strong rank condition to characterize the graphs that give rise to amenable path algebras and exhaustively amenable path algebras. △ Less

Submitted 21 April, 2024; v1 submitted 10 April, 2024; originally announced April 2024.

Comments: A few minor changes in the second version

MSC Class: 16P99; 16S88; 43A05; 43A07

Very good gradings on matrix rings are epsilon-strong

Authors: Patrik Lundström, Johan Öinert, Laura Orozco, Héctor Pinedo

Abstract: We investigate properties of group gradings on matrix rings $M_n(R)$, where $R$ is an associative unital ring and $n$ is a positive integer. More precisely, we introduce very good gradings and show that any very good grading on $M_n(R)$ is necessarily epsilon-strong. We also identify a condition that is sufficient to guarantee that $M_n(R)$ is an epsilon-crossed product, i.e. isomorphic to a cross… ▽ More We investigate properties of group gradings on matrix rings $M_n(R)$, where $R$ is an associative unital ring and $n$ is a positive integer. More precisely, we introduce very good gradings and show that any very good grading on $M_n(R)$ is necessarily epsilon-strong. We also identify a condition that is sufficient to guarantee that $M_n(R)$ is an epsilon-crossed product, i.e. isomorphic to a crossed product associated with a unital twisted partial action. In the case where $R$ has IBN, we are able to provide a characterization of when $M_n(R)$ is an epsilon-crossed product. Our results are illustrated by several examples. △ Less

Submitted 5 September, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 9 pages

MSC Class: 16S50; 16W50

Prime groupoid graded rings with applications to partial skew groupoid rings

Authors: Paula S. E. Moreira, Johan Öinert

Abstract: In this paper, we investigate primeness of groupoid graded rings. We provide a set of necessary and sufficient conditions for primeness of a nearly-epsilon strongly groupoid graded ring. Furthermore, we apply our main result to get a characterization of prime partial skew groupoid rings, and in particular of prime groupoid rings, thereby generalizing a classical result by Connell and partially gen… ▽ More In this paper, we investigate primeness of groupoid graded rings. We provide a set of necessary and sufficient conditions for primeness of a nearly-epsilon strongly groupoid graded ring. Furthermore, we apply our main result to get a characterization of prime partial skew groupoid rings, and in particular of prime groupoid rings, thereby generalizing a classical result by Connell and partially generalizing recent results by Steinberg. △ Less

Submitted 21 December, 2022; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 20 pages. Improved version. Added references

MSC Class: 16W50; 16N60; 16S35; 16S99; 18B40

The ideal structure of partial skew groupoid rings with applications to topological dynamics and ultragraph algebras

Authors: Dirceu Bagio, Daniel Gonçalves, Paula Savana Estácio Moreira, Johan Öinert

Abstract: Given a partial action $α$ of a groupoid $G$ on a ring $R$, we study the associated partial skew groupoid ring $R \rtimes_α G$, which carries a natural $G$-grading. We show that there is a one-to-one correspondence between the $G$-invariant ideals of $R$ and the graded ideals of the $G$-graded ring $R \rtimes_αG.$ We provide sufficient conditions for primeness, and necessary and sufficient conditi… ▽ More Given a partial action $α$ of a groupoid $G$ on a ring $R$, we study the associated partial skew groupoid ring $R \rtimes_α G$, which carries a natural $G$-grading. We show that there is a one-to-one correspondence between the $G$-invariant ideals of $R$ and the graded ideals of the $G$-graded ring $R \rtimes_αG.$ We provide sufficient conditions for primeness, and necessary and sufficient conditions for simplicity of $R \rtimes_αG.$ We show that every ideal of $R \rtimes_αG$ is graded if, and only if, $α$ has the residual intersection property. Furthermore, if $α$ is induced by a topological partial action $θ$, then we prove that minimality of $θ$ is equivalent to $G$-simplicity of $R$, topological transitivity of $θ$ is equivalent to $G$-primeness of $R$, and topological freeness of $θ$ on every closed invariant subset of the underlying topological space is equivalent to $α$ having the residual intersection property. As an application, we characterize condition (K) for an ultragraph in terms of topological properties of the associated partial action and in terms of algebraic properties of the associated ultragraph algebra. △ Less

Submitted 13 December, 2022; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: 39 pages. Added references

MSC Class: 16S35; 16S99; 20L05; 16N60; 16W22; 16W50; 16S88

Simplicity of Leavitt path algebras via graded ring theory

Authors: Patrik Lundström, Johan Öinert

Abstract: Suppose that $R$ is an associative unital ring and that $E=(E^0,E^1,r,s)$ is a directed graph. Utilizing results from graded ring theory we show, that the associated Leavitt path algebra $L_R(E)$ is simple if and only if $R$ is simple, $E^0$ has no nontrivial hereditary and saturated subset, and every cycle in $E$ has an exit. We also give a complete description of the center of a simple Leavitt p… ▽ More Suppose that $R$ is an associative unital ring and that $E=(E^0,E^1,r,s)$ is a directed graph. Utilizing results from graded ring theory we show, that the associated Leavitt path algebra $L_R(E)$ is simple if and only if $R$ is simple, $E^0$ has no nontrivial hereditary and saturated subset, and every cycle in $E$ has an exit. We also give a complete description of the center of a simple Leavitt path algebra. △ Less

Submitted 1 December, 2022; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 10 pages. From v1 to v2: Added references and updated Section 1

MSC Class: 16S88; 16W50

Pure semisimple and Köthe group rings

Authors: Samaneh Baghdari, Johan Öinert

Abstract: In this article we provide a complete characterization of abelian group rings which are Köthe rings. We also provide characterizations of (possibly non-abelian) group rings over division rings which are Köthe rings, both in characteristic zero and in prime characteristic, and prove a Maschke type result for pure semisimplicity of group rings. Furthermore, we illustrate our results by several examp… ▽ More In this article we provide a complete characterization of abelian group rings which are Köthe rings. We also provide characterizations of (possibly non-abelian) group rings over division rings which are Köthe rings, both in characteristic zero and in prime characteristic, and prove a Maschke type result for pure semisimplicity of group rings. Furthermore, we illustrate our results by several examples. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Comments: 13 pages

MSC Class: 16S34; 16D70; 16P20

Non-Abelian extensions of groupoids and their groupoid rings

Authors: Natã Machado, Johan Öinert, Stefan Wagner

Abstract: We present a geometrically oriented classification theory for non-Abelian extensions of groupoids generalizing the classification theory for Abelian extensions of groupoids by Westman as well as the familiar classification theory for non-Abelian extensions of groups by Schreier and Eilenberg-MacLane. As an application of our techniques we demonstrate that each extension of groupoids… ▽ More We present a geometrically oriented classification theory for non-Abelian extensions of groupoids generalizing the classification theory for Abelian extensions of groupoids by Westman as well as the familiar classification theory for non-Abelian extensions of groups by Schreier and Eilenberg-MacLane. As an application of our techniques we demonstrate that each extension of groupoids $\mathcal{N} \to \mathcal{E} \to \mathcal{G}$ gives rise to a groupoid crossed product of $\mathcal{G}$ by the groupoid ring of $\mathcal{N}$ which recovers the groupoid ring of $\mathcal{E}$ up to isomorphism. Furthermore, we make the somewhat surprising observation that our classification methods naturally transfer to the class of groupoid crossed products, thus providing a classification theory for this class of rings. Our study is motivated by the search for natural examples of groupoid crossed products. △ Less

Submitted 11 August, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: Minor changes. 27 pages

MSC Class: 20L05; 16S35; 16S99 (Primary) 16E40; 16W50 (Secondary)

Graded von Neumann regularity of rings graded by semigroups

Authors: Daniel Lännström, Johan Öinert

Abstract: In this article, we give a complete characterization of semigroup graded rings which are graded von Neumann regular. We also demonstrate our results by applying them to several classes of examples, including matrix rings and groupoid graded rings. In this article, we give a complete characterization of semigroup graded rings which are graded von Neumann regular. We also demonstrate our results by applying them to several classes of examples, including matrix rings and groupoid graded rings. △ Less

Submitted 29 November, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 9 pages. Minor corrections from v1

MSC Class: 16W50; 16E50

Non-unital Ore extensions

Authors: Patrik Lundström, Johan Öinert, Johan Richter

Abstract: In this article, we study Ore extensions of non-unital associative rings. We provide a characterization of simple non-unital differential polynomial rings $R[x;δ]$, under the hypothesis that $R$ is $s$-unital and $\ker(δ)$ contains a nonzero idempotent. This result generalizes a result by Öinert, Richter and Silvestrov from the unital setting. We also present a family of examples of simple non-uni… ▽ More In this article, we study Ore extensions of non-unital associative rings. We provide a characterization of simple non-unital differential polynomial rings $R[x;δ]$, under the hypothesis that $R$ is $s$-unital and $\ker(δ)$ contains a nonzero idempotent. This result generalizes a result by Öinert, Richter and Silvestrov from the unital setting. We also present a family of examples of simple non-unital differential polynomial rings. △ Less

Submitted 20 July, 2022; v1 submitted 10 June, 2022; originally announced June 2022.

MSC Class: 16S32; 16S36; 16S99; 16W70; 16U70

Generating numbers of rings graded by amenable and supramenable groups

Authors: Karl Lorensen, Johan Öinert

Abstract: A ring $R$ has {\it unbounded generating number} (UGN) if, for every positive integer $n$, there is no $R$-module epimorphism $R^n\to R^{n+1}$. For a ring $R=\bigoplus_{g\in G} R_g$ graded by a group $G$ such that the base ring $R_1$ has UGN, we identify several sets of conditions under which $R$ must also have UGN. The most important of these are: (1) $G$ is amenable, and there is a positive inte… ▽ More A ring $R$ has {\it unbounded generating number} (UGN) if, for every positive integer $n$, there is no $R$-module epimorphism $R^n\to R^{n+1}$. For a ring $R=\bigoplus_{g\in G} R_g$ graded by a group $G$ such that the base ring $R_1$ has UGN, we identify several sets of conditions under which $R$ must also have UGN. The most important of these are: (1) $G$ is amenable, and there is a positive integer $r$ such that, for every $g\in G$, $R_g\cong (R_1)^i$ as $R_1$-modules for some $i=1,\dots,r$; (2) $G$ is supramenable, and there is a positive integer $r$ such that, for every $g\in G$, $R_g\cong (R_1)^i$ as $R_1$-modules for some $i=0,\dots,r$. The pair of conditions (1) leads to three different ring-theoretic characterizations of the property of amenability for groups. We also consider rings that do not have UGN; for such a ring $R$, the smallest positive integer $n$ such that there is an $R$-module epimorphism $R^n\to R^{n+1}$ is called the {\it generating number} of $R$, denoted ${\rm gn}(R)$. If $R$ has UGN, then we define ${\rm gn}(R):=\aleph_0$. We describe several classes of examples of a ring $R$ graded by an amenable group $G$ such that ${\rm gn}(R)\neq {\rm gn}(R_1)$. △ Less

Submitted 15 September, 2023; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: The paper has been substantially revised in light of the comments provided by an anonymous referee. In particular, it is now recognized that the main results only hold for boundedly free gradings. This is shown by Theorem 4.1, asserting the existence of a BGN ring with an unboundedly free grading by the integers whose base ring has UGN. To appear in J. London Math. Soc

MSC Class: 16P99; 16S35; 16W50; 16D90; 20F65; 43A07

Prime group graded rings with applications to partial crossed products and Leavitt path algebras

Authors: Daniel Lännström, Patrik Lundström, Johan Öinert, Stefan Wagner

Abstract: In this article we generalize a classical result by Passman on primeness of unital strongly group graded rings to the class of nearly epsilon-strongly group graded rings which are not necessarily unital. Using this result, we obtain (i) a characterization of prime $s$-unital strongly group graded rings, and, in particular, of infinite matrix rings and of group rings over $s$-unital rings, thereby… ▽ More In this article we generalize a classical result by Passman on primeness of unital strongly group graded rings to the class of nearly epsilon-strongly group graded rings which are not necessarily unital. Using this result, we obtain (i) a characterization of prime $s$-unital strongly group graded rings, and, in particular, of infinite matrix rings and of group rings over $s$-unital rings, thereby generalizing a well-known result by Connell; (ii) characterizations of prime $s$-unital partial skew group rings and of prime unital partial crossed products; (iii) a generalization of the well-known characterizations of prime Leavitt path algebras, by Larki and by Abrams-Bell-Rangaswamy. △ Less

Submitted 31 May, 2021; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: 45 pages; added reference [4]

MSC Class: 16W50; 16N60; 16S88; 16S35

Strongly graded Leavitt path algebras

Authors: Patrik Lundström, Johan Öinert

Abstract: Let $R$ be a unital ring, let $E$ be a directed graph and recall that the Leavitt path algebra $L_R(E)$ carries a natural $\mathbb{Z}$-gradation. We show that $L_R(E)$ is strongly $\mathbb{Z}$-graded if and only if $E$ is row-finite, has no sink, and satisfies Condition (Y). Our result generalizes a recent result by Clark, Hazrat and Rigby, and the proof is short and self-contained. Let $R$ be a unital ring, let $E$ be a directed graph and recall that the Leavitt path algebra $L_R(E)$ carries a natural $\mathbb{Z}$-gradation. We show that $L_R(E)$ is strongly $\mathbb{Z}$-graded if and only if $E$ is row-finite, has no sink, and satisfies Condition (Y). Our result generalizes a recent result by Clark, Hazrat and Rigby, and the proof is short and self-contained. △ Less

Submitted 20 January, 2021; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 9 pages. Version 3: Minor improvements. Updated the last name of the first author

MSC Class: 16S99; 16W50

Units, zero-divisors and idempotents in rings graded by torsion-free groups

Authors: Johan Öinert

Abstract: The three famous problems concerning units, zero-divisors and idempotents in group rings of torsion-free groups, commonly attributed to I. Kaplansky, have been around for more than 60 years and still remain open in characteristic zero. In this article, we introduce the corresponding problems in the considerably more general context of arbitrary rings graded by torsion-free groups. For natural reas… ▽ More The three famous problems concerning units, zero-divisors and idempotents in group rings of torsion-free groups, commonly attributed to I. Kaplansky, have been around for more than 60 years and still remain open in characteristic zero. In this article, we introduce the corresponding problems in the considerably more general context of arbitrary rings graded by torsion-free groups. For natural reasons, we will restrict our attention to rings without non-trivial homogeneous zero-divisors with respect to the given grading. We provide a partial solution to the extended problems by solving them for rings graded by unique product groups. We also show that the extended problems exhibit the same (potential) hierarchy as the classical problems for group rings. Furthermore, a ring which is graded by an arbitrary torsion-free group is shown to be indecomposable, and to have no non-trivial central zero-divisor and no non-homogeneous central unit. We also present generalizations of the classical group ring conjectures. △ Less

Submitted 20 July, 2023; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 17 pages. Changes from v2: Improved presentation and addition of recent papers to the list of references

MSC Class: 16W50; 16S34; 16S35; 20F99; 16U40; 16U60; 16U70; 16U99

Complex group rings and group C*-algebras of group extensions

Authors: Johan Öinert, Stefan Wagner

Abstract: Let $N$ and $H$ be groups, and let $G$ be an extension of $H$ by $N$. In this article we describe the structure of the complex group ring of $G$ in terms of data associated with $N$ and $H$. In particular, we present conditions on the building blocks $N$ and $H$ guaranteeing that $G$ satisfies the zero-divisor and idempotent conjectures. Moreover, for central extensions involving amenable groups w… ▽ More Let $N$ and $H$ be groups, and let $G$ be an extension of $H$ by $N$. In this article we describe the structure of the complex group ring of $G$ in terms of data associated with $N$ and $H$. In particular, we present conditions on the building blocks $N$ and $H$ guaranteeing that $G$ satisfies the zero-divisor and idempotent conjectures. Moreover, for central extensions involving amenable groups we present conditions on the building blocks guaranteeing that the Kadison-Kaplansky conjecture holds for the group C*-algebra of $G$. △ Less

Submitted 28 February, 2022; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 11 pages

MSC Class: 16S34; 16S35; 20C07; 20E22

Epsilon-strongly groupoid graded rings, the Picard inverse category and cohomology

Authors: Patrik Nystedt, Johan Öinert, Héctor Pinedo

Abstract: We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call, generalized epsilon-crossed products and show that these coincide with the class of epsilon-strongly groupoid graded rings. We then use generalized epsilon-crosse… ▽ More We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call, generalized epsilon-crossed products and show that these coincide with the class of epsilon-strongly groupoid graded rings. We then use generalized epsilon-crossed groupoid products to obtain a generalization, from the group graded situation to the groupoid graded case, of the bijection from a certain second cohomology group, defined by the grading and the functor from the groupoid in question to the Picard inverse category, to the collection of equivalence classes of rings epsilon-strongly graded by the groupoid. △ Less

Submitted 12 December, 2018; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: 31 pages

MSC Class: 16W50; 16E99; 16D99; 14C22

Simplicity of skew inverse semigroup rings with applications to Steinberg algebras and topological dynamics

Authors: Viviane Beuter, Daniel Gonçalves, Johan Öinert, Danilo Royer

Abstract: Given a partial action $π$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} \rtimes_πS$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A} \rtimes_πS$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A} \rtimes_πS$ and $\mathcal{A}$ is $S$-simple.… ▽ More Given a partial action $π$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} \rtimes_πS$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A} \rtimes_πS$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A} \rtimes_πS$ and $\mathcal{A}$ is $S$-simple. We apply this result in the context of topological inverse semigroup actions to connect simplicity of the associated skew inverse semigroup ring with topological properties of the action. Furthermore, we use our result to present a new proof of the simplicity criterion for a Steinberg algebra $A_R(\mathcal{G})$ associated with a Hausdorff and ample groupoid $\mathcal{G}$. △ Less

Submitted 28 August, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

MSC Class: 16S99; 16W22; 16W55; 22A22; 37B05

Simplicity of Ore monoid rings

Authors: Patrik Nystedt, Johan Öinert, Johan Richter

Abstract: Given a non-associative unital ring $R$, a monoid $G$ and a set $π$ of additive maps $R \rightarrow R$, we introduce the Ore monoid ring $R[π; G]$, and, in a special case, the differential monoid ring. We show that these structures generalize, in a natural way, not only the classical Ore extensions and differential polynomial rings, but also the constructions, introduced by Cojuhari, defined by so… ▽ More Given a non-associative unital ring $R$, a monoid $G$ and a set $π$ of additive maps $R \rightarrow R$, we introduce the Ore monoid ring $R[π; G]$, and, in a special case, the differential monoid ring. We show that these structures generalize, in a natural way, not only the classical Ore extensions and differential polynomial rings, but also the constructions, introduced by Cojuhari, defined by so-called $D$-structures $π$. Moreover, for commutative monoids, we give necessary and sufficient conditions for differential monoid rings to be simple. We use this in a special case to obtain new and shorter proofs of classical simplicity results for differential polynomial rings in several variables previously obtained by Voskoglou and Malm by other means. We also give examples of new Ore-like structures defined by finite commutative monoids. △ Less

Submitted 12 April, 2019; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 16 pages. To appear in Journal of Algebra

MSC Class: 17D99; 17A36; 17A99

Group gradations on Leavitt path algebras

Authors: Patrik Nystedt, Johan Öinert

Abstract: Given a directed graph $E$ and an associative unital ring $R$ one may define the Leavitt path algebra with coefficients in $R$, denoted by $L_R(E)$. For an arbitrary group $G$, $L_R(E)$ can be viewed as a $G$-graded ring. In this article, we show that $L_R(E)$ is always nearly epsilon-strongly $G$-graded. We also show that if $E$ is finite, then $L_R(E)$ is epsilon-strongly $G$-graded. We present… ▽ More Given a directed graph $E$ and an associative unital ring $R$ one may define the Leavitt path algebra with coefficients in $R$, denoted by $L_R(E)$. For an arbitrary group $G$, $L_R(E)$ can be viewed as a $G$-graded ring. In this article, we show that $L_R(E)$ is always nearly epsilon-strongly $G$-graded. We also show that if $E$ is finite, then $L_R(E)$ is epsilon-strongly $G$-graded. We present a new proof of Hazrat's characterization of strongly $\mathbb{Z}$-graded Leavitt path algebras, when $E$ is finite. Moreover, if $E$ is row-finite and has no source, then we show that $L_R(E)$ is strongly $\mathbb{Z}$-graded if and only if $E$ has no sink. We also use a result concerning Frobenius epsilon-strongly $G$-graded rings, where $G$ is finite, to obtain criteria which ensure that $L_R(E)$ is Frobenius over its identity component. △ Less

Submitted 19 June, 2019; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: 13 pages. Changes from v2: The title has been changed and sections 5 and 6 have been added

MSC Class: 16S99; 16W50

Simple graded rings, non-associative crossed products and Cayley-Dickson doublings

Authors: Patrik Nystedt, Johan Öinert

Abstract: We show that if a non-associative unital ring is graded by a hypercentral group, then the ring is simple if and only if it is graded simple and the center of the ring is a field. Thereby, we extend a result by Jespers to a non-associative setting. By applying this result to non-associative crossed products, we obtain non-associative analogues of results by Bell, Jordan and Voskoglou. We also apply… ▽ More We show that if a non-associative unital ring is graded by a hypercentral group, then the ring is simple if and only if it is graded simple and the center of the ring is a field. Thereby, we extend a result by Jespers to a non-associative setting. By applying this result to non-associative crossed products, we obtain non-associative analogues of results by Bell, Jordan and Voskoglou. We also apply our result to Cayley-Dickson doublings, thereby obtaining a new proof of a classical result by McCrimmon. △ Less

Submitted 19 March, 2019; v1 submitted 12 October, 2016; originally announced October 2016.

Comments: 20 pages

MSC Class: 17A99; 17D99; 16W50; 16S35

Bimodules in group graded rings

Authors: Johan Öinert

Abstract: In this article we introduce the notion of a controlled group graded ring. Let $G$ be a group, with identity element $e$, and let $R=\oplus_{g\in G} R_g$ be a unital $G$-graded ring. We say that $R$ is $G$-controlled if there is a one-to-one correspondence between subsets of the group $G$ and (mutually non-isomorphic) $R_e$-bimodules in $R$, given by $G \supseteq H \mapsto \oplus_{h\in H} R_h$. Fo… ▽ More In this article we introduce the notion of a controlled group graded ring. Let $G$ be a group, with identity element $e$, and let $R=\oplus_{g\in G} R_g$ be a unital $G$-graded ring. We say that $R$ is $G$-controlled if there is a one-to-one correspondence between subsets of the group $G$ and (mutually non-isomorphic) $R_e$-bimodules in $R$, given by $G \supseteq H \mapsto \oplus_{h\in H} R_h$. For strongly $G$-graded rings, the property of being $G$-controlled is stronger than that of being simple. We provide necessary and sufficient conditions for a general $G$-graded ring to be $G$-controlled. We also give a characterization of strongly $G$-graded rings which are $G$-controlled. As an application of our main results we give a description of all intermediate subrings $T$ with $R_e \subseteq T \subseteq R$ of a $G$-controlled strongly $G$-graded ring $R$. Our results generalize results for artinian skew group rings which were shown by Azumaya 70 years ago. In the special case of skew group rings we obtain an algebraic analogue of a recent result by Cameron and Smith on bimodules in crossed products of von Neumann algebras. △ Less

Submitted 9 January, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: 12 pages (Updated the proofs of Lemma 3.2 and Proposition 3.3.)

MSC Class: 16S35; 16W50; 16D40

Quasi-duo differential polynomial rings

Authors: Mai Hoang Bien, Johan Öinert

Abstract: In this article we give a characterization of left (right) quasi-duo differential polynomial rings. In particular, we show that a differential polynomial ring is left quasi-duo if and only if it is right quasi-duo. This yields a partial answer to a question posed by Lam and Dugas in 2005. We provide non-trivial examples of such rings and give a complete description of the maximal ideals of an arbi… ▽ More In this article we give a characterization of left (right) quasi-duo differential polynomial rings. In particular, we show that a differential polynomial ring is left quasi-duo if and only if it is right quasi-duo. This yields a partial answer to a question posed by Lam and Dugas in 2005. We provide non-trivial examples of such rings and give a complete description of the maximal ideals of an arbitrary quasi-duo differential polynomial ring. Moreover, we show that there is no left (right) quasi-duo differential polynomial ring in several indeterminates. △ Less

Submitted 1 January, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 10 pages

MSC Class: 16S32; 16W70; 16D25

Epsilon-strongly graded rings, separability and semisimplicity

Authors: Patrik Nystedt, Johan Öinert, Héctor Pinedo

Abstract: We introduce the class of epsilon-strongly graded rings and show that it properly contains both the class of strongly graded rings and the class of unital partial crossed products. We determine precisely when an epsilon-strongly graded ring is separable over its principal component. Thereby, we simultaneously generalize a result for strongly group graded rings by Nastasescu, Van den Bergh and Van… ▽ More We introduce the class of epsilon-strongly graded rings and show that it properly contains both the class of strongly graded rings and the class of unital partial crossed products. We determine precisely when an epsilon-strongly graded ring is separable over its principal component. Thereby, we simultaneously generalize a result for strongly group graded rings by Nastasescu, Van den Bergh and Van Oystaeyen, and a result for unital partial crossed products by Bagio, Lazzarin and Paques. We also show that the class of unital partial crossed products appear in the class of epsilon-strongly graded rings in a fashion similar to how the classical crossed products present themselves in the class of strongly graded rings. Thereby, we obtain, in the special case of unital partial crossed products, a short proof of a general result by Dokuchaev, Exel and Simón concerning when graded rings can be presented as partial crossed products. We also provide some interesting classes of examples of separable epsilon-strongly graded rings, with finite as well as infinite grading groups. In particular, we obtain an answer to a question raised by Le Bruyn, Van den Bergh and Van Oystaeyen in 1988. △ Less

Submitted 12 February, 2018; v1 submitted 24 June, 2016; originally announced June 2016.

Comments: 20 pages

MSC Class: 16W50; 16S35; 16H05; 16K99; 16E60

Artinian and noetherian partial skew groupoid rings

Authors: Patrik Nystedt, Johan Öinert, Héctor Pinedo

Abstract: Let $α= \{ α_g : R_{g^{-1}} \rightarrow R_g \}_{g \in \textrm{mor}(G)}$ be a partial action of a groupoid $G$ on a non-associative ring $R$ and let $S = R \star_α G$ be the associated partial skew groupoid ring. We show that if $α$ is global and unital, then $S$ is left (right) artinian if and only if $R$ is left (right) artinian and $R_g = \{ 0 \},$ for all but finitely many… ▽ More Let $α= \{ α_g : R_{g^{-1}} \rightarrow R_g \}_{g \in \textrm{mor}(G)}$ be a partial action of a groupoid $G$ on a non-associative ring $R$ and let $S = R \star_α G$ be the associated partial skew groupoid ring. We show that if $α$ is global and unital, then $S$ is left (right) artinian if and only if $R$ is left (right) artinian and $R_g = \{ 0 \},$ for all but finitely many $g \in \textrm{mor}(G)$. We use this result to prove that if $α$ is unital and $R$ is alternative, then $S$ is left (right) artinian if and only if $R$ is left (right) artinian and $R_g = \{ 0 \},$ for all but finitely many $g \in \textrm{mor}(G)$. Both of these results apply to partial skew group rings, and in particular they generalize a result by J. K. Park for classical skew group rings, i.e. the case when $R$ is unital and associative, and $G$ is a group which acts globally on $R$. Moreover, we provide two applications of our main result. Firstly, we generalize I. G. Connell's classical result for group rings by giving a characterization of artinian (non-associative) groupoid rings. This result is in turn applied to partial group algebras. Secondly, we give a characterization of artinian Leavitt path algebras. At the end of the article, we use globalization to analyse noetherianity and artinianity of partial skew groupoid rings as well as establishing two Maschke-type results, thereby generalizing results by Ferrero and Lazzarin from the group graded case to the groupoid situation. △ Less

Submitted 11 October, 2016; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 18 pages. Replacement of the previous version; "Artinian partial skew groupoid rings"

MSC Class: 16S35; 16S99; 16P20; 16N99; 17A05; 17A99

Non-associative Ore extensions

Authors: Patrik Nystedt, Johan Öinert, Johan Richter

Abstract: We introduce non-associative Ore extensions, $S = R[X ; σ, δ]$, for any non-associative unital ring $R$ and any additive maps $σ,δ: R \rightarrow R$ satisfying $σ(1)=1$ and $δ(1)=0$. In the special case when $δ$ is either left or right $R_δ$-linear, where $R_δ = \ker(δ)$, and $R$ is $δ$-simple, i.e. $\{ 0 \}$ and $R$ are the only $δ$-invariant ideals of $R$, we determine the ideal structure of the… ▽ More We introduce non-associative Ore extensions, $S = R[X ; σ, δ]$, for any non-associative unital ring $R$ and any additive maps $σ,δ: R \rightarrow R$ satisfying $σ(1)=1$ and $δ(1)=0$. In the special case when $δ$ is either left or right $R_δ$-linear, where $R_δ = \ker(δ)$, and $R$ is $δ$-simple, i.e. $\{ 0 \}$ and $R$ are the only $δ$-invariant ideals of $R$, we determine the ideal structure of the non-associative differential polynomial ring $D = R[X ; \mathrm{id}_R , δ]$. Namely, in that case, we show that all ideals of $D$ are generated by monic polynomials in the center $Z(D)$ of $D$. We also show that $Z(D) = R_δ[p]$ for a monic $p \in R_δ[X]$, unique up to addition of elements from $Z(R)_δ$. Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of $D$ to show that $D$ is simple if and only if $R$ is $δ$-simple and $Z(D)$ equals the field $R_δ \cap Z(R)$. This provides us with a non-associative generalization of a result by Öinert, Richter, and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of $D$ in the cases when the characteristic of the field $R_δ \cap Z(R)$ is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces. △ Less

Submitted 19 September, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: 19 pages

MSC Class: 17D99; 17A36; 17A99; 16S36; 16W70; 16U70

Outer partial actions and partial skew group rings

Authors: Patrik Nystedt, Johan Öinert

Abstract: We extend the classicial notion of an outer action $α$ of a group $G$ on a unital ring $A$ to the case when $α$ is a partial action on ideals, all of which have local units. We show that if $α$ is an outer partial action of an abelian group $G$, then its associated partial skew group ring $A \star_αG$ is simple if and only if $A$ is $G$-simple. This result is applied to partial skew group rings as… ▽ More We extend the classicial notion of an outer action $α$ of a group $G$ on a unital ring $A$ to the case when $α$ is a partial action on ideals, all of which have local units. We show that if $α$ is an outer partial action of an abelian group $G$, then its associated partial skew group ring $A \star_αG$ is simple if and only if $A$ is $G$-simple. This result is applied to partial skew group rings associated with two different types of partial dynamical systems. △ Less

Submitted 28 November, 2014; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 16 pages

MSC Class: 16S35; 16W50; 37B05; 16D25; 37B99; 54H15; 54H20

Journal ref: Can. J. Math.-J. Can. Math. 67 (2015) 1144-1160

Simple Semigroup Graded Rings

Authors: Patrik Nystedt, Johan Öinert

Abstract: We show that if $R$ is a, not necessarily unital, ring graded by a semigroup $G$ equipped with an idempotent $e$ such that $G$ is cancellative at $e$, the non-zero elements of $eGe$ form a hypercentral group and $R_e$ has a non-zero idempotent $f$, then $R$ is simple if and only if it is graded simple and the center of the corner subring $f R_{eGe} f$ is a field. This is a generalization of a resu… ▽ More We show that if $R$ is a, not necessarily unital, ring graded by a semigroup $G$ equipped with an idempotent $e$ such that $G$ is cancellative at $e$, the non-zero elements of $eGe$ form a hypercentral group and $R_e$ has a non-zero idempotent $f$, then $R$ is simple if and only if it is graded simple and the center of the corner subring $f R_{eGe} f$ is a field. This is a generalization of a result of E. Jespers' on the simplicity of a unital ring graded by a hypercentral group. We apply our result to partial skew group rings and obtain necessary and sufficient conditions for the simplicity of a, not necessarily unital, partial skew group ring by a hypercentral group. Thereby, we generalize a very recent result of D. Gonçalves'. We also point out how E. Jespers' result immediately implies a generalization of a simplicity result, recently obtained by A. Baraviera, W. Cortes and M. Soares, for crossed products by twisted partial actions. △ Less

Submitted 8 September, 2014; v1 submitted 15 August, 2013; originally announced August 2013.

Comments: 9 pages

MSC Class: 16W50; 16D25; 16U70; 16S35

Simplicity of partial skew group rings and maximal commutativity

Authors: Daniel Gonçalves, Johan Öinert, Danilo Royer

Abstract: Let R0 be a commutative associative ring (not necessarily unital), G a group and alpha a partial action by ideals that contain local units. We show that R0 is maximal commutative in the partial skew group ring R0*G if and only if R0 has the ideal intersection property in R0*G. From this we derive a criterion for simplicity of R0*G in terms of maximal commutativity and $G-$simplicity of R0 and appl… ▽ More Let R0 be a commutative associative ring (not necessarily unital), G a group and alpha a partial action by ideals that contain local units. We show that R0 is maximal commutative in the partial skew group ring R0*G if and only if R0 has the ideal intersection property in R0*G. From this we derive a criterion for simplicity of R0*G in terms of maximal commutativity and $G-$simplicity of R0 and apply this to two examples, namely to partial actions by clopen subsets of a compact set and to give a new proof of the simplicity criterion for Leavitt path algebras. A new proof of the Cuntz-Krieger uniqueness theorem for Leavitt path algebras is also provided. △ Less

Submitted 11 July, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

MSC Class: 16S35; 37B05

Maximal commutative subrings and simplicity of partial skew group rings

Authors: Johan Öinert

Abstract: In this article, we show that for a partial skew group ring R*G, where R is a commutative ring, each non-zero ideal of R*G intersects R non-trivially if and only if R is a maximal commutative subring of R*G. As a consequence, we obtain necessary and sufficient conditions for simplicity; the partial skew group ring R*G is simple if and only if R is a G-simple and maximal commutative subring of R*G.… ▽ More In this article, we show that for a partial skew group ring R*G, where R is a commutative ring, each non-zero ideal of R*G intersects R non-trivially if and only if R is a maximal commutative subring of R*G. As a consequence, we obtain necessary and sufficient conditions for simplicity; the partial skew group ring R*G is simple if and only if R is a G-simple and maximal commutative subring of R*G. We thereby generalize our previous results for skew group rings, to partial skew group rings which are not necessarily unital. △ Less

Submitted 12 July, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

Comments: The main results of this paper, and several additional results, are to be found in arXiv:1306.4648

MSC Class: 16S35; 16D25; 16W50

Simple Rings and Degree Maps

Authors: Patrik Nystedt, Johan Öinert

Abstract: For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I of B being A-invariant, that is satisfying AI \subseteq IA. We show that A-simplicity of B is a necessary condition for simplicity of A for a large class of ri… ▽ More For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I of B being A-invariant, that is satisfying AI \subseteq IA. We show that A-simplicity of B is a necessary condition for simplicity of A for a large class of ring extensions when B is a direct summand of A. To obtain sufficient conditions for simplicity of A, we introduce the concept of a degree map for A/B. By this we mean a map d from A to the set of non-negative integers satisfying the following two conditions (d1) if a \in A, then d(a)=0 if and only if a=0; (d2) there is a subset X of B generating B as a ring such that for each non-zero ideal I of A and each non-zero a \in I there is a non-zero a' \in I with d(a') \leq d(a) and d(a'b - ba') < d(a) for all b \in X. We show that if the centralizer C of B in A is an A-simple ring, every intersection of C with an ideal of A is A-invariant, ACA=A and there is a degree map for A/B, then A is simple. We apply these results to various types of graded and filtered rings, such as skew group rings, Ore extensions and Cayley-Dickson doublings. △ Less

Submitted 25 September, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: 17 pages

MSC Class: 12E15; 16D25; 16S32; 16S35; 16S36; 16W50; 17A99

Journal ref: Journal of Algebra 401 (2014), 201-219

Simple Skew Category Algebras Associated with Minimal Partially Defined Dynamical Systems

Authors: Patrik Lundström, Johan Öinert

Abstract: In this article, we continue our study of category dynamical systems, that is functors $s$ from a category $G$ to $\Top^{\op}$, and their corresponding skew category algebras. Suppose that the spaces $s(e)$, for $e \in \ob(G)$, are compact Hausdorff. We show that if (i) the skew category algebra is simple, then (ii) $G$ is inverse connected, (iii) $s$ is minimal and (iv) $s$ is faithful. We also s… ▽ More In this article, we continue our study of category dynamical systems, that is functors $s$ from a category $G$ to $\Top^{\op}$, and their corresponding skew category algebras. Suppose that the spaces $s(e)$, for $e \in \ob(G)$, are compact Hausdorff. We show that if (i) the skew category algebra is simple, then (ii) $G$ is inverse connected, (iii) $s$ is minimal and (iv) $s$ is faithful. We also show that if $G$ is a locally abelian groupoid, then (i) is equivalent to (ii), (iii) and (iv). Thereby, we generalize results by Öinert for skew group algebras to a large class of skew category algebras. △ Less

Submitted 7 May, 2012; originally announced May 2012.

Comments: 17 pages. arXiv admin note: substantial text overlap with arXiv:1006.4776

Report number: CPH-SYM-00 MSC Class: 16W50; 16S99; 54H20

Simplicity of skew group rings of abelian groups

Authors: Johan Öinert

Abstract: Given a group G, a (unital) ring A and a group homomorphism $σ: G \to \Aut(A)$, one can construct the skew group ring $A \rtimes_σ G$. We show that a skew group ring $A \rtimes_σ G$, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. If G is abelian and A is commutative, then $A \rtimes_σ G$ is shown to be simple if and only if σis injective and A is G-simple.… ▽ More Given a group G, a (unital) ring A and a group homomorphism $σ: G \to \Aut(A)$, one can construct the skew group ring $A \rtimes_σ G$. We show that a skew group ring $A \rtimes_σ G$, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. If G is abelian and A is commutative, then $A \rtimes_σ G$ is shown to be simple if and only if σis injective and A is G-simple. As an application we show that a transformation group (X,G), where X is a compact Hausdorff space and G is abelian, is minimal and faithful if and only if its associated skew group algebra $C(X) \rtimes_σ G$ is simple. We also provide an example of a skew group algebra, of an (non-abelian) ICC group, for which the above conclusions fail to hold. △ Less

Submitted 30 March, 2012; v1 submitted 30 November, 2011; originally announced November 2011.

Comments: 13 pages

Report number: CPH-SYM-00 MSC Class: 16S35; 37B05

Journal ref: Communications in Algebra 42 (2014), no. 2, 831-841

Maximal commutative subrings and simplicity of Ore extensions

Authors: Johan Öinert, Johan Richter, Sergei D. Silvestrov

Abstract: The aim of this article is to describe necessary and sufficient conditions for simplicity of Ore extension rings, with an emphasis on differential polynomial rings. We show that a differential polynomial ring, R[x;id,δ], is simple if and only if its center is a field and R is δ-simple. When R is commutative we note that the centralizer of R in R[x;σ,δ] is a maximal commutative subring containing R… ▽ More The aim of this article is to describe necessary and sufficient conditions for simplicity of Ore extension rings, with an emphasis on differential polynomial rings. We show that a differential polynomial ring, R[x;id,δ], is simple if and only if its center is a field and R is δ-simple. When R is commutative we note that the centralizer of R in R[x;σ,δ] is a maximal commutative subring containing R and, in the case when σ=id, we show that it intersects every non-zero ideal of R[x;id,δ] non-trivially. Using this we show that if R is δ-simple and maximal commutative in R[x;id,δ], then R[x;id,δ] is simple. We also show that under some conditions on R the converse holds. △ Less

Submitted 30 August, 2012; v1 submitted 5 November, 2011; originally announced November 2011.

Comments: 16 pages

Report number: CPH-SYM-00 MSC Class: 16S32; 16S36; 16D25

Journal ref: Journal of Algebra and Its Applications 12 (2013), no. 4, 1250192, 16 pp

Simplicity and maximal commutative subalgebras of twisted generalized Weyl algebras

Authors: Jonas T. Hartwig, Johan Öinert

Abstract: In this paper we show that each non-zero ideal of a twisted generalized Weyl algebra (TGWA) $A$ intersects the centralizer of the distinguished subalgebra $R$ in $A$ non-trivially. We also provide a necessary and sufficient condition for the centralizer of $R$ in $A$ to be commutative, and give examples of TGWAs associated to symmetric Cartan matrices satisfying this condition. By imposing a certa… ▽ More In this paper we show that each non-zero ideal of a twisted generalized Weyl algebra (TGWA) $A$ intersects the centralizer of the distinguished subalgebra $R$ in $A$ non-trivially. We also provide a necessary and sufficient condition for the centralizer of $R$ in $A$ to be commutative, and give examples of TGWAs associated to symmetric Cartan matrices satisfying this condition. By imposing a certain finiteness condition on $R$ (weaker than Noetherianity) we are able to make an Ore localization which turns out to be useful when investigating simplicity of the TGWA. Under this mild assumption we obtain necessary and sufficient conditions for the simplicity of TGWAs. We describe how this is related to maximal commutativity of $R$ in $A$ and the (non-) existence of non-trivial $\Z^n$-invariant ideals of $R$. Our result is a generalization of the rank one case, obtained by D. A. Jordan in 1993. We illustrate our theorems by considering some special classes of TGWAs and providing concrete examples. △ Less

Submitted 17 October, 2010; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: 32 pages, no figures, minor improvements of the presentation of the material

Report number: CPH-SYM-00

Journal ref: Journal of Algebra 373 (2013), no. 1, 312-339

Skew Category Algebras Associated with Partially Defined Dynamical Systems

Authors: Patrik Lundström, Johan Öinert

Abstract: 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 skew category algebra $A \rtimes^σ G$. We study the connection between topological freeness of $s$ and, on the one hand, ideal properties of $A \rtimes^σ G$ and, on the other hand, maximal commuta… ▽ More 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 skew category algebra $A \rtimes^σ G$. We study the connection between topological freeness of $s$ and, on the one hand, ideal properties of $A \rtimes^σ G$ and, on the other hand, maximal commutativity of $A$ in $A \rtimes^σ G$. In particular, we show that if $G$ is a groupoid and for each $e \in \ob(G)$ the group of all morphisms $e \rightarrow 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 \rtimes^σ G$, then $I \cap A \neq \{0\}$; (iii) the ring $A$ is a maximal abelian complex subalgebra of $A \rtimes^σ G$. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids. △ Less

Submitted 6 June, 2011; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: 16 pages. This article is an improvement of, and hereby a replacement for, version 1 (arXiv:1006.4776v1) entitled "Category Dynamical Systems and Skew Category Algebras"

Report number: CPH-SYM-00 MSC Class: 16W50; 16S99

Journal ref: International Journal of Mathematics 23, 1250040 (2012), 16 pp

Miyashita Action in Strongly Groupoid Graded Rings

Authors: Johan Öinert, Patrik Lundström

Abstract: We determine the commutant of homogeneous subrings in strongly groupoid graded rings in terms of an action on the ring induced by the grading. Thereby we generalize a classical result of Miyashita from the group graded case to the groupoid graded situation. In the end of the article we exemplify this result. To this end, we show, by an explicit construction, that given a finite groupoid $G$, equip… ▽ More We determine the commutant of homogeneous subrings in strongly groupoid graded rings in terms of an action on the ring induced by the grading. Thereby we generalize a classical result of Miyashita from the group graded case to the groupoid graded situation. In the end of the article we exemplify this result. To this end, we show, by an explicit construction, that given a finite groupoid $G$, equipped with a nonidentity morphism $t : d(t) \to c(t)$, there is a strongly $G$-graded ring $R$ with the properties that each $R_s$, for $s \in G$, is nonzero and $R_t$ is a nonfree left $R_{c(t)}$-module. △ Less

Submitted 11 September, 2010; v1 submitted 9 January, 2010; originally announced January 2010.

Comments: This article is an improvement of, and hereby a replacement for, version 1 (arXiv:1001.1459v1) entitled "Commutants in Strongly Groupoid Graded Rings"

Report number: CPH-SYM-00 MSC Class: 16W50

Journal ref: International Electronic Journal of Algebra 11 (2012), 46-63

The Ideal Intersection Property for Groupoid Graded Rings

Authors: Johan Öinert, Patrik Lundström

Abstract: We show that if a groupoid graded ring has a certain nonzero ideal 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 o… ▽ More We show that if a groupoid graded ring has a certain nonzero ideal 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. △ Less

Submitted 11 September, 2010; v1 submitted 2 January, 2010; originally announced January 2010.

Report number: CPH-SYM-00 MSC Class: 16W50; 16D25; 16S99

Journal ref: Communications in Algebra 40 (2012), no. 5, 1860-1871

Noncrossed Product Matrix Subrings and Ideals of Graded Rings

Authors: Johan Öinert, Patrik Lundström

Abstract: We show that if a groupoid graded ring has a certain nonzero ideal property and the principal component of the ring is commutative, then the intersection of a nonzero twosided ideal of the ring with the commutant of the principal component of the ring is nonzero. Furthermore, we show that for a skew groupoid ring with commutative principal component, the principal component is maximal commutativ… ▽ More We show that if a groupoid graded ring has a certain nonzero ideal property and the principal component of the ring is commutative, then the intersection of a nonzero twosided ideal of the ring with the commutant of the principal component of the ring is nonzero. Furthermore, we show that for a skew groupoid ring with commutative principal component, the principal component is maximal commutative if and only if it is intersected nontrivially by each nonzero ideal of the skew groupoid ring. We also determine the center of strongly groupoid graded rings in terms of an action on the ring induced by the grading. In the end of the article, we show that, given a finite groupoid $G$, which has a nonidentity morphism, there is a ring, strongly graded by $G$, which is not a crossed product over $G$. △ Less

Submitted 6 July, 2009; originally announced July 2009.

Report number: Preprints in Mathematical Sciences 2009:10, LUTFMA-5112-2009, ISSN 1403-9338, Lund University

Simple group graded rings and maximal commutativity

Authors: Johan Öinert

Abstract: In this paper we provide necessary and sufficient conditions for strongly group graded rings to be simple. For a strongly group graded ring $R = \bigoplus_{g\in G} R_g$ the grading group $G$ acts, in a natural way, as automorphisms of the commutant of the neutral component subring $R_e$ in $R$ and of the center of $R_e$. We show that if $R$ is a strongly $G$-graded ring where $R_e$ is maximal co… ▽ More In this paper we provide necessary and sufficient conditions for strongly group graded rings to be simple. For a strongly group graded ring $R = \bigoplus_{g\in G} R_g$ the grading group $G$ acts, in a natural way, as automorphisms of the commutant of the neutral component subring $R_e$ in $R$ and of the center of $R_e$. We show that if $R$ is a strongly $G$-graded ring where $R_e$ is maximal commutative in $R$, then $R$ is a simple ring if and only if $R_e$ is $G$-simple (i.e. there are no nontrivial $G$-invariant ideals). We also show that if $R_e$ is commutative (not necessarily maximal commutative) and the commutant of $R_e$ is $G$-simple, then $R$ is a simple ring. These results apply to $G$-crossed products in particular. A skew group ring $R_e \rtimes_σ G$, where $R_e$ is commutative, is shown to be a simple ring if and only if $R_e$ is $G$-simple and maximal commutative in $R_e \rtimes_σ G$. As an interesting example we consider the skew group algebra $C(X) \rtimes_{\tilde{h}} \mathbb{Z}$ associated to a topological dynamical system $(X,h)$. We obtain necessary and sufficient conditions for simplicity of $C(X) \rtimes_{\tilde{h}} \mathbb{Z}$ with respect to the dynamics of the dynamical system $(X,h)$, but also with respect to algebraic properties of $C(X) \rtimes_{\tilde{h}} \mathbb{Z}$. Furthermore, we show that for any strongly $G$-graded ring $R$ each nonzero ideal of $R$ has a nonzero intersection with the commutant of the center of the neutral component. △ Less

Submitted 29 April, 2009; originally announced April 2009.

MSC Class: 13A02; 16S35

Commutativity and Ideals in Category Crossed Products

Authors: Johan Öinert, Patrik Lundström

Abstract: In order to simultaneously generalize matrix rings and group graded crossed products, we introduce category crossed products. For such algebras we describe the center and the commutant of the coefficient ring. We also investigate the connection between on the one hand maximal commutativity of the coefficient ring and on the other hand nonemptyness of intersections of the coefficient ring by nonz… ▽ More In order to simultaneously generalize matrix rings and group graded crossed products, we introduce category crossed products. For such algebras we describe the center and the commutant of the coefficient ring. We also investigate the connection between on the one hand maximal commutativity of the coefficient ring and on the other hand nonemptyness of intersections of the coefficient ring by nonzero twosided ideals. △ Less

Submitted 8 December, 2008; originally announced December 2008.

MSC Class: 16W50; 16S99

Commutativity and ideals in algebraic crossed products

Authors: Johan Oinert, Sergei D. Silvestrov

Abstract: We investigate properties of commutative subrings and ideals in non-commutative algebraic crossed products for actions by arbitrary groups. A description of the commutant of the base coefficient subring in the crossed product ring is given. Conditions for commutativity and maximal commutativity of the commutant of the base subring are provided in terms of the action as well as in terms of the in… ▽ More We investigate properties of commutative subrings and ideals in non-commutative algebraic crossed products for actions by arbitrary groups. A description of the commutant of the base coefficient subring in the crossed product ring is given. Conditions for commutativity and maximal commutativity of the commutant of the base subring are provided in terms of the action as well as in terms of the intersection of ideals in the crossed product ring with the base subring, specially taking into account both the case of base rings without non-trivial zero-divisors and the case of base rings with non-trivial zero-divisors. △ Less

Submitted 29 September, 2007; originally announced October 2007.

Report number: LUTFMA-5080-2007 MSC Class: 16S35; 16W50; 16D25; 16U70