It is well-known that a ring Ris semiperfect if and only if _RR (orR_R ) is a supplemented module. Considering weak supplementsinstead of supplements we show that weakly supplemented modules Mare semilocal (i.e.M/Rad(M) is semisimple) and that R is a semilocal ring if and only if _RR (orR_R ) is weakly supplemented. In this context the notion of finite hollow dimension (or finite dual Goldie dimension) of modules is of interest and yields a natural interpretation of the Camps-Dicks characterization of semilocal rings. Finitely generated modules are weakly supplemented if and only if they have finite hollow dimension (or are semilocal).

Non-commutative connections of the second type or hom-connections and associated integral forms are studied as generalisations of right connections of Manin. First, it is proven that the existence of hom-connections with respect to the universal differential graded algebra is tantamount to the injectivity, and that every injective module admits a hom-connection with respect to any differential graded algebra. The bulk of the article is devoted to describing a method of constructing hom-connections from twisted multi-derivations . The notion of a free twisted multi-derivation is introduced and the induced first order differential calculus is described. It is shown that any free twisted multi-derivation on an algebra A induces a unique hom-connection on A (with respect to the induced differential calculus Ω^1(A) ) that vanishes on the dual basis of Ω^1(A) . To any flat hom-connection ∇ on A one associates a chain complex, termed a complex of integral forms on A . The canonical cokernel morphism to the zeroth homology space is called a ∇ - integral . Examples of free twisted multi-derivations, hom-connections and corresponding integral forms are provided by covariant calculi on Hopf algebras (quantum groups). The example of a flat hom-connection within the 3D left-covariant differential calculus on the quantum group \mathcal{O}_q(\mathrm{SL}(2)) is described in full detail. A descent of hom-connections to the base algebra of a faithfully flat Hopf–Galois extension or a principal comodule algebra is studied. As an example, a hom-connection on the standard quantum Podle’s sphere \mathcal{O}_q(\mathrm{SL}(2)) is presented. In both cases the complex of integral forms is shown to be isomorphic to the de Rham complex, and the ∇ -integrals coincide with Hopf-theoretic integrals or invariant (Haar) measures.

The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian down-up algebras. We will show that the Noetherian down-up algebras A(α, β, γ) which are fully bounded are precisely those which are module-finite over a central subalgebra. We show that injective hulls of simple A(α, β, γ)-modules are locally Artinian provided the roots of X² − αX − β are distinct roots of unity or both equal to 1.

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.