{"entities":{"Q1364265":{"pageid":1375004,"ns":120,"title":"Item:Q1364265","lastrevid":68859285,"modified":"2026-04-13T02:36:22Z","type":"item","id":"Q1364265","labels":{"en":{"language":"en","value":"Computation of first cohomology groups of finite covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1051519"}},"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":"Q1364265$27742EA8-7E80-487C-9B4E-08DCDF2ACEC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f43ba1141b5326cdbe19c2c3e5a66d4fd90270f4","datavalue":{"value":{"text":"Computation of first cohomology groups of finite covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1364265$1A0FC1BA-7509-4C56-BC55-26FA25DD32C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a8f0085bfd9cd4f7d4e8e72c18b721939d92add","datavalue":{"value":"0884.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$1EA9D78E-CB9E-4875-933B-E1A06426C7F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d3cfdc9a2b46db29b6ba5253e63e6596230556","datavalue":{"value":{"entity-type":"item","numeric-id":555562,"id":"Q555562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$A94E81E9-5D19-4948-8AED-2BF33A414A87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$BDAE87B1-D311-4A62-87DD-50759D840328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7765eefed21fdf2360b9d246dd6272bcc4bb251f","datavalue":{"value":{"time":"+1998-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1364265$4D456752-B487-4119-9E42-52AB053B51BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"698f5147b8461d34691e137779a62fffc2762c73","datavalue":{"value":"The paper contains important structural results on finite covers of permutation structures (in the context of infinite permutation groups). These arise naturally in model theory, for example in the analysis of totally categorical (or, much more generally, smoothly approximable) structures. The problem is, given a large base structure \\(W\\), to determine all finite covers of \\(W\\) (finite means that the fibres are finite.) The proofs are cohomological, typically using Shapiro's Lemma.    Theorem 1.5 (also proved by Hrushovski) states that if \\(W\\) is an oligomorphic \\(G\\)-finite permutation structure, then there is a (computable) bound \\(r\\) such that if \\(\\pi:C \\rightarrow W\\) is a minimal finite cover with finite kernel \\(K\\), then \\(K\\) has a generating set of size at most \\(r\\) (minimal here means that no proper expansion of \\(C\\) induces the same structure on \\(W\\).) In Corollary 5.4, using Sylow theory for profinite groups, it is shown that for a permutation structure \\(W\\) on which \\(\\Aut(W)\\) has finitely many orbits, the kernel of any minimal finite cover is nilpotent. Then in Theorem 6.1, sufficient conditions are given for a minimal finite cover of \\(W\\) to have finite kernel. Finally, in Section 7, the author treats generalisations of Ziegler's Finiteness Conjecture. He shows that, under a certain combinatorial hypothesis on \\(W\\), each cover of \\(W\\) is determined up to finitely many possibilities by its kernel. The number of such covers is bounded in terms of the order of a certain cohomology group, which is shown to be finite (but the method does not give explicit bounds).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364265$E6DF69A9-0998-4070-A890-77CF09D67903","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$3197630A-9995-4789-98EF-014BA4B45C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$77E9BBBB-60CF-439F-921F-72445C841C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$A0C19E42-BEA6-4533-A2AB-EB29C721CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$DC3AAAFF-6484-4AE6-B29C-AADE3F1B14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$DE2D39AD-8B20-449B-9D5F-CD9AD7EC2421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee8a16197cc25bf0707014893c6f7bd1f92a7a7","datavalue":{"value":"1051519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$1F838879-4CB4-4753-BE4F-D4C4761D686B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc7993ff4fecc286d8fccffd4a0d6ce11f3c8c3","datavalue":{"value":"finite covers of permutation structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364265$28F3E6B9-A209-4C0A-9932-6F355DDA0406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9336ad6b18aeac3cea2fa6eda32662cdffe2b775","datavalue":{"value":"\\(\\aleph_ 0\\)-categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364265$9A94EEFB-15CC-41DC-9897-BFAE3E821D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93ecfc2c495ccf9030843aabb16c0583b644dd3","datavalue":{"value":"cohomology group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364265$1CCD1B03-200B-48E5-A124-28F337C578B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4dfb2c42cefd1d94c0bb9fe27b91656bccaaafd","datavalue":{"value":{"entity-type":"item","numeric-id":1061216,"id":"Q1061216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$BE961C99-01E7-43D4-BA59-146F47A74EFF","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":"Q1364265$9EC97991-ECCD-43D6-84FF-9173503E6408","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22e36933a4f5051294322c1c703a18a81b9315c9","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.6987","type":"string"},"datatype":"url"},"type":"statement","id":"Q1364265$12405285-EE40-4934-B60E-D48C7F658E5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a87541c23cc5224e6751b9390db5bd8f90bac27","datavalue":{"value":"W1983655535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$E35351F3-0EDB-48F9-91E2-F835BC126773","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2bad4f1888accf9764931fc200db591175d3f8","datavalue":{"value":{"entity-type":"item","numeric-id":1075316,"id":"Q1075316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$4A662107-E4AB-47FB-8B9C-DF4C3B233D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bfe1a2f93f71b5e780820731131e0ff005d75d","datavalue":{"value":{"entity-type":"item","numeric-id":1210579,"id":"Q1210579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$118E7CB6-AA83-4548-8701-4446D749022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118cf85c6443303c8efc2c53dd70da7c2f64b1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1204550,"id":"Q1204550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$EE62672B-8172-4647-81D0-CFC37062EA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636421cf45da77df89b187632fc898617b52ad80","datavalue":{"value":{"entity-type":"item","numeric-id":4265453,"id":"Q4265453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$D2277F40-A801-4278-B488-C5CDBCA2C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e771f49e7c669f74251467edadb5af8cf305","datavalue":{"value":{"entity-type":"item","numeric-id":3708977,"id":"Q3708977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$68E01DC4-857F-438E-B108-6B3E828D65A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33cfb91b89f46bf57c663c060a2ffafc9d446ed","datavalue":{"value":{"entity-type":"item","numeric-id":1148994,"id":"Q1148994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$9D78943D-BBE7-473C-99F0-B66420D5EF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ed89c1b5d98f459bd871151ad5950f7e46ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5283949,"id":"Q5283949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$A91BCC87-19A3-4CE3-869E-7BFAD4D1DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20b0cee38c275c058cdb30b4f92d1ec389750b5","datavalue":{"value":{"entity-type":"item","numeric-id":1377640,"id":"Q1377640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$4BB033F5-322D-48DB-99B4-213EE86D0050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa72f206e1e3a59be33cb215e66af70cb5fdcb63","datavalue":{"value":{"entity-type":"item","numeric-id":688797,"id":"Q688797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$FEC062AA-CE20-4BBC-BF9E-2470DEBD47C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c0b685389a8438f7f005ba501bef03f0b75b0","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$571015A3-41A1-4362-8905-7E7F093E90B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610db66b4718460b0310a0a5477015ad4af6490","datavalue":{"value":{"entity-type":"item","numeric-id":4307773,"id":"Q4307773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$34CBE31E-5D74-4D3C-830D-6AB390E49E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04164717d189d36d049c17eab02ebbe6137bd356","datavalue":{"value":{"entity-type":"item","numeric-id":3827994,"id":"Q3827994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$199359BE-D5B5-488B-8BBF-840A51C2BDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d986ce75b088a24cc498f277cf7f71fe1798672","datavalue":{"value":{"entity-type":"item","numeric-id":4305611,"id":"Q4305611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$A4E00FC3-FD44-49B7-B6DD-0FAFCB5B3767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc94b4eeafdb5a7af9ba155671154c01789c7004","datavalue":{"value":{"entity-type":"item","numeric-id":4400016,"id":"Q4400016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364265$96D33B62-E91A-4051-8FC6-E400AB7594E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd567a418cd7fb3ab27f96d4611576645e3ca85","datavalue":{"value":"10.1006/JABR.1996.6987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364265$F2AC0C0F-6E25-4DDF-B9EF-C29B95ACA071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd14a19e911063e9aa16120b1c3b86beb4c0e661","datavalue":{"value":{"entity-type":"item","numeric-id":1377640,"id":"Q1377640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6faa65eda1907aa61505f54a6f17c1a4250442","datavalue":{"value":{"amount":"+0.848714292049408","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":"Q1364265$F3B66F49-1022-4A0D-A8AA-498947BC9987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c1266e9510e138d1100ffe0e30e6ca3843f47e","datavalue":{"value":{"entity-type":"item","numeric-id":4307773,"id":"Q4307773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6faa65eda1907aa61505f54a6f17c1a4250442","datavalue":{"value":{"amount":"+0.848714292049408","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":"Q1364265$120932E5-A37B-487D-ACC3-4704B2991817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86a5a55cecc221246bea2e2826ab6f6f3569a1","datavalue":{"value":{"entity-type":"item","numeric-id":4400016,"id":"Q4400016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79b086f01d2ba1eb9574311c4e90050ec9eca9b","datavalue":{"value":{"amount":"+0.8078539967536926","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":"Q1364265$C5A67EF8-F068-4B8F-AD4B-9CC38F63703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9c2b438d7b8e29fdc2fb61223aa171681669f2","datavalue":{"value":{"entity-type":"item","numeric-id":688797,"id":"Q688797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216117600c3a3fc2afeae23d57f76794edb09664","datavalue":{"value":{"amount":"+0.8076167106628418","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":"Q1364265$5E18DC7D-A9E8-4E15-B748-E32287FF62D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051426b9a171c4f7754f115a1f45ffb35dc69535","datavalue":{"value":{"entity-type":"item","numeric-id":3644341,"id":"Q3644341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc22e23c95fd2e7a0fdf9595bf8b36647e5c4db","datavalue":{"value":{"amount":"+0.8053206205368042","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":"Q1364265$51A18EEF-82F1-4B3B-B8EF-5863592F7279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of first cohomology groups of finite covers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_of_first_cohomology_groups_of_finite_covers"}}}}}