Displaying similar documents to “Projective covers and minimal free resolutions.”

Characterizations of semiperfect and perfect rings.

Weimin Xue (1996)

Publicacions Matemàtiques

Similarity:

We characterize semiperfect modules, semiperfect rings, and perfect rings using locally projective covers and generalized locally projective covers, where locally projective modules were introduced by Zimmermann-Huisgen and generalized locally projective covers are adapted from Azumaya’s generalized projective covers.

Homography in ℝℙ

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...