Suppose that $\mathcal{U},\mathcal{V}$ are ultrafilters on sets. Recall that $\mathcal{U}\leq_{RK}\mathcal{V}$ (here we say $\mathcal{U}$ is Rudin-Keisler less than or equal to $\mathcal{V}$) iff for each first order structure $\mathcal{A}$, the ultrapower $\mathcal{A}^{\mathcal{U}}$ is elementarily embeddable in $\mathcal{A}^{\mathcal{V}}$, and $\mathcal{U}=_{RK}\mathcal{V}$ (here we say $\mathcal{U}$ is Rudin-Keisler equivalent to $\mathcal{V}$) iff $\mathcal{A}^{\mathcal{U}}$ is isomorphic to $\mathcal{A}^{\mathcal{V}}$ for each first order structure $\mathcal{A}$. If $\mathcal{U},\mathcal{V}$ are ultrafilters, then there is a unique up-to Rudin-Keisler equivalence ultrafilter $\mathcal{U}\cdot\mathcal{V}$ such that $\mathcal{A}^{\mathcal{U}\cdot\mathcal{V}}$ is isomorphic to $(\mathcal{A}^{\mathcal{U}})^{\mathcal{V}}$ for all first order structures $\mathcal{A}$. I have a few questions about the product operation on ultrafilters.

> 1. If $\mathcal{U}\cdot\mathcal{V}=_{RK}\mathcal{U}\cdot\mathcal{W}$, then do we necessarily have $\mathcal{V}=_{RK}\mathcal{W}$?
> 
> 2. If $\mathcal{U}\cdot\mathcal{V}\leq_{RK}\mathcal{U}\cdot\mathcal{W}$,
> then do we necessarily have $\mathcal{V}\leq_{RK}\mathcal{W}$?
> 
> 3. If $\mathcal{V}\cdot\mathcal{U}=_{RK}\mathcal{W}\cdot\mathcal{U}$, then do we necessarily have $\mathcal{V}=_{RK}\mathcal{W}$?
> 
> 4. If $\mathcal{V}\cdot\mathcal{U}\leq_{RK}\mathcal{W}\cdot\mathcal{U}$,
> then do we necessarily have $\mathcal{V}\leq_{RK}\mathcal{W}$?
> 
> 5. If $\mathcal{U}\cdot\mathcal{U}=_{RK}\mathcal{V}\cdot\mathcal{V}$, then do we necessarily have $\mathcal{U}=_{RK}\mathcal{V}$?
> 
> 6. If $\mathcal{U}\cdot\mathcal{U}\leq_{RK}\mathcal{V}\cdot\mathcal{V}$,
> then do we necessarily have $\mathcal{U}\leq_{RK}\mathcal{V}$?

I would also be interested in any proof or reference of similar results about the product of ultrafilters.