characterization

URI: https://gptkb.org/prop/characterization
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Artinian_rings A commutative Artinian ring is a finite product of local Artinian rings
gptkb:Projective_module A module is projective if and only if the functor Hom(P,-) is exact