663:
but since dimensions multiply under tensoring, it has no chance of being invertible in general, so we would generally just have a monoid. Still, the classical definition of the Brauer group for CSA's naively has the same issue--tensoring only gives a monoid structure--which gets resolved by weakening the notion of equivalence slightly. The quoted text is vague about why one should never expect such a theory to exist, and it's also vague about its own abstract underpinnings. I like it, I just wish it were expanded, clarified, and referenced. (I know nothing about this subject.)
802:
84:
74:
53:
817:
those who have a working familiarity with the subject, this fact may not be immediately apparent. However, a failure to understand is obviously not sufficient reason to remove information (image or otherwise) from a page. It would perhaps be best for the editor who added the picture to remove it themselves, however, if I remain convinced in another few months, I will probably cut to the chase and remove it myself. Or not? Please chime in. Ciao.
682:
it is not clear how to introduce multiplication on the dual object if it is supposed to be the set of irreducible unitary representatioons, and it is even not clear whether the set of irrducuble unitary representations is indeed a good choice for the status of the dual object for the group. So the task of constructing duality in this case requires complete rethinking. Would anybody mind if I write something like this?
343:. I'll also tidy up notation - I prefer &gamma â Î = G^ to Ď â G' myself, but will change additive notation in the group to multiplicative. I think the merge will work well, given the complementary POV of the two pages. Then I will start thinking about how HA should be structured and fleshing it out. Hopefully whatever I do will offend sufficiently many people, thus attracting interest and contributions.
305:) should really be a high-level page with a general flavour of what harmonic analysis is about, some history and many links to the disparate fields that come under or are related to HA - from the abstract to the applications (classical things like PDE solutions through to wavelets and whatever else). Do you know of anyone who has an interest in (or oversees/coordinates) this higher-level organisation of WP? The
22:
162:
323:(I've thought subsequently of adding a bit more, on discrete and compact R-modules, and End(G) = opposite ring of End (G^)). It could indeed be good to merge the two under PD as main title, putting the dual group material first in the article (and moving across from HA anything that is really about LCA in general as you suggest).
681:
I must say that I don't like this vagueness. It seems to me it would be more honest to write that in the noncommutative case the classical construction stops working for various reasons, in particular, because characters stop separating points, irreducible representations cease to be one-dimensional,
816:
I am considering removing the picture at the top of the page, though I thought it prudent to begin a discussion first, giving those who may disagree the opportunity to articulate their reasons; mine are straight forward enough: It is too technical to be understood by a lay audience. I believe for
724:
In the section about the duality theorem and the canonical map, the canonical map is defined, but it is not shown to be an isomorphism. This, to me, seems a rather important step, since in other contexts (e.g. infinite-dimensional vector spaces) analogous canonical maps can fail to be isomorphisms.
635:
In a very naive sense, and assuming choice, yes. The axiom of choice implies that every nonempty set carries some group structure, so we can pick one essentially at random for each of our sets of representations. Of course, this will not have any nice properties; the interesting question is whether
281:
suffers from not actually saying what the dual group is (in terms that an undergrad maths student can handle). Your account of the development of the theory is also better. Maybe a solution is to import and tidy up some of the material on the concrete construction of the dual group (characters,
662:
I interpreted that sentence to mean that in a more abstract treatment of G^, we would find that its elements are precisely the 1-dimensional representations (up to isomorphism) and the group operation is the tensor product. This has a chance of being invertible for one-dimensional representations,
640:
between appropriate categories that we can define. Honestly, the statement above confuses me, too: what isomorphism classes are we taking? where did the notion of dimension come in? I suspect that there is not such a functor; perhaps one could prove this by taking a small (i.e. finite) nonabelian
1315:
I agree with your remark. Many articles of mathematics have a similar issue because many editors forget that
Knowledge is not a text book, and thus that, generally, readers do not come to an article for learning why the subject is important, but for learning more on a subject that they have
740:
Not sure what you want in a Wiki article--a sketch of a proof? The explicit map was probably only included because it's so easy to define. Any textbook presentation of this material will include a proof that it's in fact an isomorphism. Of course "locally compact" is standing in for
641:
group and doing some casework. In particular, functoriality (which is really what we want) would require our multiplication on characters to satisfy (Ďf)â˘(Ďf) = (Ďâ˘Ď)f where the dot is our supposed multiplication and juxtaposition is computation, for every homomorphism f : A -: -->
586:
Seems to be all that statement says is, for non-abelian groups, one cannot multiply irreducible unitary representations to get another one unlike the characters in the abelian case. That said, clarification/elaboration is always good. The simplest nonabelian case is listed in See
563:
Such a theory cannot exist in the same form for non-commutative groups G, since in that case the appropriate dual object G^ of isomorphism classes of representations cannot only contain one-dimensional representations, and will fail to be a
335:
Thanks
Charles - yes I know Wiki is anarchic. I also thought that informing somebody(s) who might consider the higher-level organisation as their patch might bring in a few tips and avoid subsequent angst when somebody reverted the lot!
1091:
301:. I think it doesn't really belong there, as harmonic analysis on LCA groups is only a part of HA, whereas it reads as though it is the most important idea. My feeling is that HA (also served by a redirect from
901:
And to tell the truth, I want to delete this phrase about the
Plancherel measure. It is too vague, in my opinion. At least for some groups the theorem remains true as this is written in A.A.Kirillov's book.
191:
for that content in the latter page, and it must not be deleted so long as the latter page exists. Please leave this template in place to link the article histories and preserve this attribution.
1301:
1264:
who laid down the foundations for the theory of locally compact abelian groups and their duality during his early mathematical works in 1934. Pontryagin's treatment relied on the group being
140:
290:
a redirect? Possibly keep the classical examples as well, as they tie it to the
Fourier transform/series articles. My attempt at referencing was deliberately lazy, so could be improved.
866:
I would like to ask its author to clarify this. The duality theories for non commutative groups are constructed. What is the reason to mention the
Plancherel measure in this connection?
262:
being improved -- such is the way of the wiki. It suffers from the its history and while trying to be consistent with related pages. The best solution may be a merged page under
968:
1026:
1162:
1125:
997:
860:
1232:
488:
The article's first para gives a suitably gentle description of where
Pontryagin duality might be useful, how, and why. But I don't anywhere find anything approaching a
1300:
I hope someone knowledgeable about this subject can write an appropriate introduction. And perhaps move the current introduction to somewhere else in the article.
1031:
778:
413:
It is analogous to the dual vector space of a finite-dimensional vector space: a vector space V and its dual vector space V * are not naturally isomorphic
1348:
130:
388:
609:
But if we do not see how to multiply representations, I suppose, this doesn't mean that such a multiplication does'n t exist... Perhaps one can
184:
106:
1343:
392:
762:
1169:
465:
418:
188:
1305:
742:
664:
306:
97:
58:
417:
This is unclear, but seems to say that a finite-dimensional vector space is not isomorphic to its dual. That's not right, is it?
385:
Can someone give some examples that show where
Pontryagin duality can be used to prove something or understand something better?
613:
an operation of multiplication such that the space of all irreducible unitary representrations becomes a group, is it possible?
258:
together the other day to expand an ugly stub -- essentially the first few lines describing characters. I have no problem with
176:
371:, and spliced it in. Leaves the page structure OK, I think - but needing a thorough edit on notation, excess links and so on.
1209:
1096:
But this is the first use of the word "pairing" in the article, so the reader does not know why or how one is supposed to
172:
33:
725:
Presumably this proof uses the fact that the groups are "small" because they are locally compact. Does anyone know it?
225:
1261:
396:
766:
435:
isomorphic (a term from category theory), but they do become isomorphic once we pick a basis. See for example
339:
I will go ahead with the merge as discussed (not today - too busy) and strip the corresponding section out of
469:
1173:
545:
422:
746:
668:
1265:
436:
214:
180:
1268:
and either compact or discrete. This was improved to cover the general locally compact abelian groups by
444:
277:
suffers from not having any reasons for wanting duality (which yours covers from a couple of angles) and
1297:
to include in the introduction than issues of how
Pontrjagin duality fits with the rest of mathematics.
801:
374:
361:
329:
39:
938:
702:
I'll make some edits this week-end, if there will be questions, we can roll back the text and discuss.
540:
Can somebody please mend this shortcoming. I'd do it myself if I knew enough about the subject matter.â
83:
1002:
461:
492:. The overall feeling I get from this article is similar to the effect I'd expect if the article on
440:
21:
1239:
1138:
1101:
973:
836:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1324:
1215:
786:
588:
541:
278:
263:
247:
229:
168:
89:
73:
52:
1269:
1205:
1197:
1193:
830:
730:
647:
596:
571:
And if you don't mind, I would insert here a little review of non-commutative generalizations.
368:
347:
340:
313:
298:
237:
210:
319:
Generally, I agree with your assessment. I wrote the PD page quickly once I'd actually found
907:
890:
871:
707:
687:
618:
576:
302:
810:
568:
Is it possible to reformulate it is such a way that it could be presented as a theorem?
205:
It would be nice to add the dual of the set of p-adic numbers in the section
Examples .
1319:
I have rewritten the lead for fixing the issue. Be free to improve my version further.
1086:{\displaystyle (\mathbf {v} ,\mathbf {w} )\mapsto e^{i\mathbf {v} \cdot \mathbf {w} }.}
806:
250:
looks good, but I wondered why you created this instead of adding to and/or rewriting
1337:
1320:
1273:
1247:
782:
509:
1235:
726:
643:
592:
520:
254:. Both are about the same thing at different levels of sophistication. I threw
903:
886:
867:
703:
683:
614:
572:
102:
458:
I think one should require the the topological group is also Hausdorff space.
326:
There is no 'they' who sorts out policy-level stuff. We're on our own here ...
1251:
517:
355:
320:
294:
287:
283:
274:
267:
259:
255:
251:
233:
79:
1328:
1309:
1177:
911:
894:
875:
825:
I must say that I don't understand the meaning of this phrase in the text:
790:
770:
750:
734:
711:
691:
672:
651:
622:
600:
580:
549:
473:
448:
426:
400:
218:
761:
What are those patterns of colored hyperbolic tiles supposed to represent?
533:(Ummm, OK, but shouldn't we mention, for instance, that lion is a species (
161:
240:. This is just in case anyone else wants to do anything to these pages.
1281:
This is all certainly worthwhile information to include in the article.
637:
513:
524:
501:
358:, and added some headers. This leaves detailed editing of the page.
591:. Maybe the main body of the article can say something about that.
881:
If there are no objections, I would like to move this subsection,
833:, which needs to tackle the question of the Plancherel measure on
505:
493:
928:
Fourier transform and Fourier inversion formula for L-functions
156:
15:
1183:
Good introduction, but not appropriate for the introduction
559:
Excuse me, this propositions is a little bit vague to me:
293:
I have also since noticed some overlap with my version of
1131:
It would be very helpful if the article elaborated on
1218:
1141:
1104:
1034:
1005:
976:
941:
839:
642:
A, A being the nonabelian group under consideration.
779:
Commons:File:2-adic_integers_with_dual_colorings.svg
101:, a collaborative effort to improve the coverage of
1226:
1156:
1119:
1085:
1020:
991:
962:
854:
309:page only deals with things at the article level.
883:Dualities for non-commutative topological groups
224:Just a note here with a copy of a discussion on
1289:The introduction should inform the reader of
8:
933:In that subsection, this sentence appears: "
924:Pontrjagin duality and the Fourier transform
809:, with selected corresponding characters on
829:but this diverges from the connection with
47:
1220:
1219:
1217:
1143:
1142:
1140:
1106:
1105:
1103:
1073:
1065:
1061:
1046:
1038:
1033:
1012:
1008:
1007:
1004:
978:
977:
975:
954:
950:
949:
940:
841:
840:
838:
800:
1204:explains the general properties of the
437:Natural_transformation#Further_examples
408:Dual of finite-dimensional vector space
49:
19:
1302:2601:200:C000:1A0:184C:28DD:BFD5:B103
7:
508:. Their complex behavior, including
95:This article is within the scope of
1246:itself states that locally compact
1187:The introduction reads as follows:
512:, gives them a central role in the
38:It is of interest to the following
963:{\displaystyle G=\mathbb {R} ^{n}}
14:
1349:Mid-priority mathematics articles
307:Knowledge:WikiProject Mathematics
228:outlining plans for three pages:
115:Knowledge:WikiProject Mathematics
1192:In mathematics, specifically in
1074:
1066:
1047:
1039:
1021:{\displaystyle \mathbb {R} ^{n}}
160:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
885:, to the end, and to widen it.
821:Phrase about Plancherel measure
135:This article has been rated as
1250:identify naturally with their
1210:locally compact abelian groups
1157:{\displaystyle {\widehat {G}}}
1120:{\displaystyle {\widehat {G}}}
1054:
1051:
1035:
992:{\displaystyle {\widehat {G}}}
855:{\displaystyle {\widehat {G}}}
720:Invertibility of canonical map
555:About non-commutative theories
1:
876:10:52, 24 February 2019 (UTC)
751:22:57, 17 November 2015 (UTC)
673:22:20, 17 November 2015 (UTC)
623:14:02, 10 November 2012 (UTC)
601:10:12, 10 November 2012 (UTC)
581:08:39, 10 November 2012 (UTC)
474:13:12, 24 November 2009 (UTC)
449:05:50, 12 November 2009 (UTC)
367:Now moved the LCA stuff from
266:(a more accurate title) with
173:Locally compact abelian group
109:and see a list of open tasks.
1344:C-Class mathematics articles
1293:, at least roughly. That is
1285:But not in the introduction.
1227:{\displaystyle \mathbb {R} }
1135:one is supposed to think of
791:04:59, 15 January 2016 (UTC)
771:04:57, 15 January 2016 (UTC)
735:01:52, 21 January 2014 (UTC)
652:01:47, 21 January 2014 (UTC)
354:I've done the big move from
1260:The subject is named after
811:their Pontryagin dual group
741:"finite-dimensional" here.
427:01:53, 3 October 2009 (UTC)
1365:
1329:11:52, 18 April 2021 (UTC)
1310:19:51, 17 April 2021 (UTC)
1291:what Pontrjagin duality is
1244:Pontryagin duality theorem
1178:18:40, 25 March 2020 (UTC)
273:If a merge was to happen,
226:User talk:Charles Matthews
219:08:42, 10 March 2009 (UTC)
1262:Lev Semenovich Pontryagin
912:14:18, 1 March 2019 (UTC)
895:08:07, 1 March 2019 (UTC)
712:06:04, 2 March 2019 (UTC)
692:14:54, 1 March 2019 (UTC)
550:16:18, 1 March 2010 (UTC)
377:09:30, 19 Nov 2003 (UTC)
364:08:47, 19 Nov 2003 (UTC)
350:01:00, 19 Nov 2003 (UTC)
332:10:12, 18 Nov 2003 (UTC)
316:01:21, 18 Nov 2003 (UTC)
297:with the middle chunk of
134:
67:
46:
970:, so we can think about
926:has a subsection titled
496:consisted of this text:
141:project's priority scale
935:As an example, suppose
401:08:49, 3 May 2007 (UTC)
98:WikiProject Mathematics
1316:encountered elsewhere.
1228:
1158:
1121:
1087:
1022:
993:
964:
864:
856:
813:
797:Suitability of Picture
781:answer your question?
352:
28:This article is rated
1229:
1164:by this pairing, and
1159:
1122:
1088:
1023:
994:
965:
857:
827:
804:
500:"Lions are native to
431:It says they are not
391:comment was added by
242:
1240:finite cyclic groups
1216:
1139:
1102:
1032:
1003:
974:
939:
837:
381:What is it good for?
183:. The former page's
121:mathematics articles
1295:much more important
757:Meaning of picture?
189:provide attribution
1224:
1202:Pontryagin duality
1198:topological groups
1196:and the theory of
1154:
1117:
1083:
1018:
989:
960:
852:
814:
589:Peter-Weyl theorem
454:Topological Groups
279:Pontryagin duality
264:Pontryagin duality
248:Pontryagin duality
230:Pontryagin duality
169:Pontryagin duality
90:Mathematics portal
34:content assessment
1270:Egbert van Kampen
1206:Fourier transform
1194:harmonic analysis
1151:
1128:by this pairing.
1114:
986:
849:
831:harmonic analysis
537:) of large cat?)
504:. The males have
464:comment added by
404:
369:harmonic analysis
341:Harmonic analysis
299:Harmonic analysis
238:Harmonic analysis
195:
194:
155:
154:
151:
150:
147:
146:
1356:
1266:second-countable
1233:
1231:
1230:
1225:
1223:
1163:
1161:
1160:
1155:
1153:
1152:
1144:
1126:
1124:
1123:
1118:
1116:
1115:
1107:
1092:
1090:
1089:
1084:
1079:
1078:
1077:
1069:
1050:
1042:
1027:
1025:
1024:
1019:
1017:
1016:
1011:
998:
996:
995:
990:
988:
987:
979:
969:
967:
966:
961:
959:
958:
953:
861:
859:
858:
853:
851:
850:
842:
476:
386:
375:Charles Matthews
362:Charles Matthews
330:Charles Matthews
303:Fourier analysis
164:
157:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1364:
1363:
1359:
1358:
1357:
1355:
1354:
1353:
1334:
1333:
1214:
1213:
1185:
1137:
1136:
1100:
1099:
1057:
1030:
1029:
1028:by the pairing
1006:
1001:
1000:
972:
971:
948:
937:
936:
920:
835:
834:
823:
807:2-adic integers
799:
759:
722:
557:
486:
459:
456:
410:
393:217.189.228.213
387:âThe preceding
383:
282:topology) from
203:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1362:
1360:
1352:
1351:
1346:
1336:
1335:
1332:
1331:
1317:
1248:abelian groups
1222:
1184:
1181:
1150:
1147:
1113:
1110:
1082:
1076:
1072:
1068:
1064:
1060:
1056:
1053:
1049:
1045:
1041:
1037:
1015:
1010:
985:
982:
957:
952:
947:
944:
919:
916:
915:
914:
898:
897:
848:
845:
822:
819:
798:
795:
794:
793:
763:166.170.23.122
758:
755:
754:
753:
721:
718:
717:
716:
715:
714:
697:
696:
695:
694:
676:
675:
659:
658:
657:
656:
655:
654:
628:
627:
626:
625:
604:
603:
556:
553:
531:
530:
510:apex predation
485:
478:
455:
452:
409:
406:
382:
379:
222:
221:
202:
201:Older comments
199:
197:
193:
192:
187:now serves to
167:Material from
165:
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:
1361:
1350:
1347:
1345:
1342:
1341:
1339:
1330:
1326:
1322:
1318:
1314:
1313:
1312:
1311:
1307:
1303:
1298:
1296:
1292:
1287:
1286:
1282:
1279:
1277:
1275:
1271:
1267:
1263:
1256:
1255:
1253:
1249:
1245:
1241:
1237:
1211:
1207:
1203:
1199:
1195:
1188:
1182:
1180:
1179:
1175:
1171:
1170:50.205.142.50
1167:
1148:
1145:
1134:
1129:
1127:
1111:
1108:
1094:
1093:
1080:
1070:
1062:
1058:
1043:
1013:
983:
980:
955:
945:
942:
931:
929:
925:
917:
913:
909:
905:
900:
899:
896:
892:
888:
884:
880:
879:
878:
877:
873:
869:
863:
846:
843:
832:
826:
820:
818:
812:
808:
803:
796:
792:
788:
784:
780:
776:
775:
774:
772:
768:
764:
756:
752:
748:
744:
739:
738:
737:
736:
732:
728:
719:
713:
709:
705:
701:
700:
699:
698:
693:
689:
685:
680:
679:
678:
677:
674:
670:
666:
661:
660:
653:
649:
645:
639:
634:
633:
632:
631:
630:
629:
624:
620:
616:
612:
608:
607:
606:
605:
602:
598:
594:
590:
585:
584:
583:
582:
578:
574:
569:
566:
565:
560:
554:
552:
551:
547:
543:
542:PaulTanenbaum
538:
536:
528:
527:
523:. See also:
522:
521:social groups
519:
515:
511:
507:
503:
499:
498:
497:
495:
491:
483:
479:
477:
475:
471:
467:
466:132.64.102.21
463:
453:
451:
450:
446:
442:
438:
434:
429:
428:
424:
420:
415:
414:
407:
405:
402:
398:
394:
390:
380:
378:
376:
372:
370:
365:
363:
359:
357:
351:
349:
344:
342:
337:
333:
331:
327:
324:
322:
317:
315:
310:
308:
304:
300:
296:
291:
289:
285:
280:
276:
271:
270:redirecting.
269:
265:
261:
257:
253:
249:
245:
241:
239:
235:
231:
227:
220:
216:
212:
208:
207:
206:
200:
198:
190:
186:
182:
178:
174:
171:was split to
170:
166:
163:
159:
158:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1299:
1294:
1290:
1288:
1284:
1283:
1280:
1272:in 1935 and
1259:
1257:
1243:
1201:
1191:
1189:
1186:
1165:
1132:
1130:
1098:think about
1097:
1095:
934:
932:
927:
923:
922:The section
921:
882:
865:
828:
824:
815:
760:
723:
610:
570:
567:
562:
561:
558:
539:
535:Panthera leo
534:
532:
525:
489:
487:
481:
457:
432:
430:
419:72.75.67.226
416:
412:
411:
384:
373:
366:
360:
353:
348:AndrewKepert
345:
338:
334:
328:
325:
318:
314:AndrewKepert
311:
292:
272:
246:
244:Hi Charles,
243:
223:
211:Ringspectrum
204:
196:
181:this version
177:19 June 2019
137:Mid-priority
136:
96:
62:Midâpriority
40:WikiProjects
743:50.132.4.93
665:50.132.4.93
636:there is a
460:âPreceding
112:Mathematics
103:mathematics
59:Mathematics
1338:Categories
1274:AndrĂŠ Weil
1212:, such as
918:Pairing???
773:Collin237
518:indigenous
490:definition
356:dual group
321:dual group
295:dual group
288:dual group
284:dual group
275:dual group
268:dual group
260:dual group
256:dual group
252:dual group
234:dual group
441:Terminus0
433:naturally
286:and make
1321:D.Lazard
1276:in 1940.
783:Melchoir
516:of many
462:unsigned
389:unsigned
312:Cheers,
727:Cyrapas
644:Cyrapas
638:functor
593:Mct mht
514:culture
346:Cheers
185:history
139:on the
30:C-class
1252:bidual
1242:. The
1236:circle
1234:, the
904:Eozhik
887:Eozhik
868:Eozhik
704:Eozhik
684:Eozhik
615:Eozhik
611:define
573:Eozhik
564:group.
526:circus
502:Africa
209:Done.
36:scale.
1238:, or
777:Does
587:Also:
506:manes
480:What
179:from
1325:talk
1306:talk
1174:talk
908:talk
891:talk
872:talk
805:The
787:talk
767:talk
747:talk
731:talk
708:talk
688:talk
669:talk
648:talk
619:talk
597:talk
577:talk
546:talk
494:lion
470:talk
445:talk
423:talk
397:talk
236:and
215:talk
1278:"c
1208:on
1166:why
1133:how
999:as
484:it?
175:on
131:Mid
1340::
1327:)
1308:)
1200:,
1176:)
1149:^
1112:^
1071:â
1055:âŚ
984:^
930:.
910:)
893:)
874:)
847:^
789:)
769:)
749:)
733:)
710:)
690:)
671:)
650:)
621:)
599:)
579:)
548:)
529:."
482:is
472:)
447:)
439:.
425:)
399:)
232:,
217:)
1323:(
1304:(
1258:"
1254:.
1221:R
1190:"
1172:(
1168:.
1146:G
1109:G
1081:.
1075:w
1067:v
1063:i
1059:e
1052:)
1048:w
1044:,
1040:v
1036:(
1014:n
1009:R
981:G
956:n
951:R
946:=
943:G
906:(
889:(
870:(
862:.
844:G
785:(
765:(
745:(
729:(
706:(
686:(
667:(
646:(
617:(
595:(
575:(
544:(
468:(
443:(
421:(
403:.
395:(
213:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.