Theorem 8.3 in Gallian's Contemp. Abst Alg(adsbygoogle = window.adsbygoogle || []).push({});

says with (s, t) = 1 the group U(st) is isomorphic

to the external direct product of U(s) and U(t)

that is, to U(s) (+) U(t)

U(n) is the group of positive

integers less than n and relatively prime to n with the

group operation multiplication mod n

Defining a map f from U(st) -> U(s)(+) U(t) as f : x -> (x mod s, x mod t)

I am confused on how to proceed to show that f is HOMOMORPHISM. Please see my working below....

LET a, b belong to U( st) then

f ( a x b mod st )=f ( ab mod st)

= ( ( ab mod st ) mod s , ( ab mod st ) mod t))

Now, since ab mod st = ab mod s = ab mod t and (ab mod s ) mod s = ab mod s

= ( ab mod s, ab mod t )

= ( a mods, a mod t) (b mod s , b mod t)

= f ( a ) f (b)

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# External direct product- homomorphism

Loading...

Similar Threads - External direct product | Date |
---|---|

I Entries in a direction cosine matrix as derivatives | Feb 20, 2017 |

I Prove that V is the internal direct sum of two subspaces | Feb 6, 2017 |

I Characterization of External Direct Sum - Cooperstein | Apr 21, 2016 |

Geometric and extern product | May 1, 2005 |

External direct products | Oct 6, 2004 |

**Physics Forums - The Fusion of Science and Community**