--%>

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 : First-order formulas over the

    Consider the unary relational symbols P and L, and the binary relational symbol On, where P(a) and I(a) encode that a is apoint and a (sraight) line in the 2-dimensional space, respectively, while On(a,b) encodes  that a is a point, b is a line, and o lies on b.

  • Q : Solve each equation by factoring A

    A college student invested part of a $25,000 inheritance at 7% interest and the rest at 6%.  If his annual interest is $1,670 how much did he invest at 6%?  If I told you the answer is $8,000, in your own words, using complete sentences, explain how you

  • 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 : Relationships Between Data Introduction

    Relationships Between Data - Introduction to Linear Regression Simple Regression Notes If you need guidance in terms of using Excel to run regressions, check pages 1 - 10 of the Excel - Linear Regression Tutorial posted to th

  • 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

  • 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 : 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

  • Q : Law of iterated expectations for

     Prove the law of iterated expectations for continuous random variables. 2. Prove that the bounds in Chebyshev's theorem cannot be improved upon. I.e., provide a distribution that satisfies the bounds exactly for k ≥1, show that it satisfies the bounds exactly, and draw its PDF. T

  • Q : Problem on mass balance law Using the

    Using the mass balance law approach, write down a set of word equations to model the transport of lead concentration. A) Draw a compartmental model to represent  the diffusion of lead through the lungs and the bloodstream.

  • Q : Explain the work and model proposed by

    Explain the work and model proposed by Richardson.