Related papers: Contramodules
Basic facts and definitions of conformal moduli of rings and quadrilaterals are recalled. Some computational methods are reviewed. For the case of quadrilaterals with polygonal sides, some recent results are given. Some numerical…
A well-known result by Larson and Sweedler shows that integrals on a Hopf algebra can be obtained by applying the Structure Theorem for Hopf modules to the rational part of its linear dual. This fact can be rephrased by saying that taking…
In this note we answer two questions on quasi-Baer modules raised by Lee and Rizvi in J.Algebra (2016).
In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…
We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…
In these expository notes I discuss several concepts and results in the theory of modules over commutative rings, revolving around the Gorenstein dimension of modules. Some of the related notions are the Auslander dual, k-torsionless…
The program Reverse Mathematics (RM for short) seeks to identify the axioms necessary to prove theorems of ordinary mathematics, usually working in the language of second-order arithmetic $L_{2}$. A major theme in RM is therefore the study…
Reverse Mathematics (RM for short) is a program in the foundations of mathematics with the aim of finding the minimal axioms required for proving theorems about countable and separable objects. RM usually takes place in second-order…
Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitary language of the form L $\infty$$\lambda$. We prove that…
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, i.e.…
K\"othe's classical problem posed by G. K\"othe in 1935 asks to describe the rings $R$ such that every left $R$-module is a direct sum of cyclic modules (these rings are known as left K\"othe rings). K\"othe, Cohen and Kaplansky solved this…
We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation…
In their study of spherical representations of an affine Lie algebra at the critical level and of unramified opers, Frenkel and Gaitsgory introduced what they called the Weyl module $\mathbb{V}^{\lambda}$ corresponding to a dominant weight…
In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…
The notion of an anti-commutative (resp. commutative) rigid superalgebra is a natural generalisation of the notion of a Lie (resp. Jordan) superalgebra. Intuitively rigidity means that small deformations of the product under the structural…
This paper proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…
Let G be a finite group acting linearly on the polynomial ring with invariant ring R. If the action is small, then a classical result of Auslander gives in dimension two a correspondence between linear representations of G and maximal…
Differential categories are now an established abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: integration. This paper presents the parallel development for…