Let $\lambda, \mu$ be complex measures on $(X,\alpha)$ and $(Y,\beta).$ Prove there exists a unique complex measure $\lambda\times \mu$ on the sigma algebra $\alpha\otimes \beta,$ such that $(\lambda\times \mu)(A\times B)=\lambda(A)\mu(B),$ for every $A\in \alpha, B\in \beta.$
This question is from an old exam I am studying for.
My idea goes as follows. Because $\mu\ll|\mu|,$ by Radon Nikodym we have $$ \mu(A)=\int_A fd|\mu|,$$ also $\lambda(A)=\int_B gd|\lambda|.$ Now we have $$\mu(A)\lambda(B)=\int_A fd|\mu|\int_B gd|\lambda|=\int_B\int_Af(x)g(y)d|\mu|(x)d|\lambda|(y)=\int_{A\times B}f(x)g(y)d(|\mu|\times|\lambda|).$$ The expression $$\int_{A\times B}f(x)g(y)d(|\mu|\times|\lambda|)$$ defines a measure on $A\times B.$ I know $|\mu|\times|\lambda|$ is a unique positive measure on $A\times B$ such that $(|\mu|\times|\lambda|)(A\times B)=|\mu|(A)\cdot|\lambda|(B).$ I cant finish the proof from here on, but I suppose my idea is on the right way.
If I knew that $(|\mu|\times|\lambda|)(A\times B)=|\mu|(A)\cdot|\lambda|(B),$ then the uniqueness is obvious. But is that true? How can I prove that? If it is not true, how can I finish the proof? Please help.