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 |
| gptkb:Hamiltonian_graph | no simple necessary and sufficient condition is known |