In this paper we study totally projective QTAG-modules and the extensions of bounded QTAG-modules. In the first section we study totally projective modules M/N and M ′/N ′ where N , N ′ are isomorphic nice submodules of M and M ′ respectively. In fact the height preserving isomorphism between nice submodules is extented to the isomorphism from M onto M ′ with the help of Ulm-Kaplansky invariant...

We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfies Property Np for some p, the p-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M does not satisfy Property Np. Let M be a very ample line bundle on a smooth complex projective variety Y and let φM : Y → P(H (Y,M)) be the map associated to M . We recall the defi...

All rings are commutative with identity and all modules are unital. The tensor product of projective (resp. flat, multiplication) modules is a projective (resp. flat, multiplication) module but not conversely. In this paper we give some conditions under which the converse is true. We also give necessary and sufficient conditions for the tensor product of faithful multiplication Dedekind (resp. ...

We describe a minimal unstable module presentation over the Steenrod algebra for the odd-primary cohomology of infinitedimensional complex projective space and apply it to obtain a minimal algebra presentation for the cohomology of the classifying space of the infinite unitary group. We also show that there is a unique Steenrod module structure on any unstable cyclic module that has dimension o...

An R-module A is called GF-regular if, for each a ∈ A and r ∈ R, there exist t ∈ R and a positive integer n such that r(n)tr(n)a = r(n)a. We proved that each unitary R-module A contains a unique maximal GF-regular submodule, which we denoted by M GF(A). Furthermore, the radical properties of A are investigated; we proved that if A is an R-module and K is a submodule of A, then MGF(K) = K∩M GF(A...

4.3. (i) Since HomA(A (I),M) ∼= M (I) for a set I and ⊕ is exact, it is clear that HomA(A (I),−) is exact, i.e. A(I) is projective. (ii) “Only if” part: Let A(P ) = ⊕ p∈P Ap be the free A-module indexed by P and ψ : A (P ) → p be the A-homomorphism such that ψ(1p) = p. Then ψ is surjective. If P is projective, then ψ has a section, i.e. an A-homomorphism φ : P → A(P ) such that ψ ◦ φ = idP . Th...

We show, in full generality, that Lusztig’s a-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category O, proving a conjecture from the first paper. On the way we show that the images of simple modules under projective functors can be represented in the derived category by linear complexes of...

Let C be a binary self-dual code with an automorphism g of order 2p, where p is an odd prime, such that g is a xed point free involution. If C is extremal of length a multiple of 24 all the involutions are xed point free, except the Golay Code and eventually putative codes of length 120. Connecting module theoretical properties of a self-dual code C with coding theoretical ones of the subcode C...

4.3. (i) Since HomA(A (I),M) ∼= M (I) for a set I and ⊕ is exact, it is clear that HomA(A (I),−) is exact, i.e. A(I) is projective. (ii) “Only if” part: Let A(P ) = ⊕ p∈P Ap be the free A-module indexed by P and ψ : A (P ) → p be the A-homomorphism such that ψ(1p) = p. Then ψ is surjective. If P is projective, then ψ has a section, i.e. an A-homomorphism φ : P → A(P ) such that ψ ◦ φ = idP . Th...