{"entities":{"Q5922638":{"pageid":8055924,"ns":120,"title":"Item:Q5922638","lastrevid":97762160,"modified":"2026-06-05T15:21:55Z","type":"item","id":"Q5922638","labels":{"en":{"language":"en","value":"On products in a complex."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2518841"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922638$A44540DB-C739-4FDA-815D-32A80205B06C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51659886ccfca52b5021eee37b80bac8e42f7a37","datavalue":{"value":{"text":"On products in a complex.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5922638$8EC22F6C-90AC-4F26-91FF-9202A94D40FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22b6fcf3d8be3be71f8fe172028437f4cea7071e","datavalue":{"value":"64.1265.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922638$F81511FE-19AF-4392-BB49-4DD9F704C847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03d3f75634704ffeeec5041ec3fb4938924e63a","datavalue":{"value":"10.2307/1968795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922638$5BDE73ED-3120-487A-845D-14BCDE86E2D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922638$9247A964-1F65-4781-955F-1CAFAE8E419C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5922638$C2FE376A-7BC1-4692-B352-0A2727E49C64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4074d12468d5843e79b9520f8fdc71867c1195c7","datavalue":{"value":"Die vorliegende Arbeit geh\u00f6rt sachlich zu einer Reihe schon 1936 erschienener Arbeiten von \\textit{Kolmogoroff, Alexander} und \\textit{\u010cech}, \u00fcber die in JFM 62.0671.*-674, berichtet worden ist. Es handelt sich um die Untersuchung der auf der Homologietheorie nach oben -- hier Kohomologie genannt -- gegr\u00fcndeten Multiplikation von Komplexen, f\u00fcr die imbesonderen ein Eindeutigkeitssatz und die n\u00f6tigen Invarianzs\u00e4tze bewiesen werden.  Verf. geht von Komplexen aus, wie sie von \\textit{Tucker} (Ann. Math., Princeton, (2) 34 (1933), 191-243; JFM 59.0555.*) untersucht worden sind. Sie bestehen aus (endlich vielen) Zellen \\(\\sigma _j^p\\) (der obere Index bezeichnet die Dimension). F\u00fcr \\(\\sigma _i^q\\), \\(\\sigma _j^p\\), \\(q < p\\), steht fest, ob \\(\\sigma _i^q\\) Seite von \\(\\sigma _j^p\\) ist oder nicht; jede Zelle ist Seite von sich selbst, und die Beziehung ``ist Seite von'' ist transitiv. Ferner ist jedem Paar \\(\\sigma _i^{p-1}\\), \\(\\sigma _j^p\\) eine ganze Zahl \\({}^p\\partial _j^i\\) als Inzidenzzahl zugeordnet, und aus \\({}^p\\partial _j^i\\neq 0\\) folgt: \\(\\sigma _i^{p-1}\\) ist Seite von \\(\\sigma _j^p\\). F\u00fcr die Berandungen  \\[  \\partial\\,A^p=\\sum _{ij} \\alpha _i\\;{}^p\\partial _i^j\\;{}^p\\,\\sigma _j^{p-1},\\quad \\delta \\,A^p = \\sum _{ij} \\alpha _i\\;{}^{p+1}\\partial _j^i\\,\\sigma _j^{p+1}  \\]  jedes algebraischen Teilkomplexes \\ \\(A^p = \\sum \\alpha _i\\,\\sigma _i^p\\) (\\(\\alpha _i\\) Elemente einer Abelschen Gruppe) soll gelten: \\(\\partial\\partial \\,A^p=0\\) oder, damit gleichbedeutend, \\(\\delta\\delta \\,A^p=0\\). Den beiden Randdefinitionen entsprechen Zyklen und Kozyklen, Homologien und Kohomologien usw. -- Wenn in einem solchen Komplex \\(K\\) au\u00dferdem jeder berandungsf\u00e4hige Zyklus von \\(\\bar\\sigma _j^p\\) (\\(=\\) abgeschlossene H\u00fclle von \\(\\sigma _j^p\\)) in \\(\\bar\\sigma _j^p\\) berandet, so ist \\(K\\) ein Komplex, in dem eine Produkttheorie m\u00f6glich ist. Diese letzte Bedingung hat nach Tucker (a. a. O.) in Verbindung mit einer weiteren (\\(\\delta J = 0\\) f\u00fcr den Komplex \\(J\\), der aus allen \\(\\sigma _i^0\\) von \\(K\\) besteht) zur Folge, da\u00df \\(K\\) eine simpliziale Unterteilung zul\u00e4\u00dft.  Wenn es gelingt, den Zellen \\(\\sigma _i^p\\), \\(\\sigma _j^q\\), \\(\\sigma _k^{p+q}\\) entsprechende ganze Zahlen \\({}^{pq}\\varGamma _k^{ij}\\) zuzuordnen, die folgenden Bedingungen gen\u00fcgen: \\newline \\newline  (\\(\\varGamma _1\\))\\quad\\quad \\({}^{pq}\\varGamma _k^{ij}\\), wenn \\(\\sigma _i^p\\), \\(\\sigma _j^q\\) nicht beide Seiten von \\(\\sigma _k^{p+q}\\) sind, \\newline \\newline  (\\(\\varGamma _2\\))\\quad\\quad \\( \\sum _l{}^{{}^{ p+q+1}}\\partial _k^l\\;{}^{pq}\\varGamma _l^{ij} = \\sum _l{}^{{}^{ p+1}}\\partial _l^i\\;{}^{p+1,q}\\varGamma _k^{lj} + (-1)^p\\, \\sum _l{}^{{}^{ q+1}}\\partial _l^j\\,{}^{p,q+1}\\varGamma _k^{il} \\)   \\noindent f\u00fcr alle \\(p\\), \\(q\\), \\(i\\), \\(j\\), \\(k\\) und \\newline \\newline  (\\(\\varGamma _3\\))\\quad\\quad \\(\\sum _i{}^{{}^{ 0q}}\\,\\varGamma _j^{ij}=\\gamma \\), \\(\\gamma \\) eine ganze Zahl, f\u00fcr alle \\(q\\) und \\(j\\), \\newline \\newline   \\noindent so sind bei ganzzahligem Koeffizientenbereich durch  \\[  \\sigma _i^p\\smallsmile \\sigma _j^q = \\sum _k{}^{{}^{ pq}}\\,\\varGamma _k^{ij}\\,\\sigma _k^{p+q},\\qquad \\sigma _j^q\\smallfrown \\sigma _k^{p+q} = \\sum _l{}^{{}^{ pq}}\\,\\varGamma _k^{lj}\\,\\sigma _l^p  \\]  zwei Produktbildungen f\u00fcr die Zellen und, durch formales Ausmultiplizieren, f\u00fcr die algebraischen Komplexe von \\(K\\) definiert. Den Bedingungen \\(\\varGamma _1\\) bis \\(\\varGamma _3\\) entsprechen die folgenden Eigenschaften: \\newline \\newline  (\\(P_1\\))\\quad\\quad \\(\\sigma _i^p\\smallsmile \\sigma _j^q\\) ist ein \\((p + q)\\)-dimensionaler Komplex im Durchschnitt der Sterne \\newline \\newline   \\noindent \\(St(\\sigma _i^p) \\cdot St(\\sigma _j^q)\\), \\newline \\newline  (\\(P_2\\))\\quad\\quad \\(\\delta (A^p\\smallsmile B^q) = \\delta A^p\\smallsmile B^q +(-1)^p\\, A^p\\smallsmile \\delta B^q\\), \\newline \\newline  (\\(P_3\\))\\quad\\quad \\(J\\smallsmile \\sigma ^q =\\gamma\\sigma _j^q\\) f\u00fcr alle \\(\\sigma _j^q\\)   \\noindent bzw. \\newline  (\\(Q_1\\))\\quad\\quad \\(\\sigma _j^q\\smallfrown \\sigma _j^q\\) ist ein \\(p\\)-dimensionaler Komplex in \\(\\overline {St(\\sigma _j^q) \\cdot \\sigma _k^{p+q})}\\), \\newline \\newline  (\\(Q_2\\))\\quad\\quad \\(\\partial (A^q\\smallfrown B^{p+q}) = (-1)^p\\, \\delta A^q\\smallfrown B^{p+q} + A^q\\smallfrown \\partial B^{p+q}\\), \\newline \\newline  (\\(Q_3\\))\\quad\\quad \\(J \\cdot (\\sigma _j^q\\smallfrown \\sigma _j^q)=\\gamma \\) f\u00fcr alle \\(\\sigma _j^q\\).\\quad (Dabei ist die linke Seite als skalares Produkt \\newline   \\noindent zu lesen: \\ \\((\\sum \\alpha _i\\sigma _i^p) \\cdot (\\sum \\beta _i\\sigma _i^p) = \\sum \\alpha _i\\beta _i\\).) \\ Der Zusammenhang zwischen den beiden mit denselben \\(\\varGamma \\) gebildeten Produkten ist durch \\((A^p\\smallsmile B^q) \\cdot C^{p+q} = A^p \\cdot (B^q\\smallfrown C^{p+q})\\) gegeben.  Aus \\(P_2\\) und \\(Q_2\\) folgt, da\u00df \\(\\smallfrown \\) und \\(\\smallsmile \\) eine Multiplikation der Kohomologie- und Homologieklassen definieren, und zwar derart, da\u00df  \\[  \\begin{matrix} \\l&\\l\\;&\\l\\;\\\\ \\text{Kohomologieklasse} &\\;\\smallsmile \\text{Kohomologieklasse} &= \\text{Kohomologieklasse}, \\\\ \\text{Kohomologieklasse} &\\;\\smallfrown \\text{Homologieklasse} &= \\text{Homologieklasse} \\end{matrix}  \\]  wird. Das Hauptergebnis der Arbeit besagt: F\u00fcr jede ganze Zahl \\(\\gamma \\) gibt es Produkte \\(\\smallsmile \\) und \\(\\smallfrown \\); als Multiplikationen der Kohomologie- und Homologieklassen aufgefa\u00dft, sind sie eindeutig bestimmt. Ferner gelten, falls \\(K\\) eine simpliziale Unterteilung besitzt, f\u00fcr die Multiplikation der Klassen (nicht der einzelnen Komplexe) die assoziativen Gesetze  \\[  \\begin{aligned} &A \\smallsmile (B \\smallsmile C) \\;\\backsim \\;(A \\smallsmile B) \\smallsmile C \\;\\;\\;(A, B, C \\text{ \\,Kozyklen}), \\\\ &A \\smallfrown (B \\smallfrown C) \\;\\sim \\;(A \\smallsmile B) \\smallfrown C \\;\\;\\;(A, B \\text{ \\,Kozyklen},\\;C \\text{ \\,Zyklus}), \\end{aligned}  \\]  (wobei \\(\\backsim \\) kohomolog, \\(\\sim \\) homolog bedeutet) und, wenn au\u00dferdem \\(\\delta J = 0\\), das kommutative Gesetz  \\[  A^p\\smallsmile B^q \\;\\backsim \\;(-1)^{pq}\\, B^q\\smallsmile A^p\\;\\;\\;(A, B\\text{ \\,Kozyklen}).  \\]  Schlie\u00dflich gilt die folgende Verallgemeinerung eines von \\textit{H. Hopf} ( J. reine angew. Math. 163 (1930), 71-88; JFM 56.0501.*) f\u00fcr den Schnittring von Mannigfaltigkeiten bewiesenen Satzes: \\ \\(K\\) und \\(K'\\) seien simplizial, \\(f\\) der durch eine simpliziale Abbildung von \\(K\\) in \\(K'\\) bewirkte Homomorphismus der Komplexgruppen von \\(K\\) in die von \\(K'\\), \\(f'\\) der dazu ``duale'' (mit der transponierten Matrix) der Gruppen von \\(K\\) in \\(K'\\), dann gilt  \\[  \\begin{matrix} \\r\\;&\\l&\\l\\\\ f'\\,(A' \\smallsmile B') &\\;\\backsim \\;f'\\,A' \\smallsmile f'\\,B'\\;\\;\\;&\\;(A', B' \\text{ \\,Kozyklen}), \\\\ f\\,(f'A' \\smallfrown B) &\\;\\sim \\;A' \\smallfrown fB &(A' \\text{ \\,Kozyklen},\\;B \\text{ \\,Zyklus}). \\end{matrix}  \\]  Die Existenz der \\(\\varGamma \\) wird bewiesen, indem 1) f\u00fcr simpliziales \\(K\\) und \\(\\gamma = 1\\) beide Produkte unter Auszeichnung einer Eckenreihenfolge in \\(K\\) (vgl. \\textit{Alexander} und \\textit{\u010cech}, a. a. O.) und 2) f\u00fcr beliebige \\(K\\) und \\(\\gamma \\) die Produkte \\(\\smallfrown \\), durch Induktion nach \\(p\\), definiert werden. Die Eindeutigkeit ergibt sich so: F\u00fcr \\(\\gamma = 0\\) k\u00f6nnen die Produkte \\(\\smallfrown \\) durch gewisse Randbildungen aus einer bilinearen Operation \\(\\wedge \\), die \\(\\sigma _i^q \\wedge \\sigma _j^{p+q}\\) einen \\((p +1)\\)-dimensionalen Komplex in \\(\\overline {St(\\sigma _i^q) \\cdot \\sigma _j^{p+q})}\\) zuordnet, gewonnen werden. Daraus folgt f\u00fcr Produkte \\(\\smallsmile \\), \\(\\smallfrown \\) und \\(\\smallsmile '\\), \\(\\smallfrown '\\) mit Konstanten \\(\\gamma \\), \\(\\gamma '\\):  \\[  \\begin{matrix} \\l&\\l&\\l\\\\ \\gamma \\,(A \\smallfrown ' B) &\\;\\sim \\;\\gamma '\\,(A \\smallfrown B)\\;\\;\\;&\\;(A \\text{ \\,Kozyklus}, \\;B\\text{ \\,Zyklus}), \\\\ \\gamma \\,(A \\smallsmile ' B) &\\;\\backsim \\;\\gamma '\\,(A \\smallsmile B)\\;\\;\\;&\\;(A, B \\text{ \\,Kozyklen}). \\end{matrix}  \\]  Die \u00fcbrigen S\u00e4tze folgen im wesentlichen aus der speziellen Konstruktion f\u00fcr eine simpliziale Unterteilung von \\(K\\) und dem Zusammenhang zwischen Produkten mit verschiedenen \\(\\gamma \\), das kommutative Gesetz aus dem Eindeutigkeitssatz durch Vergleichen von \\(A^p \\smallsmile B^q\\) und \\((-1)^{pq}\\,B^q \\smallsmile A^p\\).  Benutzt man f\u00fcr die Bildung der Homologieklassen eine Abelsche Gruppe \\(G\\), f\u00fcr die Kohomologien die Gruppe \\(H = \\text{Ch}_GG\\) der Homomorphismen von \\(G\\) in sich, so lassen sich, unter Benutzung der fr\u00fcheren \\(\\varGamma \\), Produkte durch  \\[  h\\sigma _i^q \\smallsmile h'\\,\\sigma _j^q = \\sum _k{}^{{}^{ pq}} \\varGamma _k^{ij} \\,hh'\\,\\sigma _k^{p+q},\\;\\;\\;h\\sigma _j^q \\smallfrown g\\sigma _k^{p+q} = \\sum _l{}^{{}^{ pq}} \\varGamma _k^{lj}h \\cdot g\\sigma _l^p  \\]  definieren (\\(h \\cdot g\\) steht f\u00fcr \\(h (g)\\)). In diesem Falle mu\u00df man, um eine eindeutige Zuordnung von \\(\\smallsmile \\) und \\(\\smallfrown \\) bei gleichem \\(\\gamma \\) und damit den vollen Eindeutigkeitssatz zu erhalten, von \\(H\\) voraussetzen, da\u00df es, au\u00dfer \\(\\varphi (h) = 0\\) f\u00fcr alle \\(h\\), keinen Homomorphismus \\(\\varphi \\) von \\(H\\) in \\(G\\) gibt, bei dem \\(\\varphi (1) = 0\\) wird.  Die Beweise f\u00fcr die kombinatorische und topologische Invarianz folgen im wesentlichen den aus der Homologietheorie bekannten. In dem Kapitel \u00fcber Mannigfaltigkeiten, das den Poincar\u00e9schen Dualit\u00e4tssatz, die Beziehungen der Produkte zur Schnittheorie und die Existenz zueinander dualer Basen behandelt, benutzt Verf., im Gegensatz zu \u010cech (a. a. O.), zueinander duale Komplexe.  Im topologischen Produkt \\(K_1\\times K_2\\) zweier Komplexe k\u00f6nnen die Produkte \\(\\smallfrown \\) und \\(\\smallsmile \\) auf die entsprechenden Bildungen in \\(K_1\\) und \\(K_2\\) zur\u00fcckgef\u00fchrt werden. Auf Grund der oben erw\u00e4hnten Verallgemeinerung eines Satzes von H. Hopf wird folgender, zum Teil ebenfalls von Hopf herr\u00fchrender Satz bewiesen: Es sei \\(M^p\\) eine geschlossene orientierbare \\(p\\)-dimensionale Mannigfaltigkeit, \\(S^q\\) eine \\(q\\)-dimensionale Sph\u00e4re, \\(K^{p+q}=M^p\\times S^q\\), und \\(f\\) eine simpliziale Abbildung von \\(K^{p+q}\\) in einen Komplex \\(K'\\); dabei sei \\(f(K^{p+q})\\sim 0\\). Dann gilt 1) falls \\(q> p\\) oder \\(q = p\\) gerade: entweder \\(f(M^p \\times s)\\sim 0\\) oder \\(f(m\\times S^q)\\sim 0\\) (\\(m\\), \\(s\\) Punkte von \\(M^p\\), \\(S^q\\)), 2) falls \\(q = p\\) ungerade: von den Zyklen \\(f(M^p\\times s)\\), \\(f(m\\times S^q)\\) ist einer einem Vielfachen des anderen homolog. (Koeffizientenbereich: reelle oder rationale Zahlen.) Folgerung: Bei jeder Abbildung von \\(S^n\\times S^n\\) auf einen weniger als \\(2n\\)-dimensionalen Komplex wird das Bild von \\(s\\times S^n\\) oder \\(S^n\\times s\\) homolog null.  Von den im Anhang bewiesenen Einzelergebnissen sei das folgende ausgef\u00fchrt: Bei rationalem oder reellem Koeffizientenbereich l\u00e4\u00dft sich jeder \\(p\\)-dimensionale Komplex eindeutig als Summe \\(\\partial\\,A^{p+1}+B^p\\), \\(B^p\\) Kozyklus, oder auch als \\(\\delta\\,A^{p-1}+B^p\\), \\(B^p\\) Zyklus, darstellen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5922638$C83F8FFD-DE7D-4686-BA8A-F3D0855E4172","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"144a6eebf639ea543bd03fa2e7064384b1e7bf2e","datavalue":{"value":{"entity-type":"item","numeric-id":593326,"id":"Q593326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922638$F8FF2421-AEFF-4B4B-86B6-D94A7342D7AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04971747e5299b6abfa75d97e980c6113fc4e15","datavalue":{"value":"2518841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922638$253CB6F2-CA68-4C95-9FC6-1E70260295CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b083a3952aba53c70db4ed1010a0a0bc3429a4c5","datavalue":{"value":"Q94960177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922638$EA1A10DA-25EC-436A-84E9-0F9DB4D50C08","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922638$5EB5A18D-16D6-4638-B704-147106BA4581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13048228bfecd775ae009d5699eb7987a1f4aff","datavalue":{"value":"https://doi.org/10.2307/1968795","type":"string"},"datatype":"url"},"type":"statement","id":"Q5922638$6F825CD1-7ED3-403E-9814-36CDF05D2D97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61655178574492feab7a8159aad7c614344abcf6","datavalue":{"value":"W2326167969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922638$24F35F7D-0CAA-4560-9DDD-41C16E85D135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d31ddd2a071b5cbac90da3e8f29d3f22b0ba0eba","datavalue":{"value":{"entity-type":"item","numeric-id":6480746,"id":"Q6480746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922638$3525114C-FF82-4122-BACF-213E15587356","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On products in a complex.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_products_in_a_complex."}}}}}