--%>

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 : State Measuring complexity Measuring

    Measuring complexity: Many algorithms have an integer n, or two integers m and n, as input - e.g., addition, multiplication, exponentiation, factorisation and primality testing. When we want to describe or analyse the `easiness' or `hardness' of the a

  • Q : Explain lognormal stochastic

    Explain lognormal stochastic differential equation for evolution of an asset.

  • 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 : Who had find Monte Carlo and finite

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

  • 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 : Explain Factorisation by Fermats method

    Factorisation by Fermat's method: This method, dating from 1643, depends on a simple and standard algebraic identity. Fermat's observation is that if we wish to nd two factors of n, it is enough if we can express n as the di fference of two squares.

  • Q : Explain Factorisation by trial division

    Factorisation by trial division: The essential idea of factorisation by trial division is straightforward. Let n be a positive integer. We know that n is either prime or has a prime divisor less than or equal to √n. Therefore, if we divide n in

  • Q : Budgeted cash disbursements The ABC

    The ABC Company, a merchandising firm, has budgeted its action for December according to the following information: • Sales at $560,000, all for cash. • The invoice cost for goods purc

  • Q : Problem on budgeted cash collections

    XYZ Company collects 20% of a month's sales in the month of sale, 70% in the month following sale, and 5% in the second month following sale. The remainder is not collectible. Budgeted sales for the subsequent four months are:     

  • Q : Abstract Boolean Algebra I. Boolean

    I. Boolean Algebra Define an abstract Boolean Algebra, B,  as follows:  The three operations are:  +   ( x + y addition) ( x y multiplic