84:
74:
53:
975:
683:
22:
970:{\displaystyle {\begin{pmatrix}A_{11}&C_{11}&A_{12}&C_{12}\\-{\overline {C_{11}}}&{\overline {A_{11}}}&-{\overline {C_{12}}}&{\overline {A_{12}}}\\A_{21}&C_{21}&A_{22}&C_{22}\\-{\overline {C_{21}}}&{\overline {A_{21}}}&-{\overline {C_{22}}}&{\overline {A_{22}}}\end{pmatrix}}}
188:
Copuls someone perhaps explain the relationship between these four groups and eucledian geometry? I note that one of them mentions "having a deteminant of 1", so it seems to be something to do withh affine transformations that preserve area. Maybe a few paragraphs pitched at a slightly easier level?
168:
I think what is meant here is to merge the section on classical groups from the article "matrix groups" into this article, where it would fit better. Perhaps, the title would have to be changed to "Classical group". This would allow us to concentrate on the general properties of matrix (i.e. linear)
1237:
It's hard for me to follow exactly what is being contested, but my take on groups like SL(n,H) is that these are subgroups of SL(4n,R) preserving a pair of anti commuting complex structures. Thus they are quaternionic in the sense that they have a fundamental representation that is quaternionic. I
157:
I strongly oppose merging "Matrix group" and "Classical Lie group". They are very different topics. A matrix group is any group of matrices. It may be finite, it may have coefficients in a finite field, it may be a topologically discrete subgroup of a classical Lie group, etc. A classical Lie
1372:
relevant to the subject, and contains several errors. There are plenty of articles that are complete, correct, and good reading, but will never get a C-class rating because the subject is narrow and will never motivate more than one page of text. (I disagree with this rating policy b t w.)
1517:
The determinant of a quaternionic matrix is defined in this representation as being the ordinary complex determinant of its representative matrix. The non-commutative nature of quaternionic multiplication would, in the quaternionic representation of matrices, be
197:
There is no way this article is class B, so I gave it a "Start" rating. The subject has inspired much classical research, many books, and is the backbone in any course beyond "abstract group theory". It deserves a much more inspired article.
994:, because 8 terms are real by construction and the rest 16 come in 8 conjugated pairs. By applying one real equation to eight complex variables, one can define what is the special linear group of the rank 2 âoverâ quaternions, a subgroup of
403:
1141:
644:
1363:
A while ago, I changed the article rating from B-class to start-class (motivated above). Someone now changed this to C-class with the motivation that "article ratings aren't arbitrary". Right, they aren'tâat least they
1384:
the theory of particular symmetries without exaggerating very much. These symmetries are often described by classical groups.) With this in mind, the article is, in my opinion, smack dab start-class, even a
1527:
140:
1526:
the "non-commutative nature of quaternionic multiplication" that would be ambiguous; it is the definition of the determinant of a quaternionic matrix that would be ambiguous.
1462:
1062:
You are on the right track. I don't have time a t m, but I'll check later in
Rossmann's book. B t w, the matrix representation to use for the quaternions in this context is
1389:
start-class article, but it is not C-class. I will not change the rating back unless others agree with me, and I can live with this as an unusually poor C-class article.
325:
1262:(real or complex numbers, both are feasible). This case is lucky to admit this possibility. The main question is not quaternions, but generality. Read the section
1067:
573:
262:
An introductory exposition of these forms and their signatures, could explain all terminology and some connections between the groups. A beefier explanation of '
158:
group is a manifold with group structure; this gives it very particular properties. There are different questions and results that belong to the two topics.
213:. Variants exist; the connoisseur might add the exceptional groups, others relax the determinant = 1 condition to determinant = +/-1, yet others include also
1554:
130:
269:
Most (all actually, and much more) of what I propose could be extracted from §3.1 in Wulf
Rossmann's "Lie Groups, an Introduction through Linear Groups".
289:
106:
1549:
1280:
Certainly groups like SL(n,H) are regarded as classical groups. (SL(n,H) has type AII in Cartan's classification if I recall correctly.)
1380:
classical topic that is extremely useful in modern applications. (You can take it to the extreme point that modern theoretical physics
1255:
556:
552:
1531:
97:
58:
252:. These forms can be symmetric or antisymmetric (in the bilinear case), Hermitean or anti-Hermitean (in the sesquilinear case).
560:
1287:
1245:
33:
1396:
it, giving it a solid start. I'm merely complaining. I wish I had the time to develop the article, but I don't.
1281:
1239:
297:
1491:
1009:
If it is the construction suggested by YohanN7, then a rhetorical question: has any non-commutative ring a
1473:
1271:
1182:
1047:
1024:
526:
39:
1217:. Disclaimer: This, or something similar, is true, can't check this thoroughly a t m, playing poker;).
83:
1419:. I think it should go elsewhere (or be scrapped) because it isn't in the spirit of classical groups.
1211:
is a column vector representation of a quaternion. With the former expression, you would need to use
305:
293:
21:
301:
259:
is a completely unnecessary extension of the subject. It is far from the classical considerations.
1482:
Does Incnis Mrsi make unnecessarily aggressive, personalized comments because they are opposed to
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1487:
1445:
89:
1258:
said: linear maps that preserve the quaternionic structure, but their determinant is calculated
73:
52:
398:{\displaystyle \scriptstyle {\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}}}
1424:
1401:
1346:
1222:
1160:
1136:{\displaystyle q={\begin{bmatrix}A&-{\overline {C}}\\C&{\overline {A}}\end{bmatrix}}.}
300:. Articles on particular classical groups do not define them over anything more general than
274:
639:{\displaystyle q={\begin{bmatrix}A&C\\-{\overline {C}}&{\overline {A}}\end{bmatrix}}}
1469:
1267:
1178:
1043:
1020:
256:
1266:(including the headline) until the ârespected by the matrix multiplicationâ words, please.
1416:
1376:
This article is one page (at least upon removal of irrelevant stuff) on a fully developed
1042:
non-commutative rings have such representations? There was something wrong with grammar.
564:
492:
292:
that is relevant to this article, as well as some particular classical groups such as
1543:
1435:
1420:
1397:
1342:
1218:
1156:
665:
as quaternions that have its determinant equal to 1, i.e. unit quaternions. As for
532:
270:
173:
article, as opposed to descriptions of classical groups, as is presently the case.
170:
1199:
Exactly. With the latter expression you can multiply using matrix multiplication,
991:
309:
174:
159:
102:
650:
544:
308:, but this article currently makes wild claims about it. Letâs start from the
79:
1174:
1535:
1495:
1477:
1428:
1405:
1350:
1291:
1275:
1249:
1226:
1186:
1164:
1051:
1028:
278:
177:
162:
1019:
matrix representation over a commutative ring? Of course, not any.
1392:
Of course, I'm not blaming the article's authors. They, at least,
1368:
be. This article is very incomplete in coverage, covers stuff
15:
1263:
990:
matrix, of course, has its determinant well-defined and even
525:? Whichever will you choose, it wouldnât be respected by the
1415:
I rewrote the article from scratch but retained the section
555:
didnât learn specified sources, but the only possibility
1177:
and, consequently, the order of matrix multiplication.
1082:
692:
588:
335:
329:
233:, see below) are missing all-together in the article.
1448:
1070:
686:
576:
328:
101:, a collaborative effort to improve the coverage of
1456:
1135:
969:
638:
397:
1417:Classical groups over general fields or algebras
1238:would count these among the classical groups.
1145:Also, the action of quaternion groups are on
257:Classical groups over general fields or rings
8:
236:The unifying framework is bilinear forms on
229:(coming from indefinite Hermitean forms on
677:, an element of the desired group becomes
47:
1449:
1447:
1314:can be treated fairly uniformly by using
1112:
1093:
1077:
1069:
948:
942:
929:
923:
907:
901:
888:
882:
869:
857:
845:
833:
814:
808:
795:
789:
773:
767:
754:
748:
735:
723:
711:
699:
687:
685:
618:
606:
583:
575:
380:
368:
354:
342:
330:
327:
284:Matrix groups over non-commutative rings
1341:endowed with a little extra structure.
49:
19:
1335:can be regarded as vector spaces over
1528:2601:200:C000:1A0:1976:AC3F:FBA4:37D4
1323:. That is to say, vector spaces over
1173:The difference is only in the matrix
201:In today's terminology there are the
7:
1468:use of sans-serif in math notation?
312:. How can one define it for, say, a
95:This article is within the scope of
1508:Near the end of the section titled
1464:} for transpose due to aversion to
649:representation, as it is suggested
38:It is of interest to the following
1555:High-priority mathematics articles
1450:
14:
563:that can define quaternions from
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
255:On the other hand, the section
135:This article has been rated as
1486:forms of polite engagement? --
1:
1292:17:29, 18 February 2014 (UTC)
1276:17:18, 18 February 2014 (UTC)
1254:Not very different from what
1250:16:51, 18 February 2014 (UTC)
1227:18:47, 18 February 2014 (UTC)
1187:17:18, 18 February 2014 (UTC)
1165:15:07, 18 February 2014 (UTC)
1052:17:18, 18 February 2014 (UTC)
1029:12:07, 18 February 2014 (UTC)
109:and see a list of open tasks.
1550:C-Class mathematics articles
1457:{\displaystyle \mathrm {T} }
1117:
1098:
954:
935:
913:
894:
820:
801:
779:
760:
623:
611:
219:GL(n, H), Sp(p, q), SO*(2n))
217:and some quaternion groups (
1536:17:17, 4 October 2021 (UTC)
1496:23:47, 23 August 2019 (UTC)
1478:07:58, 18 August 2019 (UTC)
1155:(scalars go to the right).
561:CayleyâDickson construction
551:is possible. Is it really?
279:13:38, 2 January 2014 (UTC)
1571:
1406:14:43, 29 April 2014 (UTC)
1351:17:17, 25 March 2014 (UTC)
163:20:49, 26 March 2007 (UTC)
1429:18:33, 11 July 2014 (UTC)
178:22:08, 4 April 2007 (UTC)
134:
67:
46:
1264:again from the beginning
298:special orthogonal group
244:, sesquilinear forms on
211:compact classical groups
203:complex classical groups
141:project's priority scale
98:WikiProject Mathematics
1512:this passage appears:
1458:
1137:
971:
653:, then one can define
640:
567:. Namely, if one uses
559:see is to play on the
399:
28:This article is rated
1459:
1138:
972:
641:
527:matrix multiplication
400:
306:non-commutative rings
290:an ongoing discussion
266:is also called for.
207:real classical groups
1446:
1068:
684:
574:
326:
294:special linear group
121:mathematics articles
1149:vector spaces over
1454:
1133:
1124:
967:
961:
636:
630:
395:
394:
388:
215:GL(n, R), GL(n, C)
90:Mathematics portal
34:content assessment
1510:Quaternionic case
1504:Unclear statement
1120:
1101:
957:
938:
916:
897:
823:
804:
782:
763:
626:
614:
264:compact real form
155:
154:
151:
150:
147:
146:
1562:
1463:
1461:
1460:
1455:
1453:
1441:
1340:
1334:
1328:
1319:
1313:
1307:
1284:
1261:
1257:
1242:
1216:
1210:
1204:
1154:
1142:
1140:
1139:
1134:
1129:
1128:
1121:
1113:
1102:
1094:
1018:
1017:
1014:
1005:
989:
988:
985:
976:
974:
973:
968:
966:
965:
958:
953:
952:
943:
939:
934:
933:
924:
917:
912:
911:
902:
898:
893:
892:
883:
874:
873:
862:
861:
850:
849:
838:
837:
824:
819:
818:
809:
805:
800:
799:
790:
783:
778:
777:
768:
764:
759:
758:
749:
740:
739:
728:
727:
716:
715:
704:
703:
676:
664:
645:
643:
642:
637:
635:
634:
627:
619:
615:
607:
558:
554:
550:
524:
488:
460:
432:
404:
402:
401:
396:
393:
392:
385:
384:
373:
372:
359:
358:
347:
346:
321:
320:
317:
251:
247:
243:
239:
232:
228:
224:
220:
216:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1570:
1569:
1565:
1564:
1563:
1561:
1560:
1559:
1540:
1539:
1506:
1444:
1443:
1439:
1413:
1361:
1336:
1330:
1324:
1315:
1309:
1299:
1282:
1259:
1240:
1212:
1206:
1200:
1150:
1123:
1122:
1110:
1104:
1103:
1088:
1078:
1066:
1065:
1015:
1012:
1010:
999:
995:
986:
983:
981:
960:
959:
944:
940:
925:
918:
903:
899:
884:
876:
875:
865:
863:
853:
851:
841:
839:
829:
826:
825:
810:
806:
791:
784:
769:
765:
750:
742:
741:
731:
729:
719:
717:
707:
705:
695:
688:
682:
681:
670:
666:
658:
654:
629:
628:
616:
600:
599:
594:
584:
572:
571:
565:complex numbers
542:
536:
522:
515:
506:
499:
490:
487:
481:
474:
468:
462:
459:
453:
446:
440:
434:
431:
425:
418:
412:
406:
387:
386:
376:
374:
364:
361:
360:
350:
348:
338:
331:
324:
323:
318:
315:
313:
286:
249:
245:
241:
237:
230:
226:
222:
218:
214:
195:
186:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1568:
1566:
1558:
1557:
1552:
1542:
1541:
1505:
1502:
1501:
1500:
1499:
1498:
1452:
1412:
1409:
1360:
1357:
1356:
1355:
1354:
1353:
1296:
1295:
1294:
1283:SÅawomir BiaÅy
1241:SÅawomir BiaÅy
1234:
1233:
1232:
1231:
1230:
1229:
1192:
1191:
1190:
1189:
1168:
1167:
1143:
1132:
1127:
1119:
1116:
1111:
1109:
1106:
1105:
1100:
1097:
1092:
1089:
1087:
1084:
1083:
1081:
1076:
1073:
1063:
1059:
1058:
1057:
1056:
1055:
1054:
997:
978:
977:
964:
956:
951:
947:
941:
937:
932:
928:
922:
919:
915:
910:
906:
900:
896:
891:
887:
881:
878:
877:
872:
868:
864:
860:
856:
852:
848:
844:
840:
836:
832:
828:
827:
822:
817:
813:
807:
803:
798:
794:
788:
785:
781:
776:
772:
766:
762:
757:
753:
747:
744:
743:
738:
734:
730:
726:
722:
718:
714:
710:
706:
702:
698:
694:
693:
691:
668:
656:
647:
646:
633:
625:
622:
617:
613:
610:
605:
602:
601:
598:
595:
593:
590:
589:
587:
582:
579:
538:
520:
513:
504:
497:
485:
479:
472:
466:
457:
451:
444:
438:
429:
423:
416:
410:
405:? Would it be
391:
383:
379:
375:
371:
367:
363:
362:
357:
353:
349:
345:
341:
337:
336:
334:
285:
282:
194:
191:
185:
182:
181:
180:
169:groups in the
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1567:
1556:
1553:
1551:
1548:
1547:
1545:
1538:
1537:
1533:
1529:
1525:
1520:
1519:
1513:
1511:
1503:
1497:
1493:
1489:
1485:
1481:
1480:
1479:
1475:
1471:
1467:
1437:
1433:
1432:
1431:
1430:
1426:
1422:
1418:
1410:
1408:
1407:
1403:
1399:
1395:
1390:
1388:
1383:
1379:
1374:
1371:
1367:
1358:
1352:
1348:
1344:
1339:
1333:
1327:
1322:
1318:
1312:
1306:
1302:
1297:
1293:
1289:
1285:
1279:
1278:
1277:
1273:
1269:
1265:
1253:
1252:
1251:
1247:
1243:
1236:
1235:
1228:
1224:
1220:
1215:
1209:
1203:
1198:
1197:
1196:
1195:
1194:
1193:
1188:
1184:
1180:
1176:
1172:
1171:
1170:
1169:
1166:
1162:
1158:
1153:
1148:
1144:
1130:
1125:
1114:
1107:
1095:
1090:
1085:
1079:
1074:
1071:
1064:
1061:
1060:
1053:
1049:
1045:
1041:
1037:
1036:
1035:
1034:
1033:
1032:
1031:
1030:
1026:
1022:
1007:
1003:
993:
962:
949:
945:
930:
926:
920:
908:
904:
889:
885:
879:
870:
866:
858:
854:
846:
842:
834:
830:
815:
811:
796:
792:
786:
774:
770:
755:
751:
745:
736:
732:
724:
720:
712:
708:
700:
696:
689:
680:
679:
678:
674:
662:
652:
631:
620:
608:
603:
596:
591:
585:
580:
577:
570:
569:
568:
566:
562:
548:
547:
541:
534:
530:
528:
519:
512:
508:
503:
496:
484:
478:
471:
465:
456:
450:
443:
437:
428:
422:
415:
409:
389:
381:
377:
369:
365:
355:
351:
343:
339:
332:
311:
307:
303:
299:
295:
291:
283:
281:
280:
276:
272:
267:
265:
260:
258:
253:
234:
221:. The groups
212:
208:
204:
199:
192:
190:
183:
179:
176:
172:
167:
166:
165:
164:
161:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:Highâpriority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1523:
1521:
1518:ambiguous.'"
1516:
1514:
1509:
1507:
1483:
1465:
1414:
1393:
1391:
1386:
1381:
1377:
1375:
1369:
1365:
1362:
1337:
1331:
1325:
1320:
1316:
1310:
1304:
1300:
1260:over a field
1213:
1207:
1201:
1151:
1146:
1039:
1038:I meant: do
1008:
1001:
979:
672:
660:
648:
545:
539:
533:User:YohanN7
531:
517:
510:
501:
494:
482:
476:
469:
463:
454:
448:
441:
435:
426:
420:
413:
407:
287:
268:
263:
261:
254:
235:
210:
206:
202:
200:
196:
187:
171:Matrix group
156:
136:
96:
40:WikiProjects
1470:Incnis Mrsi
1438:like serif
1411:New version
1387:pretty good
1359:Not C-class
1268:Incnis Mrsi
1179:Incnis Mrsi
1044:Incnis Mrsi
1021:Incnis Mrsi
310:determinant
193:Not B-class
112:Mathematics
103:mathematics
59:Mathematics
1544:Categories
1522:But it is
1298:The cases
304:, such as
1366:shouldn't
1175:transpose
980:and this
288:There is
1205:, where
227:SU(p, q)
209:and the
1440:\mathrm
1436:YohanN7
1421:YohanN7
1398:YohanN7
1343:YohanN7
1219:YohanN7
1157:YohanN7
535:argues
322:matrix
271:YohanN7
223:U(p, q)
139:on the
30:C-class
302:fields
205:, the
175:Arcfrk
160:Zaslav
36:scale.
1434:Does
1394:wrote
1147:right
1532:talk
1492:talk
1474:talk
1425:talk
1402:talk
1378:huge
1347:talk
1329:and
1321:only
1308:and
1288:talk
1272:talk
1246:talk
1223:talk
1183:talk
1161:talk
1048:talk
1025:talk
992:real
651:here
523:})/2
296:and
275:talk
248:and
240:and
225:and
131:High
1524:not
1488:JBL
1484:any
1466:any
1370:not
1040:all
509:â {
184:Eh?
1546::
1534:)
1494:)
1476:)
1427:)
1404:)
1382:is
1349:)
1303:,
1290:)
1274:)
1248:)
1225:)
1214:vq
1202:qv
1185:)
1163:)
1118:¯
1099:¯
1091:â
1050:)
1027:)
1006:.
996:SL
955:¯
950:22
936:¯
931:22
921:â
914:¯
909:21
895:¯
890:21
880:â
871:22
859:22
847:21
835:21
821:¯
816:12
802:¯
797:12
787:â
780:¯
775:11
761:¯
756:11
746:â
737:12
725:12
713:11
701:11
667:SL
655:SL
624:¯
612:¯
604:â
537:SL
529:.
521:12
516:,
514:21
505:22
500:,
498:11
489:?
486:12
480:21
475:â
473:11
467:22
461:?
458:21
452:12
447:â
445:22
439:11
433:?
430:12
424:21
419:â
417:22
411:11
382:22
370:21
356:12
344:11
277:)
1530:(
1515:"
1490:(
1472:(
1451:T
1442:{
1423:(
1400:(
1345:(
1338:C
1332:H
1326:R
1317:C
1311:H
1305:C
1301:R
1286:(
1270:(
1256:I
1244:(
1221:(
1208:v
1181:(
1159:(
1152:H
1131:.
1126:]
1115:A
1108:C
1096:C
1086:A
1080:[
1075:=
1072:q
1046:(
1023:(
1016:2
1013:Ã
1011:2
1004:)
1002:C
1000:(
998:4
987:4
984:Ã
982:4
963:)
946:A
927:C
905:A
886:C
867:C
855:A
843:C
831:A
812:A
793:C
771:A
752:C
733:C
721:A
709:C
697:A
690:(
675:)
673:H
671:(
669:2
663:)
661:H
659:(
657:1
632:]
621:A
609:C
597:C
592:A
586:[
581:=
578:q
557:I
553:I
549:)
546:H
543:(
540:n
518:a
511:a
507:}
502:a
495:a
493:{
491:(
483:a
477:a
470:a
464:a
455:a
449:a
442:a
436:a
427:a
421:a
414:a
408:a
390:)
378:a
366:a
352:a
340:a
333:(
319:2
316:Ã
314:2
273:(
250:H
246:C
242:C
238:R
231:C
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.