Talk:Group representation

What is said about the orthogonality of characters might mislead. For non-abelian groups the degrees of representations, sizes of conjugacy classes enter the inner product used. Suggest this goes on its own page, as this one is already long, and (rightly) aims to give an overview first.

Charles Matthews 11:39, 9 Feb 2004 (UTC)

---

A set S is said to be a set-theoretic representation of a group G if there is a function, ρ from G to S^S, the set of functions from S to S such that...

then there is only a single condition given, but the condition doesn't guarantee that the image of an element g of G under ρ will go to a permutation of S. As it stands, it seems like you could fix a in S, and then define ρ(g) to be the constant function a for all g in G, and this would be a representation, which it clearly isn't. Revolver 03:33, 23 Feb 2004 (UTC)

---

One may in fact define a representation of a group as an action of that group on some vector space, thereby avoiding the need to choose a basis and the restriction to finite-dimensional vector spaces.

This may sound incredibly picky or pedantic, but to be perfectly precise, don't you have to say "a [linear] representation of a group is an action of that group on some vector space, which respects the vector space [linear] structure"? I mean, a group action (as I understand the term) is nothing more than a group homomorphism into a permutation group. But this is nothing more than a set-theoretic representation, it seem like it doesn't take into account that the permutation group has to preserve the vector space structure as well. Revolver 03:42, 23 Feb 2004 (UTC)

I see this is addressed in the group action page by describing different kinds of actions, based on looking at monoids of endomorphisms in different categories. But I still think it's not clear the way it's worded above. Revolver 03:51, 23 Feb 2004 (UTC)

---

If V has a non-trivial proper subspace W such that W is contained in V, then the representation is said to be reducible.

Shouldn't this be more like: such that ρ(W) is contained in W?

Rvollmert 13:52, 29 Mar 2004 (UTC)

Hmmm...I think it's correct as stated, although the whole issue could be explained better. There are two different ways of "looking at" representations, like putting on different glasses; one as an actual linear action, or homomorphism into Aut(something), the other way puts all the information together into a single algebraic object, if it's a rep of a group G, e.g. it would called a "FG-module". The "nontrivial proper subspace" above isn't a subspace in the vector space sense, it's a subspace in the FG-module sense, which is different. I'm afraid my knowledge of this isn't very much to be good at explaining it, but I think the basic wording is correct, just unclear. Revolver 02:31, 1 Apr 2004 (UTC)

That interpretation is possible, though in that case it should be an FG-submodule, and the whole representation-as-module-concept would have to be introduced before. I'll try to improve it. Rvollmert 13:58, 26 Jul 2004 (UTC)

---

A major omission here is the representation of groups as quotients of free groups. -- Dominus 18:03, 11 May 2004 (UTC)

See presentation of a group. Charles Matthews 18:32, 11 May 2004 (UTC)\

Yes. This page should at least link there, and should probably have a capsule summary of presentations. I will fix this later if someone else doesn't first. -- Dominus 18:48, 11 May 2004 (UTC)

Well, it should then make clear the distinction representation versus presentation; these are not the same concept at all. Charles Matthews 19:43, 11 May 2004 (UTC)

Perhaps I miss your point. It seems to me that presentations are an example of group representations. -- Dominus 03:09, 12 May 2004 (UTC)

No - that is not the normal technical usage here. Like this: a presentation is more like the way a group is handed to us; while a representation is how we represent or configure it for ourselves. I went, a long time ago it seems now, to a computational group theory course by John Conway, which started off on the problem of constructing a permutation representation for a group, for which we have already a presentation. That is, we know generators and relations; what we want is to find concrete permutations that give an isomorphic group (when it is finite). Solved in principle by coset enumeration. Anyway, there is a genuine gap there to bridge.

Charles Matthews 06:09, 12 May 2004 (UTC)

Thanks. I misunderstood the meaning of "representation"; I thought it referred to any interpretation of group elements as concrete objects. -- Dominus 17:11, 13 May 2004 (UTC)

Presentations are usually very difficult to work with directly, whereas representations are concrete and allow us to "get our hands dirty". "Representation" isn't used here with the ordinary English meaning, as in "a representation is just another way of representing it", it's a math term with specific meaning, and presentations don't fit under that definition.

---

The statement:

Representations of finite groups can always be decomposed into a direct sum of irreducible subrepresentations (see Maschke's theorem.)

is not quite correct; it requires a restriction on the field K (see Maschke's theorem).

Crust 14:49, 29 Dec 2004 (UTC)