1: \begin{abstract}

2: Polar transforms are central operations in the study of polar codes.

3: This paper examines polar transforms for non-stationary memoryless sources on \emph{possibly infinite} source alphabets.

4: This is the first attempt of source polarization analysis over infinite alphabets.

5: The source alphabet is defined to be a Polish group, and we handle the Ar{\i}kan-style two-by-two polar transform based on the group.

6: Defining erasure distributions based on the normal subgroup structure, we give recursive formulas of the polar transform for our proposed erasure distributions.

7: As a result, the recursive formulas lead to concrete examples of multilevel source polarization with \emph{countably infinite levels} when the group is locally cyclic.

8: We derive this result via elementary techniques in lattice theory.

9: \end{abstract}

10: