|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
injection can be extended to isomorphism
|
(Theorem)
|
|
This current version of this entry, for this view style, is marked as broken, so it can't be shown. This problem is probably being worked on, but you might want to contact the entry's owner just in case. For now, you can also try selecting another view style below. Optionally, you can elect to see an old copy of this entry.
"injection can be extended to isomorphism" is owned by pahio.
|
|
(view preamble | get metadata)
Cross-references: onto, isomorphism, implies, equation, right inverse, right identity, binary operation, bijection, mapping, proof, group isomorphism, group, injection, theorem
This is version 7 of injection can be extended to isomorphism, born on 2009-05-27, modified 2009-10-29.
Object id is 11804, canonical name is InjectionCanBeExtendedToIsomorphism.
Accessed 423 times total.
Classification:
| AMS MSC: | 03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory ) | | | 20A05 (Group theory and generalizations :: Foundations :: Axiomatics and elementary properties) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
