Ring of endomorphisms and modules over a ring

DOI10.2478/FORMA-2022-0016MaRDI QIDQ6489412zbMATH OpenFDO

Authors Yasushige Watase

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

moduleendomorphism ring

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Formalization of mathematics in connection with theorem provers (68V20) Module categories and commutative rings (13C60)

Recommendations

• Abelian groups as endomorphic modules over their endomorphism ring.
• scientific article; zbMATH DE number 1457315
• scientific article; zbMATH DE number 5818979
• R-HOMOMORPHISMS AND R-HOMOGENEODS MAPS
• scientific article; zbMATH DE number 2128378

Cites work

• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Continuity of bounded linear operators on normed linear spaces
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(1)

• Embedding principle for rings and abelian groups

This page was built for publication: Ring of endomorphisms and modules over a ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489412)