Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom

Abstract: In this paper it is proved that, when

Q

is a quiver that admits some closure, for any algebraically closed field

K

and any finite dimensional

K

-linear representation

m a t h c a l X

of

Q

, if

{m E x t}_{K Q}^{1} (m a t h c a l X, K Q) = 0

then

m a t h c a l X

is projective (Theorem 1.10). In contrast, we show that if

Q

is a specific quiver of the type above, then there is an infinitely generated non-projective

K Q

-module

M_{o m e g a_{1}}

such that, when

K

is a countable field,

o p e r a t o r n a m e {s f M A}_{a l e p h_{1}}

(Martin's Axiom for

a l e p h_{1}

many dense sets, which is a combinatorial axiom in set theory) implies that

{m E x t}_{K Q}^{1} (M_{o m e g a_{1}}, K Q) = 0

(Theorem 2.11).

Recommendations

Cites work

This page was built for publication: Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom