characterization

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Projective_module A module is projective if and only if the functor Hom(P,-) is exact
gptkb:Hamiltonian_graph no simple necessary and sufficient condition is known
gptkb:Artinian_rings A commutative Artinian ring is a finite product of local Artinian rings