Go backward to TranslationGo up to TopGo forward to Proof |

*Proposition:* cartesian and polar are bijections.

cartesian o polar = 1 _{C},polar o cartesian = 1 _{C'}

x*_{C'}y:= <x_{0}*y_{0}, shift(x_{1}+y_{1})>

*Proposition:*
**C** and **C**' are *isomorphic* with respect to multiplication.

polar: C->^{iso(*C, *C')}C'cartesian: C' ->^{iso(*C', *C)}C

Author: Wolfgang Schreiner

Last Modification: December 7, 1999