Statement:
\(EI\ Ab\): For every Abelian group \(A\) there is an injective Abelian group \(G\) and a one to one homomorphism from \(A\) into \(G\).
Howard_Rubin_Number: 189
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
Book references
Note connections:
Note 60
Definitions from category theory