{"entities":{"Q1090971":{"pageid":1101723,"ns":120,"title":"Item:Q1090971","lastrevid":49075762,"modified":"2026-01-06T13:41:29Z","type":"item","id":"Q1090971","labels":{"en":{"language":"en","value":"Higher-dimensional crossed modules and the homotopy groups of \\((n+1)\\)- ads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4009324"}},"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":"Q1090971$CD5711C6-68A9-4868-A7AF-3306939407B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ff9251d335d8682fe50f145c0bb92f77116fd2","datavalue":{"value":{"text":"Higher-dimensional crossed modules and the homotopy groups of \\((n+1)\\)- ads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090971$92E4DD96-5D81-4723-A88F-C7E364E779A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"948df598ed94d6b7ccdda2aa09ebc708eae17c06","datavalue":{"value":"0622.55010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$543802ED-E906-425A-BC1F-007DAF1CDF22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35462e593b66c1e396c27031156c2431f003521b","datavalue":{"value":"10.1016/0022-4049(87)90089-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$ECC1D855-7807-453C-85F1-87ACB9F765A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$56EC3119-9065-4A6B-8F42-1FF6FA7F32DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1090971$E532E3D9-E557-4163-B7D6-168675D16EB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3113a711c90ffb0b8163a4e701ba0e90cc4a1c7","datavalue":{"value":"The higher dimensional crossed modules of the title are the crossed n- cubes of groups which are defined in section 1. They are essentially contravariant functors M from the set of subsets of \\(<n>=\\{1,2,...,n\\}\\) to the category of groups together with functions \\(h: M_ A\\times M_ B\\to M_{A\\cup B}\\) \\((A,B\\subseteq <n>)\\) satisfying eleven axioms closely related to commutator identities. In particular, crossed n-cubes of groups are groups for \\(n=0\\); crossed modules for \\(n=1\\); and are for \\(n=2\\) the crossed squares of \\textit{D. Guin-Wal\u00e9ry} and \\textit{J.-L. Loday} [Lect. Notes Math. 854, 179-216 (1981; Zbl 0461.18007)].    \\textit{J.-L. Loday} [J. Pure Appl. Algebra 24, 179-202 (1982; Zbl 0491.55004)] defines the notion of cat\\({}^ n\\)-group. Succintly, these are groups with n compatible category structures (or, equivalently, \\((n+1)\\)-fold groupoids such that the last structure is a group). Their importance is Loday's result (loc.cit.) that \\(cat^ n\\)-groups model all homotopy \\((n+1)\\)-types (see also a correction of one lemma in the second author's paper [J. Lond. Math. Soc., II. Ser. 34, 169-176 (1986; Zbl 0576.55007)].    Loday (loc.cit.) exposes also the joint result with Guin-Wal\u00e9ry that \\(cat^ 2\\)-groups are equivalent to crossed squares. The present paper proves the important result that \\(cat^ n\\)-groups are equivalent to crossed n-cubes of groups. Part of the proof involves a generalization of a theorem of \\textit{W. End} [J. Pure Appl. Algebra 18, 111-123 (1980; Zbl 0443.55008)] on groups with n commuting projections.    The generalized Van Kampen Theorem (GVKT) proved by the reviewer and \\textit{J.-L. Loday} [Topology 26, 311-335 (1987; see the preceding review)] involves Loday's fundamental \\(cat^ n\\)-group functor from n-cubes of spaces to \\(cat^ n\\)-groups, and makes colimits of \\(cat^ n\\)-groups useful for applications in homotopy theory. The reviewer and \\textit{J.-L. Loday} [Proc. Lond. Math. Soc., III. Ser. 54, 176-192 (1987; Zbl 0584.55012)] define universal \\(cat^ n\\)-groups and apply them with the GVKT to generalize the Blakers-Massey result on the first nonvanishing group of a triad. The current paper defines r-universal crossed n-cubes of groups, and gives some computations of the top group \\(M_{<n>}\\) of such a crossed n-cube. Further, the GVKT is applied to generalize a result of \\textit{M. G. Barratt} and \\textit{J. H. C. Whitehead} [ibid. 6, 417- 439 (1956; Zbl 0072.180)] on the first nonvanishing homotopy group of an \\((n+1)\\)-ad. In particular the formalism allows for a presentation of this group in the cases when it may be non-abelian, and when some of the spaces are not simply connected. The main point is that the GVKT specifies an appropriate universal property, and that the axioms for a crossed n-cube dictate further simplifications of the presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$6EF989CD-90AB-4EA1-B610-0CC4D47C8861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c43a3023df7ca1673f610da59eca083ba2ff49d","datavalue":{"value":"55Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$1DB426EC-5EE8-4153-9C70-C345CD85CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$E7C6FFC7-D47B-4979-8C90-52585709EA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$BD863703-1DC2-4F17-8021-C07606F71A3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e0b9ef8be8cac724909c6f9ff40b6c1e011069","datavalue":{"value":"4009324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$83A244D6-9213-4429-86A0-82DF5C45717E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31b02a378b02080d00202a297026b9fdda04b88","datavalue":{"value":"higher dimensional crossed modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$2E7CFF20-3BB3-4F1B-BAE1-3612A5E7B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9776436576c6b5c0ae9b06ddfff6f58257b76f5","datavalue":{"value":"crossed n-cubes of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$C13345A1-C733-463B-B2FC-EE853A100D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709e47a09c577403aafd9ed9db7a064e3ff4c15a","datavalue":{"value":"commutator identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$A1644342-387A-48CC-9591-BEB066915E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84fe30e1ac8803f75251897fbffa2ad737e71618","datavalue":{"value":"\\(cat^ n\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$E2D786B4-6343-4CA8-A781-0F161FA6CF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29ef424f099b002d253838ff0799ce72031ca1b","datavalue":{"value":"groups with n commuting projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$CA7575AC-EE85-4EB3-B09D-96A74DDD430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35da15030aeb2fdeb6d782884f1794fe0ec19c7c","datavalue":{"value":"colimits of \\(cat^ n\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090971$16D24374-C3E3-406C-B877-9B9BAC58113F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c420c3ea53fbeef11d017bb0df49dbf2e22453","datavalue":{"value":{"entity-type":"item","numeric-id":580503,"id":"Q580503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$76AC92B9-7856-4532-A602-2BB6DFDC848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93baff5b3dbdcdd7ba37f54cc1d5ca7b878fe3b2","datavalue":{"value":{"entity-type":"item","numeric-id":587599,"id":"Q587599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$10B3963D-C52B-46B6-A95F-3F04F1B7ECDB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"094ef69ab9e622a80c0fcd4f3d8654410752fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":204007,"id":"Q204007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$4E949F60-3EF8-4861-8A08-83F845E24FDF","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":"Q1090971$62AE43AD-0E11-4754-8240-4A79E97748D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9c6f43a56a5d412e4dd2b393f4f1b14d74664f","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90089-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090971$29207E52-5C42-46AB-9A14-8D3A2C02CCDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec3fe576f64d16e329b420713828aef154f2220","datavalue":{"value":"W1988227068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090971$19332E3C-E865-4024-8FEA-92EE43D09EC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4db0eae5eb86f355096dd8870e2221b16844aa","datavalue":{"value":{"entity-type":"item","numeric-id":3237625,"id":"Q3237625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$D973D82B-F3CE-4B76-980A-DA2742890863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa17871d85c5cb3a9ebd7fc5d46621c65dbf23b","datavalue":{"value":{"entity-type":"item","numeric-id":3692477,"id":"Q3692477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$47595569-3E85-4BED-A266-3DBEC27ED1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d07beeac4e2dbef92d2a7fef9465163fc6a5692","datavalue":{"value":{"entity-type":"item","numeric-id":1090970,"id":"Q1090970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$15D3AEAE-CE33-4073-B192-C90E803046DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56fcc953eb69a36b05a8c80b56c6b30241cca14","datavalue":{"value":{"entity-type":"item","numeric-id":3706943,"id":"Q3706943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$0F365B13-FAA5-4A21-9637-2F8C9EF5A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2660af84f3dd4668213e79f5959c98192c79546f","datavalue":{"value":{"entity-type":"item","numeric-id":1144296,"id":"Q1144296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$E7DFDFCE-C439-48AF-9E06-F0FFF9D23808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ba0a1907b9ed3f8338e9987f59752985c1304","datavalue":{"value":{"entity-type":"item","numeric-id":3910672,"id":"Q3910672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$8FBABB41-0FFB-4FEE-B0C4-CC51F1E87489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669fedf0853a649f3d7988820057ced4d5b868b6","datavalue":{"value":{"entity-type":"item","numeric-id":1167450,"id":"Q1167450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090971$E0BFFCEB-BBB2-4384-A997-C2BBF1583A72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a65d3feef19d856882febd40c8c52d435766b67","datavalue":{"value":{"entity-type":"item","numeric-id":3784851,"id":"Q3784851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7ee653c435d2029b98996982cf8db6dfec56c8","datavalue":{"value":{"amount":"+0.8536427617073059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1090971$A711423C-89E7-41D0-B8F1-F65FF7932716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8609b0d899a241950d3e7d1d1d46e2cb2a137178","datavalue":{"value":{"entity-type":"item","numeric-id":4735317,"id":"Q4735317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89b2c673c27145d15f1c1cc0dc26cdacccd6c6d","datavalue":{"value":{"amount":"+0.842717170715332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1090971$4E6CC46C-1322-4FC2-9DA6-919A257B4EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d750b8e8ef88f99fa0e198655baba7c5ddd1bdb","datavalue":{"value":{"entity-type":"item","numeric-id":2367210,"id":"Q2367210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08042a4d5bc3727adafab4195dc2d5197557a48","datavalue":{"value":{"amount":"+0.8088361024856567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1090971$56AE49D3-6B80-4E43-BC0F-928F84382E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d664db65c08305e9f47bdeb189174f7f1af121b0","datavalue":{"value":{"entity-type":"item","numeric-id":2366062,"id":"Q2366062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5cdb99cc8d41fcb728c231408d2ab0da8eeebd","datavalue":{"value":{"amount":"+0.805838406085968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1090971$C4410C39-4A77-49FD-8D08-B3A9DA506467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d898868103c25cc05a3df3a1591b524e5a8c7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4013696,"id":"Q4013696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999d1c575647ac64ed5ce10d76f318da95fb0a25","datavalue":{"value":{"amount":"+0.8044472932815552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1090971$AFE8D7FD-8B9F-4660-8217-5A40DD2A9FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1090971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1090971"}}}}}