1078:. In that sense, irreducible representations are quite similar to the concept of a 'prime' object. Plus, I see nothing wrong with the sentence as it is now, regardless - it isn't saying that irreducible representations are exactly like prime numbers, or even much like them, but rather using the primes as a an example of a similar phenomenon where one particularly trivial element isn't cleanly categorized into an otherwise dyadic group. If anything, there should be a citation needed tag next to the claim that the zero dimensional representation is not considered irreducible -
95:
85:
64:
31:
22:
1013:, I found that it's been a long time since anybody persisted in calling 1 a prime. Also, the clearest modern definition of a prime number is "a positive integer with exactly two distinct divisors (namely 1 and itself)". Clearly 1 fails the test, since it has only one distinct divisor (namely 1, which also
246:"? 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.
699:
Okay done, and I've made some minor tweaks to this article as a consequence, but the whole article really needs to be rewritten. In doing this split, I've gathered a feeling for the current state of the entire representation theory category, and there is much more to be done to bring it into some
407:, 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
309:
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
431:
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
173:
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.
530:
of that operator can generally be chosen to transform as an irreducible representation of the symmetry group of the system (the group of symmetry operators that commute with the operator). This has far-reaching consequences (especially in my field of solid-state physics...for example
1047:
Well, the issue is that I canāt find the claim on the zero-dimensional representation in the references; at least itās not in Fulton-Harris. Also, ādubiousā may not have been the best word but is it really useful to say something like ājust like the number 1 ...ā? What
584:
Yes, you are right Steven, the entry has clearly been written by mathematicians (fair enough, it is maths and I'm a mathematician myself!) and gives no indication of what a representation really is physically, or why anyone should care. I might add this sometime ...
1339:
620:
The article doesn't actually say what a representation is until you get down to the definitions. The first sentence says what representation theory is and the next two say why its important. Perhaps make it a little more specific?
1204:
238:
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.
539:(i.e. if you start out in a state that transforms as a representation of the symmetry group, then in a linear system you will still have the same representation at any later time). For example,
1362:
325:
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.
151:
1404:
258:
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.
242:
This may sound incredibly picky or pedantic, but to be perfectly precise, don't you have to say "a representation of a group is an action of that group on some vector space,
1218:
310:
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
1394:
360:
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. --
1409:
318:
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.
35:
1419:
141:
671:(which redirects here) and as the article on one of the main types of representation, a group representation. This is too much for one article to bear.
189:
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...
1389:
962:" one might really mean the set plus the group action on it. If this is the case, it would make sense to highlight this "meaning" in the article. ā
1399:
1052:
is a line of thought: a representation is just like a number; highly misleading, I think, especially for infinite-dimensional representations. ā-
788:
It is common practice to refer to the image of the mapping in GL(V) itself as the representation when the homomorphism is clear from the context
422:
Thanks. I misunderstood the meaning of "representation"; I thought it referred to any interpretation of group elements as concrete objects. --
117:
1414:
546:
Anyway, just a suggestion... (There are numerous textbooks on such consequences of group theory for physics. One I like is Inui et al.,
991:
was flagged "dubious". Doing so automatically generates a link to this talk page, under heading "Dubious". But there was nothing here!
628:
511:
There doesn't seem to be much discussion of the deep consequences of representation theory for physical problems. (Or did I miss it?)
1366:
108:
69:
1161:
491:
Every positive integer divides 0 ( 0 = n*0, so n divides 0), but 0 does not divide any positive integer ( nĀ != 0*m for any m ).
1384:
720:
672:
1070:
The concept of using prime numbers as an analogy for much more complex things than numbers is hardly unprecedented- see
44:
1037:
728:
652:
444:
Representations of finite groups can always be decomposed into a direct sum of irreducible subrepresentations (see
400:
543:
of optics follow from just such a conservation law (following from the translational symmetry of the interface).
750:
It is common practice to refer to V itself as the representation when the homomorphism is clear from the context
474:
Doesn't the standard definition of divisibility in the integers have zero as a divisor of any positive integer?
675:
documents a huge subject, and needs a main article which surveys its breadth and depth. So I plan to split off
193:
then there is only a single condition given, but the condition doesn't guarantee that the image of an element
632:
347:
1057:
716:
702:
689:
598:
382:
Perhaps I miss your point. It seems to me that presentations are an example of group representations. --
643:
This is not presently an issue; the first sentence of the lead paragraph says what group representations
1033:
724:
680:
668:
648:
606:
496:
414:
374:
351:
177:
50:
94:
942:
only in this sense, much like one refers to many algebraic structures by the name of the set: e.g. by
647:, and introduces the commonest example of representations, namely matrices and their multiplication.
519:
1147:
984:
684:
676:
624:
763:). However, it might be common to refer informally to an element of the image of this mapping in GL(
21:
1334:{\displaystyle \rho (g_{1}g_{2})=\rho (g_{1})\rho (g_{2})\qquad {\text{for all }}g_{1},g_{2}\in G.}
1128:
1114:
936:
being referred to as the representation. I suppose the latter could be implied when one speaks of
477:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1135:
1029:
586:
457:
445:
100:
84:
63:
882:
This still includes a reference to the homomorphism, so it does not seem strange. Intuitively,
1083:
1053:
963:
861:
828:
814:
794:
481:
470:...the characteristic of the complex numbers is zero, which never divides the size of a group.
408:
1361:
Or does continuity follow from the assumption that the mapping is an algebraic homomorphism?
532:
492:
570:
683:
unless anyone has a better idea. I assume it would be best to keep the edit history with
391:
No - that is not the normal technical usage here. Like this: a presentation is more like
1028:
Also, from the perspective of algebra, it's usually more beneficial to think of 1 as a "
1071:
326:
303:
803:
Logically speaking, you are correct. Unfortunately, in practice, the abuse of calling
535:
follows). A related phenomenon is that the representation generally corresponds to a
337:
A major omission here is the representation of groups as quotients of free groups. --
1378:
523:
319:
259:
247:
226:
1121:
1079:
1010:
857:
810:
767:) as a a representation. It does not seem to make sense to refer to an element of
553:
540:
423:
383:
361:
338:
255:
527:
515:
404:
113:
1370:
1087:
1061:
1041:
966:
865:
831:
818:
797:
732:
706:
693:
656:
636:
609:
573:
556:
500:
485:
426:
417:
386:
377:
364:
354:
341:
1075:
463:
90:
1346:
My question is this: Do representations of a Lie group need to be defined as
1020:
Composite numbers, meanwhile, are usually defined as positive integers with
771:
as a representation, though, since no element (vector) of the vector space
989:"ā¦ just like the number 1 is considered to be neither composite nor prime"
914:
on its own as the representation seems strange to be, as no element in
994:
So I've created this section for any editor to explain, if they can,
432:
specific meaning, and presentations don't fit under that definition.
755:
correct? The representation is, formally speaking, the homomorphism
920:
has much to do with the original group or the transformations in
369:
Well, it should then make clear the distinction representation
225:, and this would be a representation, which it clearly isn't.
15:
601:
and a link would be handy explaining how subgroups work etc.
452:
is not quite correct; it requires a restriction on the field
1199:{\displaystyle \rho \colon G\to \mathrm {GL} \left(V\right)}
605:
There's a limit to the amount that can go into one article.
719:
9.5 years later, what's "the current state of the entire"
779:) acts represents much of anything of the original group
667:
This article is serving a dual role: an introduction to
1096:
Question about the definition of a group representation
741:
The "common practice" use of the term "representation"
1221:
1164:
948:
one might mean either a set of elements, or the ring
514:
For example, if one has a linear operator (such as a
373:
presentation; these are not the same concept at all.
112:, a collaborative effort to improve the coverage of
411:. Anyway, there is a genuine gap there to bridge.
1333:
1198:
856:is also often referred to as the representation.
205:of S. As it stands, it seems like you could fix
1405:Knowledge level-4 vital articles in Mathematics
723:- is it still as dire? And what needs doing?
397:how we represent or configure it for ourselves
399:. I went, a long time ago it seems now, to a
8:
548:Group Theory and Its Applications in Physics
1024:than two distinct divisors; again, 1 fails.
783:. As such, should this statement not read
244:which respects the vector space structure
58:
1316:
1303:
1294:
1283:
1264:
1242:
1232:
1220:
1177:
1163:
288:, then the representation is said to be
1395:Knowledge vital articles in Mathematics
700:kind of reasonable shape. Please help!
60:
19:
1154:. That is, a representation is a map
1410:B-Class vital articles in Mathematics
1363:2601:200:C000:1A0:E0B5:CA14:5879:A6C9
567:May I ask you? What are eigenvectors?
7:
998:they think this claim is dubious.
106:This article is within the scope of
848:is the homomorphism, then the pair
809:the representation is very common.
526:, assuming linear media), then the
49:It is of interest to the following
1181:
1178:
276:has a non-trivial proper subspace
14:
1420:Top-priority mathematics articles
126:Knowledge:WikiProject Mathematics
1390:Knowledge level-4 vital articles
1032:" or "multiplicative identity".
298:such that Ļ(W) is contained in W
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
928:. I can also picture the pair
393:the way a group is handed to us
254:I see this is addressed in the
146:This article has been rated as
1400:B-Class level-4 vital articles
1289:
1276:
1270:
1257:
1248:
1225:
1174:
900:is isomorphically embedded in
844:Yes. In terms of notation, if
721:Category:Representation theory
707:23:53, 20 September 2008 (UTC)
694:20:48, 14 September 2008 (UTC)
673:Category:Representation theory
314:sense, it's a subspace in the
213:) to be the constant function
1:
1292:
610:11:12, 10 November 2005 (UTC)
296:Shouldn't this be more like:
120:and see a list of open tasks.
1415:B-Class mathematics articles
597:Possibly a brief mention of
574:15:00, 22 January 2006 (UTC)
395:; while a representation is
1088:03:33, 28 August 2019 (UTC)
967:15:22, 23 August 2014 (UTC)
866:06:19, 23 August 2014 (UTC)
832:06:05, 23 August 2014 (UTC)
819:06:01, 23 August 2014 (UTC)
798:05:43, 23 August 2014 (UTC)
557:03:06, 1 October 2005 (UTC)
184:Permutation representations
1436:
1062:17:40, 29 March 2018 (UTC)
1042:12:25, 29 March 2018 (UTC)
983:The claim in the article,
733:14:26, 28 March 2018 (UTC)
657:14:21, 28 March 2018 (UTC)
501:04:33, 3 August 2008 (UTC)
486:04:02, 3 August 2008 (UTC)
401:computational group theory
1371:14:44, 18 June 2022 (UTC)
616:What is a representation?
466:14:49, 29 Dec 2004 (UTC)
329:13:58, 26 Jul 2004 (UTC)
306:13:52, 29 Mar 2004 (UTC)
267:Reducible representations
250:03:42, 23 Feb 2004 (UTC)
229:03:33, 23 Feb 2004 (UTC)
145:
78:
57:
507:Relationship to physics?
427:17:11, 13 May 2004 (UTC)
418:06:09, 12 May 2004 (UTC)
387:03:09, 12 May 2004 (UTC)
378:19:43, 11 May 2004 (UTC)
365:18:48, 11 May 2004 (UTC)
355:18:32, 11 May 2004 (UTC)
342:18:03, 11 May 2004 (UTC)
322:02:31, 1 Apr 2004 (UTC)
262:03:51, 23 Feb 2004 (UTC)
209:in S, and then define Ļ(
180:11:39, 9 Feb 2004 (UTC)
152:project's priority scale
827:Do both abuses occur? ā
637:19:00, 9 May 2008 (UTC)
599:induced representations
593:Induced Representations
348:presentation of a group
109:WikiProject Mathematics
1385:B-Class vital articles
1335:
1200:
333:Presentation of groups
1336:
1201:
1009:Checking the article
1003:this claim is correct
681:representation theory
669:representation theory
436:Complete reducibility
201:under Ļ will go to a
36:level-4 vital article
1219:
1162:
1148:general linear group
685:group representation
677:group representation
132:mathematics articles
1350:homomorphisms from
1104:begins as follows:
1001:Here's why I think
520:Maxwell's equations
1331:
1293:
1196:
1136:group homomorphism
554:āSteven G. Johnson
537:conserved quantity
101:Mathematics portal
45:content assessment
1297:
745:Is the statement
639:
627:comment added by
458:Maschke's theorem
446:Maschke's theorem
409:coset enumeration
166:
165:
162:
161:
158:
157:
1427:
1340:
1338:
1337:
1332:
1321:
1320:
1308:
1307:
1298:
1295:
1288:
1287:
1269:
1268:
1247:
1246:
1237:
1236:
1205:
1203:
1202:
1197:
1195:
1184:
961:
955:
947:
941:
935:
927:
919:
913:
907:
899:
893:
855:
847:
808:
622:
607:Charles Matthews
440:The statement:
415:Charles Matthews
375:Charles Matthews
352:Charles Matthews
284:is contained in
178:Charles Matthews
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
1435:
1434:
1430:
1429:
1428:
1426:
1425:
1424:
1375:
1374:
1312:
1299:
1279:
1260:
1238:
1228:
1217:
1216:
1185:
1160:
1159:
1098:
981:
957:
949:
943:
937:
929:
921:
915:
909:
901:
895:
883:
849:
845:
804:
743:
665:
618:
595:
533:Bloch's theorem
509:
438:
335:
269:
235:
186:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
1433:
1431:
1423:
1422:
1417:
1412:
1407:
1402:
1397:
1392:
1387:
1377:
1376:
1344:
1343:
1330:
1327:
1324:
1319:
1315:
1311:
1306:
1302:
1291:
1286:
1282:
1278:
1275:
1272:
1267:
1263:
1259:
1256:
1253:
1250:
1245:
1241:
1235:
1231:
1227:
1224:
1207:
1206:
1194:
1191:
1188:
1183:
1180:
1176:
1173:
1170:
1167:
1111:representation
1097:
1094:
1093:
1092:
1091:
1090:
1072:prime manifold
1065:
1064:
1026:
1025:
1018:
985:Ā§Ā Reducibility
980:
977:
976:
975:
974:
973:
972:
971:
970:
969:
908:. To refer to
873:
872:
871:
870:
869:
868:
837:
836:
835:
834:
822:
821:
791:
790:
775:upon which GL(
753:
752:
742:
739:
738:
737:
736:
735:
710:
709:
664:
661:
660:
659:
617:
614:
613:
612:
594:
591:
581:
580:
579:
578:
577:
576:
508:
505:
504:
503:
472:
471:
450:
449:
437:
434:
334:
331:
294:
293:
268:
265:
264:
263:
234:
231:
185:
182:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
1432:
1421:
1418:
1416:
1413:
1411:
1408:
1406:
1403:
1401:
1398:
1396:
1393:
1391:
1388:
1386:
1383:
1382:
1380:
1373:
1372:
1368:
1364:
1359:
1357:
1353:
1349:
1341:
1328:
1325:
1322:
1317:
1313:
1309:
1304:
1300:
1284:
1280:
1273:
1265:
1261:
1254:
1251:
1243:
1239:
1233:
1229:
1222:
1214:
1213:
1212:
1211:
1192:
1189:
1186:
1171:
1168:
1165:
1158:
1157:
1156:
1155:
1151:
1149:
1143:
1139:
1137:
1131:
1130:
1124:
1123:
1117:
1116:
1112:
1105:
1103:
1095:
1089:
1085:
1081:
1077:
1073:
1069:
1068:
1067:
1066:
1063:
1059:
1055:
1051:
1046:
1045:
1044:
1043:
1039:
1035:
1031:
1023:
1019:
1016:
1015:happens to be
1012:
1008:
1007:
1006:
1004:
999:
997:
992:
990:
986:
978:
968:
965:
960:
953:
946:
940:
933:
925:
918:
912:
905:
898:
891:
887:
881:
880:
879:
878:
877:
876:
875:
874:
867:
863:
859:
853:
843:
842:
841:
840:
839:
838:
833:
830:
826:
825:
824:
823:
820:
816:
812:
807:
802:
801:
800:
799:
796:
789:
786:
785:
784:
782:
778:
774:
770:
766:
762:
758:
751:
748:
747:
746:
740:
734:
730:
726:
722:
718:
714:
713:
712:
711:
708:
705:
704:
698:
697:
696:
695:
692:
691:
686:
682:
678:
674:
670:
662:
658:
654:
650:
646:
642:
641:
640:
638:
634:
630:
629:128.95.141.35
626:
615:
611:
608:
604:
603:
602:
600:
592:
590:
589:
588:
587:Paul Matthews
575:
572:
568:
565:
564:
563:
562:
561:
560:
559:
558:
555:
551:
549:
544:
542:
538:
534:
529:
525:
524:wave equation
521:
517:
512:
506:
502:
498:
494:
490:
489:
488:
487:
483:
479:
475:
469:
468:
467:
465:
461:
459:
455:
447:
443:
442:
441:
435:
433:
429:
428:
425:
420:
419:
416:
412:
410:
406:
402:
398:
394:
389:
388:
385:
380:
379:
376:
372:
367:
366:
363:
358:
356:
353:
349:
344:
343:
340:
332:
330:
328:
323:
321:
317:
313:
307:
305:
301:
299:
291:
287:
283:
279:
275:
271:
270:
266:
261:
257:
253:
252:
251:
249:
245:
240:
239:
233:Linear action
232:
230:
228:
224:
220:
216:
212:
208:
204:
200:
196:
191:
190:
183:
181:
179:
175:
169:Orthogonality
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
1360:
1355:
1351:
1347:
1345:
1215:
1209:
1208:
1153:
1145:
1141:
1133:
1126:
1122:vector space
1119:
1110:
1108:
1106:
1101:
1100:The section
1099:
1049:
1027:
1021:
1014:
1011:Prime number
1002:
1000:
995:
993:
988:
982:
958:
951:
944:
938:
931:
923:
916:
910:
903:
896:
889:
885:
851:
805:
792:
787:
780:
776:
772:
768:
764:
760:
756:
754:
749:
744:
717:Geometry guy
703:Geometry guy
701:
690:Geometry guy
688:
666:
644:
619:
596:
583:
582:
566:
552:
547:
545:
536:
528:eigenvectors
513:
510:
476:
473:
462:
453:
451:
439:
430:
421:
413:
396:
392:
390:
381:
370:
368:
359:
345:
336:
324:
315:
312:vector space
311:
308:
302:
297:
295:
289:
285:
281:
277:
273:
256:group action
243:
241:
237:
236:
222:
218:
214:
210:
206:
202:
198:
194:
192:
188:
187:
176:
172:
148:Top-priority
147:
107:
73:Topāpriority
51:WikiProjects
34:
1102:Definitions
894:means that
623:āPreceding
541:Snell's law
518:, etc., or
516:Hamiltonian
493:JackSchmidt
405:John Conway
203:permutation
123:Mathematics
114:mathematics
70:Mathematics
1379:Categories
1348:continuous
1076:prime knot
793:instead? ā
571:HydrogenSu
403:course by
280:such that
1210:such that
956:, so by "
522:, or the
327:Rvollmert
316:FG-module
304:Rvollmert
290:reducible
39:is rated
1296:for all
1017:itself).
930:(Im(Ī ),
625:unsigned
320:Revolver
260:Revolver
248:Revolver
227:Revolver
217:for all
1146:), the
1127:over a
1080:Ramzuiv
1050:dubious
979:Dubious
964:Quondum
858:YohanN7
829:Quondum
811:YohanN7
795:Quondum
478:Sendhil
424:Dominus
384:Dominus
362:Dominus
339:Dominus
150:on the
41:B-class
1354:to GL(
1142:to GL(
371:versus
47:scale.
1138:from
1134:is a
1129:field
1120:on a
1115:group
1113:of a
954:,+,Ć)
888:ā GL(
759:ā GL(
679:from
663:Split
464:Crust
456:(see
28:This
1367:talk
1358:)?
1084:talk
1058:talk
1054:Taku
1038:talk
1034:yoyo
1030:unit
1022:more
884:Ī Ā :
862:talk
850:(Ī ,
815:talk
729:talk
725:yoyo
653:talk
649:yoyo
633:talk
497:talk
482:talk
346:See
1150:on
1074:or
996:why
922:GL(
902:GL(
550:.)
460:).
272:If
221:in
197:of
142:Top
1381::
1369:)
1323:ā
1274:Ļ
1255:Ļ
1223:Ļ
1175:ā
1169::
1166:Ļ
1109:A
1086:)
1060:)
1040:)
1005::
987:,
864:)
817:)
731:)
687:.
655:)
645:do
635:)
569:--
499:)
484:)
448:.)
357:\
350:.
300:?
1365:(
1356:V
1352:G
1342:"
1329:.
1326:G
1318:2
1314:g
1310:,
1305:1
1301:g
1290:)
1285:2
1281:g
1277:(
1271:)
1266:1
1262:g
1258:(
1252:=
1249:)
1244:2
1240:g
1234:1
1230:g
1226:(
1193:)
1190:V
1187:(
1182:L
1179:G
1172:G
1152:V
1144:V
1140:G
1132:K
1125:V
1118:G
1107:"
1082:(
1056:(
1036:(
959:V
952:Z
950:(
945:Z
939:V
934:)
932:V
926:)
924:V
917:V
911:V
906:)
904:V
897:G
892:)
890:V
886:G
860:(
854:)
852:V
846:Ī
813:(
806:V
781:G
777:V
773:V
769:V
765:V
761:V
757:G
727:(
715:@
651:(
631:(
495:(
480:(
454:K
292:.
286:V
282:W
278:W
274:V
223:G
219:g
215:a
211:g
207:a
199:G
195:g
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.