7

Let $ f:(A, \cdot) \to (B, \ast) $ and $g:(B,\ast) \to (C,\times)$ be Operation preserving maps. Then I must prove that $ g \circ f$ is an operation preserving map too. This is what I have so far: Since $f$ is a homomorphism $(A, \cdot)$ and $(B, \ast)$ are groups and $ f(x \cdot y)=f(x)\ast f(y)$ Since $(C,\times)$ is a group so $g(f(x)\ast (f(y))=g(f(x)) \times g(f(y))$. Hence $ g\circ f$ is homomorphic.

Sigur
  • 6,416
  • 3
  • 25
  • 45
math101
  • 1,143
  • What is 'operation preserving maps'? Do you want to prove that composition of homomorphisms is homomorphism? – Sigur Aug 17 '12 at 00:45
  • An operation preserving map I think is another way of saying that a function is homomorphic. My textbook uses the weirdest terms – math101 Aug 17 '12 at 00:49
  • 3
    You should probably write out the full line: $$(g\circ f)(x\cdot y)=g(f(x\cdot y))=g(f(x)*f(y))=g(f(x))\times g(f(y))=(g\circ f)(x)\times(g\circ f)(y).$$ That's all you have to do, right? – anon Aug 17 '12 at 00:52
  • 3
    $(g\circ f)(x\cdot y)=g(f(x\cdot y))=g(f(x)\ast f(y))=g(f(x))xg(f(y))=(g\circ f)(x)x(g\circ f)(y)$ – Sigur Aug 17 '12 at 00:53
  • 3
    It would be better to use \times ($\times$) instead of overuse the letter $x$... – anon Aug 17 '12 at 00:53
  • @anon, you have typed faster than me... lol – Sigur Aug 17 '12 at 00:54
  • 2
    @anon Please consider converting your comment into an answer, so that this question gets removed from the unanswered tab. If you do so, it is helpful to post it to this chat room to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see here, here or here. – Julian Kuelshammer Jun 22 '13 at 08:55

1 Answers1

2

The composition, in order to be "operation preserving", must fulfill $$(g \circ f)(x \cdot y) = g(f(x\cdot y)) = (g \circ f)(x) \times (g \circ f)(y).$$

Since $f$ preserves the operation $\cdot$, we have $g(f(x\cdot y) = g(f(x) \ast f(y))$, where $f(x)$ and $f(y)$ are elements of $B$ and since $g$ preserves the operation $\ast$, we get $g(f(x) \ast f(y)) = g(f(x)) \times g(f(y))$ and we're done.

pepa.dvorak
  • 1,009