Ring of endomorphisms and modules over a ring

DOI10.2478/FORMA-2022-0016MaRDI QIDQ6489412FDOQ6489412

Authors: Yasushige Watase 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Cites Work

• Mizar: State-of-the-art and Beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Continuity of bounded linear operators on normed linear spaces

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)