Arrow symbol for homomorphism?

2.1k Views Asked by At

Is there a standard arrow or symbol to represent homomorphisms $R\to S$ between two structures? I would prefer not to write out the word homomorphism every time I need to say something is a homomorphism!

I believe in category theory the arrows are assumed to be homomorphisms?...but not in ring theory, group theory etc. So really looking for a symbol in the latter contexts.

--

Edit based on current answers: (To clarify im not looking for non-standard abbreviations such as "hom" or "homo" and i'm not looking for symbols/arrows for isomorphisms, surjections, injections etc.)

2

There are 2 best solutions below

3
On BEST ANSWER

When the context is clear about the structures of $A$ and $B$, and they are of the same type, then the standard meaning of an arrow $A\to B\ $ is $\ $that it's a homomorphism.

1
On

Usually, you can say "arrow" or "map" when you have defined what the arrows in your category are. Say, for example, you are working on the category of groups. Then saying "...let $G\to H$ be an arrow/map and consider..." is reasonable, as long as it doesn't lead to doubt. In general, be there two (or more) different different categories at hand, authors are consistent with the letters used for various objects of the different categories. For example, if you are considering algebras and coalgebras, it is reasonable to stick to $A,A'$ and variants for algebras, and to $C,C'$ and variants for coalgebras. A good way to learn how to do this is to read some papers where this happens!

To be concrete, take an editorial look (nevermind the mathematical content) of the paper Minimal models in Homotopy Theory by Baues and Lemaire. They consistently use $V$ for vector spaces, $A$ or $B$ for algebras, $C$ for coalgebras, $M$ for modules, $L$ for Lie algebras. Thus, when an arrow between two letters appear, you will automatically understand what kind of arrow this is, or if need be, the authors will clarify this.