Related papers: Faithfully flat descent for projectivity of module…

We prove a version of faithfully flat descent in rigid analytic geometry, for almost perfect complexes and without finiteness assumptions on the rings involved. This extends results of Drinfeld for vector bundles.

We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra…

In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a…

The stability of the class of projectively coresolved Gorenstein flat modules, under the very Gorenstein process used to define them, is proven in this paper. Moreover, a new characterization of the projectively coresolved Gorenstein flat…

In this paper, the projectivity of a finitely generated flat module of a commutative ring is studied through its exterior powers and invariant factors and then various new results are obtained. Specially, the related results of Endo,…

It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.

For modules over a finite-dimensional algebra, there is a canonical one-to-one correspondence between the projective indecomposable modules and the simple modules. In this purely expository note, we take a straight-line path from the…

We prove a descent result for finite projective modules, motivated by a question in perfectoid geometry. Given a commutative ring $A$, we formulate a descent problem for descending a finite projective module over the Novikov ring with…

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

Yet another proof of the result asserting that a morphism of commutative rings is an effective descent morphism for modules if and only if it is pure is given. Moreover, it is shown that this result cannot be derived from Moerdijk's descent…

Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is…

We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.

Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed,…

We describe a new method to determine faithful representations of small dimension for a finite dimensional nilpotent Lie algebra. We give various applications of this method. In particular we find a new upper bound on the minimal dimension…

We will prove that over commutative rings the silting property of $2$-term complexes induced by morphisms between projective modules is preserved and reflected by faithfully flat extensions.

In 1981, L. Gruson and C. U. Jensen gave a new proof of the fact that, over a ring which is either Noetherian of Krull dimension $n$ or of cardinality $< \aleph_n$, the projective dimension of any flat module is at most $n$. In this short…

We construct a faithfully flat algebra over the infinite polynomial ring on an algebraically closed field that is not descendable.

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…

Let $R$ be a ring and $M$ be a right $R$-module. $M$ is called neat-flat if any short exact sequence of the form $0\to K\to N\to M\to 0$ is neat-exact i.e. any homomorphism from a simple right $R$-module $S$ to $M$ can be lifted to $N$. We…