Direct products and isomorphisms of fuzzy subgroups (Q1193842)

The author defines the internal direct product \(\mu \otimes \nu\) of two fuzzy subgroups \(\mu\) and \(\nu\) of a group \(G\). He also introduces a notion of homomorphism and isomorphism of fuzzy subgroups (of possibly different groups) and proves that \(\mu \otimes \nu\) is isomorphic to the external direct product \(\mu \times \nu\). Analogues of the first and third isomorphism theorems are also established.