Go backward to Translation Go up to Top Go forward to Proof

Relationship

Proposition: cartesian and polar are bijections.

cartesian o polar = 1C,

polar o cartesian = 1C'

x *_C' y := <x₀*y₀, shift(x₁+y₁)>

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

polar: C ->iso(*C, *C') C'

cartesian: C' ->iso(*C', *C) C