Accès libre

Embedding Principle for Rings and Abelian Groups

À propos de cet article

Citez

The article concerns about formalizing a certain lemma on embedding of algebraic structures in the Mizar system, claiming that if a ring A is embedded in a ring B then there exists a ring C which is isomorphic to B and includes A as a subring. This construction applies to algebraic structures such as Abelian groups and rings.

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Mathematics, General Mathematics, Computer Sciences, other