{"entities":{"Q1377640":{"pageid":1388380,"ns":120,"title":"Item:Q1377640","lastrevid":68760585,"modified":"2026-04-13T01:52:54Z","type":"item","id":"Q1377640","labels":{"en":{"language":"en","value":"Finite covers with finite kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109921"}},"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":"Q1377640$A15475B8-9273-407F-8CD6-BCE7230C206C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b56ea2d717a5511a5489ccf504659ba562ff8d1","datavalue":{"value":{"text":"Finite covers with finite kernels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377640$3C70D6A5-0971-453F-BD02-C70D0E39B441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52cddd2ec111dc6f7676a86445d0d8991d91b8e8","datavalue":{"value":"0892.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$2F8AAF48-855D-43BF-A0D0-3160D6760741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aacfacfa8340d3a15bc111b4299f7ac3acfdb279","datavalue":{"value":"10.1016/S0168-0072(97)00018-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$3F4D9DE7-3DC0-4724-88E0-CDB9F98FB504","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":"Q1377640$8CD6FCF2-7AC2-4AA3-85EB-1A4A18AC6D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$CC914AAA-F63C-40DB-B47A-CFD6599DCB92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377640$C75DCE5A-CF82-40C4-AFC8-74EF420A86F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38eb18a5abeb5bc843ae75f23bdd9a9e82bfb63e","datavalue":{"value":"The author considers certain infinite imprimitive automorphism groups, motivated by model-theoretic questions on classes of \\(\\aleph_0\\)-categorical structures. The basic notion is that of a permutation structure, that is a set \\(X\\) together with a closed subgroup of \\(\\text{Sym}(X)\\) (denoted \\(\\text{Aut}(X)\\)). If \\(C\\), \\(W\\) are permutation structures, then a finite cover is a surjection \\(\\pi:C\\rightarrow W\\) such that the \\(\\{\\pi^{-1}(w)\\}\\) (where \\(w \\in W\\)) are finite and form an \\(\\text{Aut}(C)\\)-invariant partition of \\(C\\), and the induced map \\(\\rho: \\text{Aut}(C) \\rightarrow \\text{Aut}(W)\\) given by \\(\\rho g(w)=\\pi(g\\pi^{-1}(w))\\) has image \\(\\text{Aut}(W)\\). The kernel of the cover is \\(\\text{ker}(\\mu)\\). The emphasis is on the case when \\(W\\) is \\(\\aleph_0\\)-categorical (so \\(\\text{Aut}(W)\\) has finitely many orbits on \\(k\\)-sets for all finite \\(k\\)) and \\(\\text{ker}(\\mu)\\) is finite. The author examines possible kernels, and possible covers with given kernel, under certain hypotheses. In particular, he conjectures that under natural hypotheses (on \\(W\\) and the class of covers), for a given permutation structure \\(W\\) there is a natural number \\(r\\) such that the kernel of any finite cover is at most \\(r\\)-generated. This has since been verified, by the author [J. Algebra 193, 214-238 (1997; Zbl 0884.03041)] and also by J. Koshan and by E. Hrushovski.    The author introduces natural conditions -- untwisted, locally trivial, locally transitive (sometimes relativised to an orbit) -- and gives reduction lemmas to these situations. He develops a theory of finite coverings of digraphs, and uses this, under certain hypotheses, to define a universal covering of a structure, and also to define an analogue of the first homology group, which has all sufficiently nice kernels as quotients. This theory works well if there is a strong type, a privileged 1-type which exists in many \\(\\omega\\)-categorical structures.    In the final section, the author gives a reduction to the locally transitive situation. (The natural example is an \\(\\aleph_0\\)-dimensional vector space over a finite field, covering projective space.) Assuming the existence of a strong type, sufficiently nice finite covers are parametrised.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$1CECA3EE-4515-4B6F-8CC9-979DB2A42FD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$EF4595AD-A19B-40FC-8FBF-E801D036E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$F72B78E9-D389-4FCD-B779-E14DFEBE0517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e331a0dae776ce158ccaf2ebad8bc7ac6ef05698","datavalue":{"value":"1109921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$733BFBB3-04AD-4BB7-9AD9-F51B9B7B1B4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3a375aa6fa5e24a909e4129119b3397252007b","datavalue":{"value":"finite cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$2C3BC0FA-00EC-4871-A5F6-98604525628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982caad2ea247e47bfb357dc5bbe94eb60ff7052","datavalue":{"value":"aleph-zero categorical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$1BF7C5C1-BD6C-4CCF-894B-0464A4FBA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$DAFB187D-B0A4-492D-9875-654CE4E4BDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3302f81972135f46ba07f2b32dfc8917c9680356","datavalue":{"value":"coverings of digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$E962835A-5176-4F5B-AAFB-DE01976D1105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76fa8fbdcd58837ffc96227668788a6360823926","datavalue":{"value":"permutation structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$C6E317E3-5263-4962-9F88-4726F2396773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4876e5a78b0942adcb8a80b4f9274a8cd49bea72","datavalue":{"value":"untwisted","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$C2DF166D-F4C6-4580-9A40-D816DC0C8F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2854e2972108f108375a4f3d4d7c99d712bad952","datavalue":{"value":"locally trivial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$60DAE8E1-A991-4757-BD1C-A224C768964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437b3fa945323b02034e7233294aafefb37a85f9","datavalue":{"value":"locally transitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$2F5FFC9B-A2EE-4EB1-A758-B7BFBA5474B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b36015959e6f553f164ab0e953ec86f017336f5","datavalue":{"value":"analogue of the first homology group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$210A9359-6169-4BD7-9C24-A84E71C37CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd958945adb8f971e17c53b8b72b99d29ba70053","datavalue":{"value":"kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377640$9D8D95AD-CB06-4349-A790-06B7ED680C4F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b1fbf6bb9174c9942e99f523c63d912ca09fc5d","datavalue":{"value":"Q56269725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$E7760A66-C774-45BB-9C43-83447EC752F3","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":"Q1377640$9ED83DBB-4A7D-45E5-A8DA-EED32770463E","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":"Q1377640$1AEE7A7A-4254-46F5-B228-431746AB823E","rank":"normal"}],"P223":[{"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":"Q1377640$0A3F8745-4C0D-43FD-9C69-CB1CBCD7D725","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":"Q1377640$CDAEA124-D8D5-4E22-B8F7-33327F24B4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e82355580999f465450fcdc52e518562f6b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":4302354,"id":"Q4302354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$BEBA26F5-D11C-4336-85AD-0942046433CC","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":"Q1377640$5655D76D-3633-478D-A7F6-B23A1CAF2E18","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":"Q1377640$07178A2E-663F-4A29-9BBD-F0F6C89C4FCA","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":"Q1377640$112ABE10-A124-49D1-84B7-D96A6EE16D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f33e086a7a96a72aadab83cbb413d1e9523b8dd","datavalue":{"value":{"entity-type":"item","numeric-id":5557005,"id":"Q5557005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$00A90226-D44B-4EFF-BEA3-16C07EDA5BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$7DD8473F-E5DB-4077-A375-6D638A3E262A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1e351cc19df4aeb788fab0f657d4ffd1304f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4309354,"id":"Q4309354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$20DD8B83-1AA7-4E2C-8DD7-C07133D33CE7","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":"Q1377640$8A51A7DE-F837-4804-A70B-A70E516B0CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$B97058F0-0F23-4681-AC7D-8D0FB8384ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe417ed8754f806d973b1c43687757bbf7553c9","datavalue":{"value":{"entity-type":"item","numeric-id":4309359,"id":"Q4309359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377640$82A40A18-1D07-4A73-BCC6-FEF2F4E312E7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"31eaa3ba723f67ec221d88b528c7cd15555b7ada","datavalue":{"value":"journals/apal/Evans97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377640$C249920E-977B-4BA3-8E47-5DDA6D7FF0B5","rank":"normal"}],"P1643":[{"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":"4c5c9d806d70b09f1f4cf3fce4bc00a45acde067","datavalue":{"value":{"amount":"+0.8629213571548462","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":"Q1377640$320FBB77-52E2-4924-A863-2C5F4B0030C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0abd890d4c0803e7dcec909743448fbda4d6a61","datavalue":{"value":{"entity-type":"item","numeric-id":1364265,"id":"Q1364265"},"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":"Q1377640$6DEC8126-B3CD-4414-9AB0-E3AB1668E72D","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":"f30af983dfcf5cb01c1dd0d62e65732c811d2154","datavalue":{"value":{"amount":"+0.8484313488006592","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":"Q1377640$29A780D8-FB56-4CE1-80B4-02DFEAB50DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite covers with finite kernels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_covers_with_finite_kernels"}}}}}