Only injectivity sufficient for isomorphism between two groups according to Herstein?

296 Views Asked by At

I just re-read Herstein's popular text Topics in Algebra, where he says that an isomorphsim between two groups is defined as a homomorphism between those two groups with the added property of injectivity.

However, the very next definition shows that two groups are said to be isomorphic iff there exists an isomorphism from one of the groups onto the other. And, many standard perception and texts say that isomorphism is always bijective. So, what is this thing all about? Is injectivity sufficient for most properties of isomorphism, like, the isomorphism/homomorphism theorems? Any hints? Thanks beforehand.

2

There are 2 best solutions below

4
On BEST ANSWER

Herstein's definition of a group isomorphism is no longer the standard definition. He defines an isomorphism to be a homomorphism that is one-one, and his meaning of one-one is what we now call injective. That is not the same as the current standard definition of an isomorphism, which is a bijective homomorphism.

0
On

Herstein is introducing an isomorphism between $R$ and $R'$ as an injective homomorphism which does not imply, as we see by his next definition, that $R$ and $R'$ are isomorphic.

This is a slightly odd way to introduce things and was probably considered standard at the time. I have only ever seen isomorphism defined as a bijective homomorphism and of course, two groups defined as isomorphic if there is a bijective homomorphism between them. This seems to be the modern way of introducing the topic.

Edit: I have since checked 'Theory of Groups' by Hall which was released in 1959, 5 years earlier than 'Topics in Algebra' and it too introduces an isomorphism as an injective homomorphism.