I've tried all sorts of things, such as (call my map on D[x]\0 V)Originally Posted by The problem
(the 2^n is to distinguish a_0 being a unit from a_1, say, being a unit for property (ii)), but I'm always hitting a snag for property (i) since there isn't linearity of v. I know the integral domain is an example of such a D, with so I've been playing with to help come up with a desirable V, but to no avail.
If you could suggest what the map should like I'd be most appreciative.
Many thanks