Let k be a commutative ring, A a k-algebra, C an A-coring that is projective as a left A-module, ∗C the dual ring of C and Λ a right C-comodule that is finitely generated as a left ∗C-module. We give necessary and sufficient conditions for projectivity and flatness of a module over the endomorphism ring EndC(Λ). If C contains a grouplike element, we can replace Λ with A.

We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a cyclic p-group is permutation projective.

Let (A, m, k) be a complete intersection of codimension c, and k̃ the algebraic closure of k. We show that every homogeneous algebraic subset of k̃c is the cohomological support variety of an A-module, and that the projective variety of a complete indecomposable maximal Cohen-Macaulay A-module is connected.

In ring and module theory, one concept is the projective module. A said to be if it a direct sum of independent modules. (U, R) an approximation space with non-empty set equivalence relation If X subset U, we can form upper lower approximation. rough Apr(X) not equal under Apr(X). The theory applies algebraic structures, including groups, rings, modules, homomorphisms. this study, will investig...

It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue of the Govorov-Lazard Theorem. We show that, in fact, there is a large class of rings without such an analogue. Namely, let R be a commutative local noether...

Let G be a finite group, and let Ω := {t ∈ G | t = 1}. Then Ω is a G-set under conjugation. Let k be an algebraically closed field of characteristic 2. It is shown that each projective indecomposable summand of the G-permutation module kΩ is irreducible and self-dual, whence it belongs to a real 2-block of defect zero. This, together with the fact that each irreducible kG-module that belongs to...

To a B-coring and a (B, A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projec...