A318296 - OEIS

These partitions form a semiring. The semiring uses the following binary operations *,+: Let A=(a1,a2,..,aj) be a partition of k that has j parts with i of those j being powers of 2 greater than 1, written in nonincreasing order. Let B be a partition of y that has x parts, with w of the x being powers of 2 greater than 1, arranged in descending order. Then A+B = (a1,a2,...,aj,b1,b2,...,bx), and A*B=AB=(a1,a2,...,aj)*(b1,b2,...,bx) is defined to be the partition (a1b1,a2b1,...,a1bx,a2b1,...,a2bx,...,ajbx) of ky. Since i and w are even by assumption, the numbers of powers of two in A+B (= i + w) and AB (= ix + jw - iw) must also be even, and both are members of the semiring. In addition, if C = (c1,...cm) is a partition of k into m parts, n of which are powers of two, (AB)C = A(BC) = (a1b1c1,a2b1c1,...,ajbxcm), and (A+B)C = (a1,a2,...,aj,b1,b2,...,bx)(c1,...cm) = (a1c1,a2c1,...,ajcm,b1c1,...) = (a1c1,a2c1,...,ajcm) + (b1c1,b2c1,...,bxcm) = AC + BC, so the necessary criteria for a semiring hold. [Missing parts added by Charlie Neder, Feb 09 2019]