Accesso libero

Embedding Principle for Rings and Abelian Groups

INFORMAZIONI SU QUESTO ARTICOLO

Cita

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
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Mathematics, General Mathematics, Computer Sciences, other