Trivializing permutation coboundaries on the original fibre

Abstract

Trivializing permutation coboundaries on the original fibre.

Definition 1.1 (finiteFibreHomeomorph).

Source. Repository-derived.

Commentary.

A continuous permutation-valued transfer changes only the original discrete fibre coordinate; its inverse uses the transfer itself.

Theorem 1.2 (finiteFibreHomeomorph_conjugacy).

Source. Repository-derived.

Commentary.

The transfer equation conjugates the skew step to the base step times the identity on the original fibre.

Theorem 1.3 (invariant_of_unitStep).

Source. Repository-derived.

Commentary.

Invariance of a map under the integer generator implies invariance under every signed integer iterate.