- #1

- 933

- 56

For instance, given a square, I'd say that ##a## is an operation that rotates the square by 90°, and the representation of ##a## would be the matrix that actually rotates its vertices as long as coordinates are given.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- I
- Thread starter kent davidge
- Start date

- #1

- 933

- 56

For instance, given a square, I'd say that ##a## is an operation that rotates the square by 90°, and the representation of ##a## would be the matrix that actually rotates its vertices as long as coordinates are given.

- #2

- 16,451

- 15,516

Given your example, well, yes. Given your question, not really. A group itself is nothing but a set, a binary operation on this set, which additionally obeys some rules. But even given the elements were all rotations, you still have to describe the binary operation, usually as successive application of these operations, but this isn't automatically the case. And if it is the case, we still will have to state what to rotate where and how. Then, and only then, we can check the rules. To write them as matrices is one way to do all this: within a given coordinate system.

For instance, given a square, I'd say that ##a## is an operation that rotates the square by 90°, and the representation of ##a## would be the matrix that actually rotates its vertices as long as coordinates are given.

Formally a representation of a group ##G## is a group homomorphism ##G \stackrel{\varphi}{\longrightarrow} \operatorname{Aut}(X)## into the group of automorphisms on a set ##X##, often regular linear transformations ##GL(V)## of a vector space ##X=V##, the representation space. An equivalent wording is to say that ##G## operates on ##X##, by ##g.x := \varphi(g)(x)##. It is the exact same thing. Now whether we write the elements of ##\operatorname{Aut}(X)## as matrices or otherwise, is a separate question. And of course the group itself doesn't need to be defined by using some specific representation. Sometimes it is natural to do so as in your example with the rotations, but for many others this is not the case, e.g. the integers or polynomials. Your example works, because the group homomorphism ##\varphi## is an embedding ##G \subseteq \operatorname{Aut}(\square)## or ##G \subseteq GL(\mathbb{R}^2)## if you consider the square as part of the plane and you rotate the entire plane, which is a vector space.

Last edited:

- #3

Mark44

Mentor

- 36,042

- 7,977

I'm not sure this is the best way to think about a group. As already mentioned, a group is a set of things, together with an operation. A given group might represent several situations, so I don't understand your connection of representations with mathematical translations.Given a group, can we regard its elements as statements of what the operation does, while its representations are the mathematical translation?

You example could be represented as ##G = \{e, \sigma, \sigma^2, \sigma^3; \cdot\}##. Here e is the identity rotation, ##\sigma## is a rotation by 90°, ## \sigma^2## is rotation by 180°, and so on. The group operation is multiplication, indicated by ##\cdot##.For instance, given a square, I'd say that ##a## is an operation that rotates the square by 90°, and the representation of ##a## would be the matrix that actually rotates its vertices as long as coordinates are given.

A rotation could be represented by a permutation matrix ##\sigma##, where ##\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1 \end{pmatrix}##. The numbers represent the four vertices, numbered in order, clockwise or counterclockwise -- your choice. If we do one rotation, vertex 1 goes to where vertex 2 was, vertex goes to where vertex 3 was, vertex 3 goes to where vertex 4 was, and vertex goes to where vertex 1 was.

Here's a link to the wiki page on permutation groups: https://en.wikipedia.org/wiki/Permutation_group

- #4

mathwonk

Science Advisor

Homework Helper

- 11,311

- 1,525

- #5

- 16,451

- 15,516

Thanks for the hint. I should have written ##\operatorname{Aut}##, which I corrected now.

- #6

Stephen Tashi

Science Advisor

- 7,739

- 1,525

For instance, given a square, I'd say that ##a## is an operation that rotates the square by 90°, and the representation of ##a## would be the matrix that actually rotates its vertices as long as coordinates are given.

If you are studying groups in the context of chemistry ("point groups") you will encounter the confusion between a "group" and a "group action". In many contexts, what writers call a "group" is, mathematically speaking, a "group action".

As other posters indicated , the definition of a "group" in the mathematical sense does not specify its operation to have a specific interpretation as a motion or movement. A common application of groups is to consider situations where their abstract operation does have such an interpretation. Those applications involve "group actions".

There is a theorem called Cayley's theorem that says the operation of a group can be implemented in a specific way by defining each element of the group as a function of the group onto itself. (e.g. The element #a# is identified with the function ##A(x) = (a)(x)## where ##(a)(x)## denotes the result of the abstract group operation. ) We implement the abstract operation of the group by the composition of functions. (e.g. ##(A)(B)## denotes the function ##A(B(x))##). Insofar as one may consider a function ##f## to implement some sort of "motion" from ##y## to ##f(y)##, this shows that the operation of any group can be implemented as that type of motion.

Implementing the operation of a group by a specific set of functions or "motions" is a "group action". (You can look up the precise definition of "group action" and compare it to the definition of a group.)

The technical definition of a "representation" of a group says it is a very particular type of "group action". (To emphasize: a "group representation" is not a "group". It is a type of "group action") A "representation" must be an implementation of the group operation using functions that are linear transformations on a vector space. A given linear transformation on a finite dimensional vector space can be implemented by the operation of multiplying a matrix times a vector.

Consider the situation where we have a group whose elements are denoted by letters "a", "b", .... We don't necessarily have any information that tells us what the notation "5a + 3b" would mean. The elements of an abstract group need not be vectors in some vector space. If someone hands us the multiplication table for a group and says "Here, find a set of matrices whose multiplication implements this table", the problem isn't trivial. By contrast if he says "Find a set of

Last edited:

- #7

- 933

- 56

Thank you guys.

All of these is useful information for me.

All of these is useful information for me.

- #8

mathwonk

Science Advisor

Homework Helper

- 11,311

- 1,525

Share: