A categorification of the square root of -1
We give a graphical calculus for a monoidal DG category ℐ whose Grothendieck group is isomorphic to the ring ℤ[√(-1)]. We construct a categorical action of ℐ which lifts the action of ℤ[√(-1)] on ℤ².
We give a graphical calculus for a monoidal DG category ℐ whose Grothendieck group is isomorphic to the ring ℤ[√(-1)]. We construct a categorical action of ℐ which lifts the action of ℤ[√(-1)] on ℤ².
The aim of this note is to express a module which is localized as well as colocalized in terms of an object of an intersecting subcategory related to static modules.
The purpose of this note is to show how calculi on unital associative algebra with universal right bimodule generalize previously studied constructions by Pusz and Woronowicz [1989] and by Wess and Zumino [1990] and that in this language results are in a natural context, are easier to describe and handle. As a by-product we obtain intrinsic, coordinate-free and basis-independent generalization of the first order noncommutative differential calculi with partial derivatives.
We study a connection between left-right projective bimodules and stable equivalences of Morita type for finite-dimensional associative algebras over a field. Some properties of the category of all finite-dimensional left-right projective bimodules for self-injective algebras are also given.
Bimodules over triangular Nakayama algebras that give stable equivalences of Morita type are studied here. As a consequence one obtains that every stable equivalence of Morita type between triangular Nakayama algebras is a Morita equivalence.
Let C n(A,B) be the relative Hochschild bar resolution groups of a subring B ⊆ A. The subring pair has right depth 2n if C n+1(A,B) is isomorphic to a direct summand of a multiple of C n(A,B) as A-B-bimodules; depth 2n + 1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n − 1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B....
An -closed submodule of a module is a submodule for which is nonsingular. A module is called a generalized CS-module (or briefly, GCS-module) if any -closed submodule of is a direct summand of . Any homomorphic image of a GCS-module is also a GCS-module. Any direct sum of a singular (uniform) module and a semi-simple module is a GCS-module. All nonsingular right -modules are projective if and only if all right -modules are GCS-modules.