-
Object-unital groupoid graded rings, crossed products and separability
Authors:
Juan Cala,
Patrik Nystedt,
Héctor Pinedo
Abstract:
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to consider non-unital groupoid graded rings of a particular type that we call object unital. We determine when such rings are strongly graded, crossed products, skew g…
▽ More
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to consider non-unital groupoid graded rings of a particular type that we call object unital. We determine when such rings are strongly graded, crossed products, skew groupoid rings and twisted groupoid rings. We also obtain necessary and sufficient criteria for when object unital groupoid graded rings are separable over their principal component, thereby generalizing previous results from the unital case to a non-unital situation.
△ Less
Submitted 4 June, 2020; v1 submitted 15 January, 2020;
originally announced January 2020.
-
Arc length of function graphs via Taylor's formula
Authors:
Patrik Nystedt
Abstract:
We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. We discuss potential benefits for such an approach in introductory calculus courses.
We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. We discuss potential benefits for such an approach in introductory calculus courses.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Poisson's fundamental theorem of calculus via Taylor's formula
Authors:
Patrik Nystedt
Abstract:
We use Taylor's formula with Lagrange remainder to make a modern adaptation of Poisson's proof of a version of the fundamental theorem of calculus in the case when the integral is defined by Euler sums, that is Riemann sums with left (or right) endpoints which are equally spaced. We discuss potential benefits for such an approach in basic calculus courses.
We use Taylor's formula with Lagrange remainder to make a modern adaptation of Poisson's proof of a version of the fundamental theorem of calculus in the case when the integral is defined by Euler sums, that is Riemann sums with left (or right) endpoints which are equally spaced. We discuss potential benefits for such an approach in basic calculus courses.
△ Less
Submitted 26 March, 2019; v1 submitted 17 February, 2019;
originally announced February 2019.
-
A survey of s-unital and locally unital rings
Authors:
Patrik Nystedt
Abstract:
We gather some classical results and examples that show strict inclusion between the families of unital rings, rings with enough idempotents, rings with sets of local units, locally unital rings, s-unital rings and idempotent rings.
We gather some classical results and examples that show strict inclusion between the families of unital rings, rings with enough idempotents, rings with sets of local units, locally unital rings, s-unital rings and idempotent rings.
△ Less
Submitted 27 May, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Simplicity of algebras via epsilon-strong systems
Authors:
Patrik Nystedt
Abstract:
We obtain sufficient criteria for simplicity of systems, that is, rings $R$ that are equipped with a family of additive subgroups $R_s$, for $s \in S$, where $S$ is a semigroup, satisfying $R = \sum_{s \in S} R_s$ and $R_s R_t \subseteq R_{st}$, for $s,t \in S$. These criteria are specialized to obtain sufficient criteria for simplicity of, what we call, s-unital epsilon-strong systems, that is sy…
▽ More
We obtain sufficient criteria for simplicity of systems, that is, rings $R$ that are equipped with a family of additive subgroups $R_s$, for $s \in S$, where $S$ is a semigroup, satisfying $R = \sum_{s \in S} R_s$ and $R_s R_t \subseteq R_{st}$, for $s,t \in S$. These criteria are specialized to obtain sufficient criteria for simplicity of, what we call, s-unital epsilon-strong systems, that is systems where $S$ is an inverse semigroup, $R$ is coherent, in the sense that for all $s,t \in S$ with $s \leq t$, the inclusion $R_s \subseteq R_t$ holds, and for each $s \in S$, the $R_s R_{s^*}$-$R_{s^*}R_s$-bimodule $R_s$ is s-unital. As an aplication of this, we obtain generalizations of recent criteria for simplicity of skew inverse semigroup rings, by Beuter, Goncalves, Öinert and Royer, and then, in turn, for Steinberg algebras, over non-commutative rings, by Brown, Farthing, Sims, Steinberg, Clark and Edie-Michel.
△ Less
Submitted 1 February, 2019; v1 submitted 30 May, 2018;
originally announced May 2018.
-
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.
-
Noncommutatively Graded Algebras
Authors:
Patrik Nystedt
Abstract:
Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie al…
▽ More
Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie algebras, we establish the existence of universal graded enveloping algebras and we show a graded version of the Poincaré-Birkhoff-Witt theorem.
△ Less
Submitted 31 October, 2017;
originally announced October 2017.
-
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.
-
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.
-
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.
-
Von-Neumann finiteness and reversibility in some classes of non-associative algebras
Authors:
Erik Darpö,
Patrik Nystedt
Abstract:
We investigate criteria for von-Neumann finiteness and reversibility in some classes of non-associative algebras. We show that all finite-dimensional alternative algebras, as well as all algebras obtained from the real numbers via the standard Cayley-Dickson doubling process, are von-Neumann finite. Precise criteria for von-Neumann finiteness and reversibility of involutive algebras are given, in…
▽ More
We investigate criteria for von-Neumann finiteness and reversibility in some classes of non-associative algebras. We show that all finite-dimensional alternative algebras, as well as all algebras obtained from the real numbers via the standard Cayley-Dickson doubling process, are von-Neumann finite. Precise criteria for von-Neumann finiteness and reversibility of involutive algebras are given, in terms of isomorphism types of their 3-dimensional subalgebras.
△ Less
Submitted 1 September, 2020; v1 submitted 17 August, 2016;
originally announced August 2016.
-
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.
-
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.
-
Partial Category Actions on Sets and Topological Spaces
Authors:
Patrik Nystedt
Abstract:
We introduce (continuous) partial category actions on sets (topological spaces) and show that each such action admits a universal globalization. Thereby, we obtain a simultaneous generalization of corresponding results for groups, by Kellendonk and Lawson, and for monoids, by Megrelishvili and Schroder. We apply this result to the special case of partial groupoid actions where we obtain a sharpeni…
▽ More
We introduce (continuous) partial category actions on sets (topological spaces) and show that each such action admits a universal globalization. Thereby, we obtain a simultaneous generalization of corresponding results for groups, by Kellendonk and Lawson, and for monoids, by Megrelishvili and Schroder. We apply this result to the special case of partial groupoid actions where we obtain a sharpening of a result by Gilbert, concerning ordered groupoids, in the sense that mediating functions between universal globalizations always are injective.
△ Less
Submitted 25 April, 2017; v1 submitted 24 February, 2016;
originally announced February 2016.
-
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.
-
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.
-
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.
-
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.
