|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Correction to 'algebra'
|
Unitary rings by AxelBoldt
Correction id: 874
Filed on: 2002-07-06 13:00:38
Status: Accepted on 2002-07-18 21:46:12
Type: Erratum
Correction text:
The two given definitions are not equivalent: If A has a one and B doesn't, then the second definition requires
1.b = b for all b in B (from the definition of module),
but the first definition doesn't.
Also, it should be pointed out how one moves from one definition to the other:
a.b := f(a)*b.
|
Comment from object owner djao:
| I can't actually think of any instantiations of your first point except for the case where A is the zero ring. But I will add in the identity requirement anyway since the last few minutes' of consideration indicates that the requirement is probably desirable. |
|
|
|
|
|
|
|
|
|
|
