Timeline for Superfluous definitions
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2011 at 3:26 | comment | added | ndkrempel | @Harry: Thanks for making that clear. | |
| Feb 14, 2011 at 0:16 | comment | added | Harry Altman | You have to be careful with how you define "inverse" here, though. You need a right identity $e$ and for each $a$ an $a^{-1}$ such that $aa^{-1}=e$ - note that here when we multiply by the inverse we get a specific right-identity. If we merely require for each $a$ there exists an $a^{-1}$ such that $aa^{-1}$ is some right-identity, it doesn't work. | |
| Feb 13, 2011 at 23:28 | history | answered | ndkrempel | CC BY-SA 2.5 |