Is the reason that in general because if we define a map of the type , the inverse doesn't exist, since isn't in or ? (the text doesn't require a ring to have unity)
I have a follow-up question depending on the answer. Thanks.
(by the way, I am new to this forum and read the rules, but if there's anything I should be aware of, please let me know)