--%>

Theorem-G satis es the right and left cancellation laws

Let G be a group.

(i) G satis es the right and left cancellation laws; that is, if a; b; x ≡ G, then ax = bx and xa = xb each imply that a = b.

(ii) If g ≡ G, then (g-1)-1 = g.

E

Expert

Verified

Proof:

(i) From ax = bx, we have axx-1 = bxx-1, then ae = be, then a = b. Similarly for the other case.

(ii) Temporarily denote the inverse of g-1 by h (instead of (g-1)-1). Then the defining property of h, from the axiom for inverses applied to g-1, is that

g-1h = hg-1 = e:

But g itself satis es these equations in place of h, because the axiom for inverses applied to g says that

gg-1 = g-1g = e:

Hence, since inverses are unique, h = (g-1)-1 = g, as required.

   Related Questions in Mathematics

  • Q : Formal logic2 It's a problem set, they

    It's a problem set, they are attached. it's related to Sider's book which is "Logic to philosophy" I attached the book too. I need it on feb22 but feb23 still work

  • Q : Who derived the Black–Scholes Equation

    Who derived the Black–Scholes Equation?

  • Q : Competitive equilibrium 8. Halloween is

    8. Halloween is an old American tradition. Kids go out dressed in costume and neighbors give them candy when they come to the door. Spike and Cinderella are brother and sister. After a long night collecting candy, they sit down as examine what they have. Spike fi

  • Q : Problem on mixed-strategy equilibrium

    Assume three Offices (A, B, & C) in downtown,  simultaneously decide whether to situate in a new Building. The payoff matrix is illustrated below. What is (are) the pure stratgy Nash equilibrium (or equilibria) and mixed-strtegy equilibrium of the game?

  • Q : Examples of groups Examples of groups:

    Examples of groups: We now start to survey a wide range of examples of groups (labelled by (A), (B), (C), . . . ). Most of these come from number theory. In all cases, the group axioms should be checked. This is easy for almost all of the examples, an

  • Q : Who had find Monte Carlo and finite

    Who had find Monte Carlo and finite differences of the binomial model?

  • Q : Econ For every value of real GDP,

    For every value of real GDP, actual investment equals

  • Q : Graph Theory is the n-Dimensional Qn

    is the n-Dimensional Qn Hamiltonian? Prove tour answer

  • Q : Formal logic It's a problem set, they

    It's a problem set, they are attached. it's related to Sider's book which is "Logic to philosophy" I attached the book too. I need it on feb22 but feb23 still work

  • Q : Numerical Analysis Hi, I was wondering

    Hi, I was wondering if there is anyone who can perform numerical analysis and write a code when required. Thanks