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.