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 :Mathematical and Theoretical Biology

Mathematical and theoretical biology is an interdisciplinary scientific research field with a range of applications in the fields of biology, biotechnology, and medicine. The field may be referred to as mathematical biology or biomathematics to stress the mathematical

• ##### 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 :Explain Black–Scholes model Explain

Explain Black–Scholes model.

• ##### Q :Problem on Maple (a) Solve the

(a) Solve the following  by:

(i) First reducing the system of first order differentiat equations to a second order differential equation.

(ii) Decoupling the following linear system of equa

• ##### Q :Statistics math Detailed explanation of

Detailed explanation of requirements for Part C-1 The assignment states the following requirement for Part 1, which is due at the end of Week 4: “Choose a topic from your field of study. Keep in mind you will need to collect at least [sic] 3- points of data for this project. Construct the sheet y

• ##### Q :Problem on Fermats method A public key

A public key for RSA is published as n = 17947 and a = 3.

(i) Use Fermat’s method to factor n.

(ii) Check that this defines a valid system and find the private key X.

##### 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 :Profit-loss based problems A leather

A leather wholesaler supplies leather to shoe companies. The manufacturing quantity requirements of leather differ depending upon the amount of leather ordered by the shoe companies to him. Due to the volatility in orders, he is unable to precisely predict what will b

• ##### Q :Abstract Algebra let a, b, c, d be

let a, b, c, d be integers. Prove the following statements: (a) if a|b and b|c. (b) if a|b and ac|bd. (c) if d|a and d|b then d|(xa+yb) for any x, y EZ

• ##### Q :Linear programming model of a Cabinet

A cabinet company produces cabinets used in mobile and motor homes. Cabinets produced for motor homes are smaller and made from less expensive materials than those for mobile homes. The home office in Dayton Ohio has just distributed to its individual manufacturing ce