Explore BrainMass
Share

Explore BrainMass

    group

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    A) Let G be a nonempty finite set equipped with an associative operation such that for all a,b,c,d in G:
    if ab = ac, then b = c and if bd = cd, then b = c.
    Prove that G is a group.

    b) Show that part (a) may be false if G is infinite

    © BrainMass Inc. brainmass.com October 10, 2019, 2:17 am ad1c9bdddf
    https://brainmass.com/math/group-theory/evaluating-data-group-not-370582

    Solution Preview

    For a more readable version of the solution, please see the attached file "Solution.pdf".

    Note: Throughout this proof, associativity is implicitly used by not grouping the terms into brackets. If necessary, it can be explicitly shown (at the cost of a longer proof).

    Since G is finite, let G = {a_1, a_2, ... a_n}.
    Now consider the set S = {(a_1)(a_k) | k = 1, 2, ... n}.
    Since the operation is defined on G, (a_j)(a_k) is in G, for all a_j and a_k in G. Thus, the set S is a subset of G.
    But it is given that ab = ac => b = c, for all a, b, c in G.
    Therefore, (a_1)(a_j) = (a_1)(a_k) => a_j = ...

    Solution Summary

    This solution provides detailed steps explaining how to evaluate the given data as a group or not.

    $2.19