--%>

Properties of a group

How can we say that the pair (G, o) is a group. Explain the properties which proof it.

E

Expert

Verified

Let G be a set and suppose that o is a binary operation on G. We say that the pair (G; o) is a group if it has the following properties.

(i) The operation o is associative; that is, (g o h) o k = g o (h o k) for all g; h; k ≡ G.

(ii) There exists an identity for o ; that is, there exists e ≡ G such that g o e = e o g = g for all g ≡ G.

(iii) There exist inverses for o ; that is, for each g ≡ G, there exists g-1≡ G such that
g o g-1 = g-1 o g = e:

There is another property implicit in this de nition which it is useful to give a name to. Instead of saying that o is a binary operation on G, we can say that the law of closure holds for o, meaning that when o acts on two elements of G the result is also in G.

Most of the groups (G; o) we study will also have the following property.

(iv) The operation o is commutative; that is, g o h = h o g for all g; h ≡ G.

A group with this property is called commutative or, more usually, abelian, after the Norwegian mathematician Niels Henrik Abel (1802{1829).

   Related Questions in Mathematics

  • 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 : 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 : 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 : What is Big-O hierarchy The big-O

    The big-O hierarchy: A few basic facts about the big-O behaviour of some familiar functions are very important. Let p(n) be a polynomial in n (of any degree). Then logbn is O(p(n)) and p(n) is O(an<

  • 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 : How to get calculus homework done from

    How to get calculus homework done from tutor

  • Q : Logic and math The homework is attached

    The homework is attached in the first two files, it's is related to Sider's book, which is "Logic for philosophy" I attached this book too, it's the third file.

  • Q : State Fermat algorithm The basic Fermat

    The basic Fermat algorithm is as follows: Assume that n is an odd positive integer. Set c = [√n] (`ceiling of √n '). Then we consider in turn the numbers c2 - n; (c+1)2 - n; (c+2)2 - n..... until a perfect square is found. If th

  • Q : Where would we be without stochastic

    Where would we be without stochastic or Ito^ calculus?

  • Q : Elementary Logic Set & Model of a

    Prove that Elementary Logic Set is a Model of a Boolean Algebra The three Boolean operations of Logic are the three logical operations of  OR ( V ), AN