Embedding principle for rings and abelian groups
From MaRDI portal
Publication:6557115
DOI10.2478/FORMA-2023-0013zbMATH Open1540.68298MaRDI QIDQ6557115FDOQ6557115
Authors: Yasushige Watase 
Publication date: 18 June 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
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
Polynomials over commutative rings (13B25) Formalization of mathematics in connection with theorem provers (68V20) Abelian groups (20K99)
Cites Work
- Mizar: state-of-the-art and beyond
- Title not available (Why is that?)
- Title not available (Why is that?)
- Commutative algebra in the Mizar system
- On duplication in mathematical repositories
- On monomorphisms and subfields
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Algebraic extensions
- Ring of endomorphisms and modules over a ring
- Existence and uniqueness of algebraic closures
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)
