Quotient tower of a partition
ID: quotient-tower-of-a-partition
The -quotient tower recursively takes the -quotient of every partition at the preceding level. For , the sum of the sizes at each new level is at most times the preceding sum, so every partition has finite depth. For , the quotient is the original partition and the tower has finite depth only for the empty partition.
New to topics? Read the docs here!