cp's OEIS Frontend

Naturally, such a partition must have an even number of parts. Its multiplicities form a graphical partition (A000569, A320922), and vice versa.

First differs from A320911 in lacking 36.

A squarefree semiprime (A006881) is a product of any two distinct prime numbers.

The following are equivalent characteristics for any positive integer n:

(1) the prime factors of n can be partitioned into distinct strict pairs (a set of edges);

(2) n can be factored into distinct squarefree semiprimes;

(3) the prime signature of n is graphical.

First differs from A212167 in lacking 1080, with prime indices {1,1,1,2,2,2,3}.

First differs from A335433 in lacking 72 (see example).

A squarefree semiprime (A006881) is a product of any two distinct prime numbers.

The following are equivalent characteristics for any positive integer n:

(1) the prime factors of n can be partitioned into distinct singletons and strict pairs, i.e., into a set of half-loops and edges;

(2) n can be factored into distinct primes or squarefree semiprimes;

(3) the prime signature of n is half-loop-graphical.

The alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.

The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.

The reverse-alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(k-i) y_i.

The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.

For any number n > 0, let f(n) be the polynomial in a single indeterminate x where the coefficient of x^e is the prime(1+e)-adic valuation of n (where prime(k) denotes the k-th prime); f establishes a bijection between the positive numbers and the polynomials in a single indeterminate x with nonnegative integer coefficients; let g be the inverse of f; T(n, k) = g(f(n) * f(k)).

This table has many similarities with A248601.

For any n > 0 and m > 0, f(n * m) = f(n) + f(m).

Also, f(1) = 0 and f(2) = 1.

The function f can be naturally extended to the set of positive rational numbers: if r = u/v (not necessarily in reduced form), then f(r) = f(u) - f(v); as such, f is a homomorphism from the multiplicative group of positive rational numbers to the additive group of polynomials of a single indeterminate x with integer coefficients.

See A297473 for the main diagonal of T.

As a binary operation, T(.,.) is related to A306697(.,.) and A329329(.,.). When their operands are terms of A050376 (sometimes called Fermi-Dirac primes) the three operations give the same result. However the rest of the multiplication table for T(.,.) can be derived from these results because T(.,.) distributes over integer multiplication (A003991), whereas for A306697 and A329329, the equivalent derivation uses distribution over A059896(.,.) and A059897(.,.) respectively. - Peter Munn, Mar 25 2020

From Peter Munn, Jun 16 2021: (Start)

The operation defined by this sequence can be extended to be the multiplicative operator of a ring over the positive rationals that is isomorphic to the polynomial ring Z[x]. The extended function f (described in the author's original comments) is the isomorphism we use, and it has the same relationship with the extended operation that exists between their unextended equivalents.

Denoting this extension of T(.,.) as t_Q(.,.), we get t_Q(n, 1/k) = t_Q(1/n, k) = 1/T(n, k) and t_Q(1/n, 1/k) = T(n, k) for positive integers n and k. The result for other rationals is derived from the distributive property: t_Q(q, r*s) = t_Q(q, r) * t_Q(q, s); t_Q(q*r, s) = t_Q(q, s) * t_Q(r, s). This may look unusual because standard multiplication of rational numbers takes on the role of the ring's additive group.

There are many OEIS sequences that can be shown to be a list of the integers in an ideal of this ring. See the cross-references.

There are some completely additive sequences that similarly define by extension completely additive functions on the positive rationals that can be shown to be homomorphisms from this ring onto the integer ring Z, and these functions relate to some of the ideals. For example, the extended function of A048675, denoted A048675_Q, maps i/j to A048675(i) - A048675(j) for positive integers i and j. For any positive integer k, the set {r rational > 0 : k divides A048675_Q(r)} forms an ideal of the ring; for k=2 and k=3 the integers in this ideal are listed in A003159 and A332820 respectively.

(End)

A semiprime (A001358) is a product of any two not necessarily distinct primes.

These are also integer partitions that can be partitioned into not necessarily distinct edges (pairs of distinct parts). For example, (3,3,2,2) can be partitioned as {{2,3},{2,3}}, so is counted under a(10), but (4,2,2,2) and (4,2,1,1,1,1) cannot be partitioned into edges. The multiplicities of such a partition form a multigraphical partition (A209816, A320924).

An integer partition is graphical if it comprises the multiset of vertex-degrees of some graph. See A209816 for multigraphical partitions, A000070 for non-multigraphical partitions. Graphical partitions are counted by A000569.

The following are equivalent characteristics for any positive integer n:

(1) the prime indices of n can be partitioned into distinct strict pairs (a set of edges);

(2) n can be factored into distinct squarefree semiprimes;

(3) the prime signature of n is graphical.