2

Let $A,B,C,D$ be integral domains such that $A\times B$ is isomorphic to $C\times D$. Prove that $A$ is isomorphic to either $C$ or $D$.

Normally I include my thoughts about the problem, but I don't have any thoughts on this one... Any help is appreciated.

user557
  • 11,889
  • 1
    First try the case where they are all fields. Look at ideals and/or zero divisors. –  Jul 03 '18 at 01:58
  • The geometric picture is that $A \times B$ is the disjoint union of two irreducible topological spaces, and if two such disjoint unions are homeomorphic, then a component must be sent to a component (or else it would violate irreducibility). – Kenny Lau Jul 03 '18 at 02:35

2 Answers2

0

Let $\varphi: A \times B \to C \times D$ be the isomorphism.

Then, $\varphi(A \times \{0\})$ is an ideal of $C \times D$.

By the structure theorem for ideal of product, $\varphi(A)$ can be expressed in the form $\mathfrak c \times \mathfrak d$, where $\mathfrak c$ and $\mathfrak d$ are ideals of $C$ and $D$ respectively.

If they are both not zero, then letting $\varphi(a_c,0) \in C \times \{0\}$ and $\varphi(a_d,0) \in \{0\} \times D$ be the non-trivial elements, we see that $\varphi(a_c a_d, 0) = 0$, so $a_c = 0$ or $a_d = 0$, contradiction.

Therefore, either $\mathfrak c = 0$ or $\mathfrak d = 0$. In the first case, $A \cong D$; in the second case, $A \cong C$.

Kenny Lau
  • 25,049
0

Hint. $A \times B$ has exactly two ideals that are maximal among those consisting solely of zero divisors.

Dave
  • 1