Semigroups related to additive and multiplicative, free and Boolean convolutions

Belinschi and Nica introduced a composition semigroup of maps on the set of probability measures. Using this semigroup, they introduced a free divisibility indicator, from which one can know quantitatively if a measure is freely infinitely divisible or not. In the first half of the paper, we further investigate this indicator: we calculate how the indicator changes with respect to free and Boolean powers; we prove that free and Boolean 1/2-stable laws have free divisibility indicators equal to infinity; we derive an upper bound of the indicator in terms of Jacobi parameters. This upper bound is achieved only by free Meixner distributions. We also prove Bozejko's conjecture that the Boolean powers mu((sic)t), t is an element of [0, 1], of a probability measure mu are freely infinitely divisible if the measure mu is freely infinitely divisible. In the other half of the paper, we introduce an analogous composition semigroup for multiplicative convolutions and define free divisibility indicators for these convolutions. Moreover, we prove that a probability measure on the unit circle is freely infinitely divisible relative to the free multiplicative convolution if and only if the indicator is not less than one. We also prove how the multiplicative divisibility indicator changes under free and Boolean powers and then we establish the multiplicative analogue of Bozejko's conjecture. We include an appendix, where the Cauchy distributions and point measures are shown to be the only fixed points of the Boolean-to-free Bercovici-Pata bijection.