MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


if $G$ is a compact Lie group. Let $\mu$ be an infinitely divisible measure on $G$, such that $e$, the neutral element of $G$, is in the support of $\mu$. Is that true that the support of $\mu $ is a group ? Why ?

Thanks a lot.

share|cite|improve this question
Why do you ask? – Anthony Quas Dec 18 '12 at 16:56
Let's understand what "infinitely divisible" means when $G$ is not abelian . If $n$ is a positive integer, then there exist indpendent identically distributed random elements $Y_1,\dots,Y_n$ of $G$ such that $Y_1\cdot \dots\cdot Y_n$ has distribution $\mu$. – Gerald Edgar Dec 18 '12 at 18:15

Have you tried to look up

Heyer, Herbert, Probability measures on locally compact groups. Ergebnisse der Mathematik und ihrer Grenzgebiete. 94. Berlin-Heidelberg-New York: Springer-Verlag. (1977)?

I don't have access to this book right now, but I expect that you can find the answer there.

share|cite|improve this answer

Actually Martin the support in your exemple would be the closure of $\{\exp(ix), x\in \mathbb{N}\}$, which is equal to $U(1)$, which is a group.

In a finite group the proof would be just that if $x$ is in the support of $\mu$, looking at $\mu$ like more or less the measure of $X_1$ with $X$ a Levy process going from $e$, then it is obvious that we can "speed" up the jumps and so $x$ is in $X_{\frac{1}{2}}$, and so as the support of $X_1$ is equal to the closure of the product of the support of $X_{\frac{1}{2}}$ with himself then $\text{Support}(X_1)$ is stable by multiplication. Thus it is a group as a subset of a finite group which is stable by multiplication is a group. But in a Lie group can we "speed up" the jumps ? If $X$ is a Levy process beginning from $e$ having at any time $e$ in his support, is it true that : $Support(X_{1}) \subset Support(X_{\frac{1}{2}})$ ?

share|cite|improve this answer

Hello, Let consider a pure jump process on the unitary group on the complex plane : the jumps $exp(i)$ arrive randomly according to a Poisson process ; the support is composed of $exp(ix)$ with $x\in \mathbb{N}$. Is it a counter-example or I forget something ?

share|cite|improve this answer
I believe "support" should be a closed set, so you should take the closure of your countable set. Does it include also $\exp(ix)$ with $x<0$? – Gerald Edgar Dec 19 '12 at 14:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.