This is another problem from Herstein. The first problem 12 asks to prove that if G is closed under associative product and(adsbygoogle = window.adsbygoogle || []).push({});

(a) there is a e so that for any element a in G we have ae=a

(b) for each a in G there is a y(a) so that ay(a)=e

then G is a group. Although it took me some time to do, it comes down to showing that y(a)a=ay(a)=e and from there show ea=ae=a, which is straightforward.

then problem 13 asks to show that the conclusion of problem 12 is false if we assume instead

(a)same

(b')given a in G there is a y(a) so that y(a)a=e.

I presume that this G is closed under an associative product as well, because if not a trivial example is;

positive integers with 0=e under subtraction. Then for any a, a is our y(a) so a-a=e=0 and ae=a-e=a-0=a.

What counterexample is there if we assume G is closed under an associative product?

**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!

# Counterexample for an alternate definition for a group

Loading...

Similar Threads - Counterexample alternate definition | Date |
---|---|

Alternate expression for definition of an Ideal? | Feb 22, 2015 |

Normal matrix that isn't diagonalizable; counterexample? | Jun 27, 2012 |

Alternating group | Jan 27, 2012 |

Simple counterexample for claim about integral domains | Jun 2, 2008 |

Counterexample so that (ab)^i=a^ib^i for two consecutive integers | Dec 10, 2007 |

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