The Yoneda algebra of a graded Ore extension

Let A be a connected-graded algebra with trivial module k, and let B be a graded Ore extension of A. We relate the structure of the Yoneda algebra E(A) := Ext_A(k,k) to E(B). Cassidy and Shelton have shown that when A satisfies their K_2 property, B will also be K_2. We prove the converse of this result.Comment: 9 page

Basic Module Theory over Non-Commutative Rings with Computational Aspects of Operator Algebras

The present text surveys some relevant situations and results where basic Module Theory interacts with computational aspects of operator algebras. We tried to keep a balance between constructive and algebraic aspects.Comment: To appear in the Proceedings of the AADIOS 2012 conference, to be published in Lecture Notes in Computer Scienc

Severe right Ore sets and universal localisation

We introduce the notion of a severe right Ore set in the main as a tool to study universal localisations of rings but also to provide a short proof of P. M. Cohn's classification of homomorphisms from a ring to a division ring. We prove that the category of finitely presented modules over a universal localisation is equivalent to a localisation at a severe right Ore set of the category of finitely presented modules over the original ring. This allows us to describe the structure of finitely presented modules over the universal localisation as modules over the original ring

Representations of Hopf Ore extensions of group algebras and pointed Hopf algebras of rank one

In this paper, we study the representation theory of Hopf-Ore extensions of group algebras and pointed Hopf algebras of rank one over an arbitrary field $k$. Let H=kG(\chi, a,\d) be a Hopf-Ore extension of $kG$ and $H'$ a rank one quotient Hopf algebra of $H$, where $k$ is a field, $G$ is a group, $a$ is a central element of $G$ and $\chi$ is a $k$-valued character for $G$ with $\chi(a)\neq 1$. We first show that the simple weight modules over $H$ and $H'$ are finite dimensional. Then we describe the structures of all simple weight modules over $H$ and $H'$, and classify them. We also consider the decomposition of the tensor product of two simple weight modules over $H'$ into the direct sum of indecomposable modules. Furthermore, we describe the structures of finite dimensional indecomposable weight modules over $H$ and $H'$, and classify them. Finally, when $\chi(a)$ is a primitive $n$-th root of unity for some $n>2$, we determine all finite dimensional indecomposable projective objects in the category of weight modules over $H'$.Comment: arXiv admin note: substantial text overlap with arXiv:1206.394

Irreducible actions and compressible modules

Any finite set of linear operators on an algebra $A$ yields an operator algebra $B$ and a module structure on A, whose endomorphism ring is isomorphic to a subring $A^B$ of certain invariant elements of $A$. We show that if $A$ is a critically compressible left $B$-module, then the dimension of its self-injective hull $A$ over the ring of fractions of $A^B$ is bounded by the uniform dimension of $A$ and the number of linear operators generating $B$. This extends a known result on irreducible Hopf actions and applies in particular to weak Hopf action. Furthermore we prove necessary and sufficient conditions for an algebra A to be critically compressible in the case of group actions, group gradings and Lie actions

Nakayama automorphisms of double Ore extensions of Koszul regular algebras

Let $A$ be a Koszul Artin-Schelter regular algebra and $\sigma$ an algebra homomorphism from $A$ to $M_{2\times 2}(A)$. We compute the Nakayama automorphisms of a trimmed double Ore extension $A_P[y_1, y_2; \sigma]$ (introduced in \cite{ZZ08}). Using a similar method, we also obtain the Nakayama automorphism of a skew polynomial extension $A[t; \theta]$, where $\theta$ is a graded algebra automorphism of $A$. These lead to a characterization of the Calabi-Yau property of $A_P[y_1, y_2; \sigma]$, the skew Laurent extension $A[t^{\pm 1}; \theta]$ and $A[y_1^{\pm 1}, y_2^{\pm 1}; \sigma]$ with $\sigma$ a diagonal type.Comment: The paper has been heavily revised including the title, and will appear in Manuscripta Mathematic