Ext and von Neumann regular rings
Using derived categories, we develop an alternative approach to defining Koszulness for positively graded algebras where the degree zero part is not necessarily semisimple.
An -module is said to be an extending module if every closed submodule of is a direct summand. In this paper we introduce and investigate the concept of a type 2 -extending module, where is a hereditary torsion theory on -. An -module is called type 2 -extending if every type 2 -closed submodule of is a direct summand of . If is the torsion theory on - corresponding to an idempotent ideal of and is a type 2 -extending -module, then the question of whether or not is...
It is shown that a ring is a -ring if and only if there exists a complete orthogonal set of idempotents such that all are -rings. We also investigate -rings for Morita contexts, module extensions and power series rings.
We characterize linear operators that preserve sets of matrix ordered pairs which satisfy extreme properties with respect to maximal column rank inequalities of matrix sums over semirings.
If is a hereditary torsion theory on and is the localization functor, then we show that every -derivation has a unique extension to an -derivation when is a differential torsion theory on . Dually, it is shown that if is cohereditary and is the colocalization functor, then every -derivation can be lifted uniquely to an -derivation .
This is a summary of some of the main results in the monograph Faithfully Ordered Rings (Mem. Amer. Math. Soc. 2015), presented by the first author at the ALANT conference, Będlewo, Poland, June 8-13, 2014. The notions involved and the results are stated in detail, the techniques employed briefly outlined, but proofs are omitted. We focus on those aspects of the cited monograph concerning (diagonal) quadratic forms over preordered rings.
Let K be a field of characteristic p > 0, K* the multiplicative group of K and a finite group, where is a p-group and B is a p’-group. Denote by a twisted group algebra of G over K with a 2-cocycle λ ∈ Z²(G,K*). We give necessary and sufficient conditions for G to be of OTP projective K-representation type, in the sense that there exists a cocycle λ ∈ Z²(G,K*) such that every indecomposable -module is isomorphic to the outer tensor product V W of an indecomposable -module V and a simple...