--%>

Theorem-Group is unique and has unique inverse

Let (G; o) be a group. Then the identity of the group is unique and each element of the group has a unique inverse.

In this proof, we will argue completely formally, including all the parentheses and all the occurrences of the group operation o. As we proceed with later work, we will very soon relax our level of formality, omitting avoidable parentheses and uses of the operation symbol.

E

Expert

Verified

Proof:

First, we prove uniqueness of the identity. Suppose that e; e' ≡ G both have the property stated in the axiom for the identity; that is,

g o e = e o g = g and g o e' = e' o g = g

for all g ≡ G. For uniqueness, we need to prove that e = e'.

Applying the First equation above to g = e' and the second to g = e, we get

e'o e = e o e' = e' and e o e' = e'o e = e:

Comparing these gives e = e', as required.

Second, we prove that each element of G has a unique inverse. Suppose that for a fixed g ≡ G there are elements h and k which both have the property required of an inverse; that is,

g o h = h o g = e and g o k = k o g = e:

We need to prove that h = k.

Multiplying through the equation k o g = e on the right by h gives

(k o g) o h = e o h;

associativity gives

k o (g o h) = e o h;

and then since g o h = e we have

k o e = e o h:

Using the fact that e is the identity, we nally

get k = h, as required.

   Related Questions in Mathematics

  • Q : How do it? integral e^(-t)*e^(tz) t

    integral e^(-t)*e^(tz) t between 0 and infinity for Re(z)<1

  • Q : Problem on inverse demand curves In

    In differentiated-goods duopoly business, with inverse demand curves: P1 = 10 – 5Q1 – 2Q2P2 = 10 – 5Q2 – 2Q1 and per unit costs for each and every firm equal to 1.<

  • Q : Probability and Stochastic assignment

    Introduction to Probability and Stochastic Assignment 1: 1. Consider an experiment in which one of three boxes containing microchips is chosen at random and a microchip is randomly selected from the box.

  • Q : Statistics Caterer determines that 37%

    Caterer determines that 37% of people who sampled the food thought it was delicious. A random sample of 144 out of population of 5000. The 144 are asked to sample the food. If P-hat is the proportion saying that the food is delicious, what is the mean of the sampling distribution p-hat?

  • Q : Calculus I need it within 4 hours. Due

    I need it within 4 hours. Due time March 15, 2014. 3PM Pacific Time. (Los Angeles, CA)

  • Q : What is Non-Logical Vocabulary

    Non-Logical Vocabulary: 1. Predicates, called also relation symbols, each with its associated arity. For our needs, we may assume that the number of predicates is finite. But this is not essential. We can have an infinite list of predicates, P

  • Q : Graph Theory is the n-Dimensional Qn

    is the n-Dimensional Qn Hamiltonian? Prove tour answer

  • Q : Problem on Linear equations Anny, Betti

    Anny, Betti and Karol went to their local produce store to bpought some fruit. Anny bought 1 pound of apples and 2 pounds of bananas and paid $2.11.  Betti bought 2 pounds of apples and 1 pound of grapes and paid $4.06.  Karol bought 1 pound of bananas and 2

  • Q : What is the definition of a group Group

    Group: Let G be a set. When we say that o is a binary operation on G, we mean that o is a function from GxG into G. Informally, o takes pairs of elements of G as input and produces single elements of G as output. Examples are the operations + and x of

  • Q : Theorem-G satis es the right and left

    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)