Embedding principle for rings and abelian groups

DOI10.2478/FORMA-2023-0013MaRDI QIDQ6557115zbMATH OpenFDO

Authors Yasushige Watase

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2023-0013

zbMATH Keywords

abelian groupembeddingring

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Abelian groups (20K99) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Embedding semigroups in groups: not as simple as it might seem
• Embeddings of universal algebras into simple ones
• Some accessible treatment of algebraic isomorphisms
• On the identification of carriers. II: Integral domains.
• The structure of an abelian group whose endomorphism ring is a solvable Lie ring

Cites work

• Algebraic extensions
• Commutative algebra in the Mizar system
• Existence and uniqueness of algebraic closures
• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• On duplication in mathematical repositories
• On monomorphisms and subfields
• Ring of endomorphisms and modules over a ring
• The role of the Mizar mathematical library for interactive proof development in Mizar

This page was built for publication: Embedding principle for rings and abelian groups

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