Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Simple explanation of group generators

  1. Feb 17, 2015 #1

    I am trying to get a simple grasp of the concept of a group generator and group representations.

    As ever wherever I look, I get very mathematical speak definitions such as:

    "A representation is a mapping that takes elements g in G into linear operators F that preserve the composition rule".

    I get the second half of the sentence but I still get stuck conceptually as soon as I read the words: 'a mapping that takes a group of elements into linear operators'

    And similarly, I am stuck on the word 'generators.'


  2. jcsd
  3. Feb 17, 2015 #2
    If ##W ## is the mapping then the composition rule required for a representation is
    $$W(g) \cdot W(h) = W(gh) $$
    $$W: G\to F$$
    $$g, h\in G $$

    Here, ## W(g)## is the linear operator that corresponds to the element ##g## from ##G##.

    A representation is a group homomorphism into some linear operator group.
  4. Feb 17, 2015 #3
    A representation can be a set a matrices, yes? Where each matrix represents an element in the group, so that the operation of the group can be reduced to simple matrix multiplication.
  5. Feb 17, 2015 #4
    "I don't understand this phrase yet: "A group homomorphism into some linear operator group". Can you explain it please with a simple example? Thanks
  6. Feb 17, 2015 #5
    A homomorphism follows the rules for W as above only instead of mapping into a linear operator group, it could be some arbitrary other group.
  7. Feb 17, 2015 #6
    Thanks - so structure of the group is basically conserved.

    But then what are group generators? Are they the most basic elements of the group that are needed to generate all the other elements in an infinite group? Do you have generators in a finite group? Thanks
  8. Feb 18, 2015 #7
    A set of generator of a group is a set that generates the whole group. If, for example a, b, c are a set of generators for some group, then every element of the group is of the form [itex]a^i b^j c^j b^k c^l ...[/itex] where you can compose any finite sequence of the letters a,b,c, in any order, inside the expressions, with any positive or negative exponents (and two consecutive letters are different).
    A group may be finite or infinite, finitely generated or infinitely generated (it is, of course, always finitely generated if the group is finite, taking the whole group as a set of generators, and it may be finitely generated even if the group is infinite). Notice also that in general, two different expressions may represent the same element (this is necessary if the group is finite). If this is not the case, then the group is said to be freely generated by the given set of generators. This means that every element can be written in a unique manner as an expression of the above form.
  9. Feb 20, 2015 #8


    User Avatar
    Science Advisor
    Homework Helper

    generators are to a group sort of like letters of the alphabet are to the set of all words. i.e. all group elements can be made by combining generators.

    except in a group usually there can be different spellings of the same word, i.e. there can be different combinations of the generators that give the same resulting group element. (maybe you haVE TO ALLOW ALSO INVERSES OF THE GENERATORS -oops).

    "free groups" are ones where every different combination of some appropriate set of generators does give a different group element.

    one nice group is the group of all nxn matrices with entries from some familiar number system, like the reals or complexes.

    a group representation is a function taking the elements of your group into elements of a matrix group, so as to preserve the multiplication, or rather so as to turn the group multiplication into matrix multiplication.

    e.g. one can represent the group of permutations of n elements in the group of nxn matrices, by taking each permutation to the matrix in which either the rows or the columns are permuted by that permutation, (i forget which one makes the multiplication work out right.)

    if p is a prime number, then i seem to recall that one can choose a generators for the permutation group of p elements, the set of two permutations, one an interchange of just two elements, like (12), and the other a transitive cycle, like (123.....p), (and its inverse (p....321)). e.g. then the product (123...p)(12)(p.....321) = (1p). i hope.
  10. Feb 22, 2015 #9

    Stephen Tashi

    User Avatar
    Science Advisor

    Yes. For an infinite group, it can be an infinite set of matrices. A typical way to present an infinite set of matrices is write a matrix that has variable parameters in it - such as [itex] \begin{pmatrix} \cos{\theta}&-\sin{\theta} \\ \sin{\theta}&\cos{\theta} \end{pmatrix} [/itex].

    That statement isn't clear. You can have a representation of a group G as a group of matrices T such that G and T are different as groups. The requirement for a representation is that T will be a homomorphic image of G. So calculating multiplication in G can't necessarily be done by doing the multiplication of matrices in T. You need a representation that is an isomorphism in order to do that.
  11. Feb 22, 2015 #10
    Thanks for all these replies. There's a lot of very helpful instruction here. Cheers Peter
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook