Terminology issue regarding modules and representations

Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
Messages
5,702
Reaction score
1,587

Homework Statement


Given a field F, FS4 is a group algebra... we have a representation X that maps FS4 to 3x3 matrices over (presumably) F. Let V denote the FS4 module corresponding to X... do stuff. My question is, what the heck is V supposed to be?

I assumed that V is F3, but that seemingly contradicts what the question wants me to do. So is V the free module of the representation of FS4 over itself (and then why bother having a representation)? I can't think of what else it could be

The full question can be found at

http://www.maths.ox.ac.uk/courses/2008/part-b/b2-algebra/b2a-introduction-representation-theory/materialsheet 5, question 3

EDIT: I was wrong... if V=F3 the question's conclusion is correct. For some reason I was associating the 4 in S4 with F instead, and thought it had characteristic 4... I noticed my error when I realized a) it has characteristic 0 b) 4 isn't the characteristic of a field. Good job by me wasting an hour working in a non-existent field
 
Last edited:
Physics news on Phys.org
Well the representation gives us a homomorphism from S_4 into GL(F^3). The induced action of the algebra FS_4 on F^3 induces an FS_4-module structure on F^3. So yes, V=F^3.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...

Similar threads

Back
Top