{"entities":{"Q1370171":{"pageid":1380911,"ns":120,"title":"Item:Q1370171","lastrevid":43063322,"modified":"2025-07-17T09:06:24Z","type":"item","id":"Q1370171","labels":{"en":{"language":"en","value":"Local formations in which every subformation of type \\({\\mathcal N}_ p\\) has a complement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1077943"}},"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":"Q1370171$B2B95C69-1CE2-4902-8762-378A7D0721AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"444f88bad9643805c2c56ef6934bc650e41deff5","datavalue":{"value":{"text":"Local formations in which every subformation of type \\({\\mathcal N}_ p\\) has a complement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1370171$ECBF08DB-F969-44F3-B534-1B42A2120616","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c8037b33dc4aa37bf84de9771fa9b783235ea7f","datavalue":{"value":"0884.20011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$F343A815-9C6F-437D-BD6A-98C3B0A9CE80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86e77a0c83a764199b48b60902afdef5cab82e4e","datavalue":{"value":"10.1007/BF02884221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$C157E382-F23D-4E2B-85C9-ED65BED8DA7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$A8A80817-19B5-4A98-B395-E84BC1407F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91876c0ae2fdf3d4b98e339829630a9e4f67317c","datavalue":{"value":{"time":"+1997-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1370171$B0EAC192-6A4C-479A-A88A-4BEADB0051AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2a95762023473d9b548fe7360a2f07725b018eb","datavalue":{"value":"A subformation \\({\\mathfrak F}_1\\) of a formation \\({\\mathfrak F}\\) is said to have a complement in \\({\\mathfrak F}\\), if there is a subformation \\({\\mathfrak F}_2\\) of \\({\\mathfrak F}\\) such that \\({\\mathfrak F}_1\\cap{\\mathfrak F}_2=(1)\\) and \\({\\mathfrak F}=\\text{form}({\\mathfrak F}_1\\cup{\\mathfrak F}_2)\\). The following theorem is a description of local formations in which every local subformation has a complement.   Theorem. Let \\({\\mathfrak F}\\neq (1)\\) be a local formation. Then the following conditions are equivalent: (i) Every subformation of type \\({\\mathfrak N}_p\\) \\((p\\in\\pi({\\mathfrak F}))\\) has a complement in \\({\\mathfrak F}\\); (ii) \\({\\mathfrak F}\\) is a nilpotent formation; (iii) The lattice of local subformations of \\({\\mathfrak F}\\) is Boolean.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370171$CA9F4B3B-ABBD-4C7B-90CB-BA6EFB25DF7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$C173B26B-81A0-4EDE-8BB1-1929CF60E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$B1DAB5C5-5321-4E6C-92F1-A48B4B715AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$997C5637-DB5E-49D6-9471-57BC2D537CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d4f90129692d5b174dec18af1ba2f39b213459d5","datavalue":{"value":"20F17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$91CAF71A-68DB-471F-8767-18CF45A1DD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbc443a55de1b4fd16f8142233b8ef8a8bc295f8","datavalue":{"value":"1077943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370171$B7568FED-4617-4E1E-B5F3-EE1AD4AF10E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4474eeb28fcd5cd5b3d36d81057f42f5f3e5ae4b","datavalue":{"value":"complements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370171$0EA21224-D813-4475-AD80-12D5BE10B3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92adbb093827ef1c4a12468676e8a65e0ceb623d","datavalue":{"value":"local formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370171$A7E547BB-1629-45A0-B0CF-7A794244CEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3563bfbd92d9b6c2fb3eb061a8cc3ee760866d5c","datavalue":{"value":"nilpotent formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370171$1250B10C-9427-4403-BDB7-F836482992E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c618a998aad69b051a81d75c22186a18c5041dee","datavalue":{"value":"lattices of local subformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370171$375ECE2B-B6B8-408C-A0DD-0F99EABCCD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6a415d7289f5f2a8fcef72d79c687f97a69765","datavalue":{"value":{"entity-type":"item","numeric-id":1042899,"id":"Q1042899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$E1C662F1-7141-477F-A2D0-DE8AC70F8111","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f06aec0a2f72561cee00db2f984ec9e07458e976","datavalue":{"value":{"entity-type":"item","numeric-id":1398496,"id":"Q1398496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$65C093D0-5C66-4FC0-A230-CE7297E9C3B1","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":"Q1370171$319BD98E-FC7D-4EB3-B83C-E00DB27A1A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4650bbdc9e98d7e2349f20a235788708c898a279","datavalue":{"value":{"entity-type":"item","numeric-id":3961010,"id":"Q3961010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$A19C3DCF-596B-4264-8401-F5A4AE82A2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc6c8d0b6a46514fb773b8a6af30a4329bfb049","datavalue":{"value":{"entity-type":"item","numeric-id":3994689,"id":"Q3994689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$72595441-9D9D-4A3F-9C54-0AD64588D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db08849aa7707150e8aeef11d9120d78ebc52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1189495,"id":"Q1189495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$5822CE9C-E0B2-4AA5-A9F3-B646E3460EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf24e03399382ac6fc7357d9726ee5dc5b98ac04","datavalue":{"value":{"entity-type":"item","numeric-id":3909200,"id":"Q3909200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$D6FA6226-5868-422B-99CB-485C53EAE0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e2e2758bf5f30711fc407e9c8290e5e1e483b7","datavalue":{"value":{"entity-type":"item","numeric-id":4712395,"id":"Q4712395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$C9789B01-08AB-4CF0-A61E-DE97BC404155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d9d9d480b2d003fe1db3ced1ac4befe5b87741","datavalue":{"value":{"entity-type":"item","numeric-id":3934684,"id":"Q3934684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370171$152798C3-E150-4C28-8776-5BC11C3F535C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119142af106fc5b36dfd4dec3bbb49ec51e8cee8","datavalue":{"value":{"entity-type":"item","numeric-id":4224302,"id":"Q4224302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81b246d971da147177bd8c1992994a2f77fe1f3","datavalue":{"value":{"amount":"+0.90424174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$5D9C36D2-4D78-4E60-B682-D83F3E5BE22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9966789dc35530a7430ab474a0fbefccd5cd69","datavalue":{"value":{"entity-type":"item","numeric-id":4224308,"id":"Q4224308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466d658e5756945065201e6485badaf072740585","datavalue":{"value":{"amount":"+0.90234053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$F52208F3-6BB9-47C3-93D5-C2736D80F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9660e44d3756f528391fe9eb636be0e8155766d","datavalue":{"value":{"entity-type":"item","numeric-id":1902835,"id":"Q1902835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44dd91e952b0d4d04916a81b95baaadb7f2ebc1","datavalue":{"value":{"amount":"+0.8747498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$29F63A15-33DD-4130-9F23-D48A6B091987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734b6485c9de89cac127f6664d7a89220fcb811b","datavalue":{"value":{"entity-type":"item","numeric-id":3710685,"id":"Q3710685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e60a492d527874ea175c2680a7c2c8523aca03","datavalue":{"value":{"amount":"+0.86182886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$A1C971D4-54B9-432B-A4B4-3799AEC7C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3583a476cf887f500ecd10126011f8be9b10a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4230714,"id":"Q4230714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66712f02d98c6e9cb974cf7f763916c2cdbc3b06","datavalue":{"value":{"amount":"+0.8448286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$9A8551E3-E0AB-4BD8-934F-EC2F1B01910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8476f0bf3b331bf1c060482ec811dce209c82f","datavalue":{"value":{"entity-type":"item","numeric-id":4691780,"id":"Q4691780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ad15fe9e45ef796c20b5b690b6f3ee502c50e3","datavalue":{"value":{"amount":"+0.84431493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$EE0CFFE4-92F4-4EA5-B865-A4F4DD06CB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d62055619b734f92947e559fd06fa4329f8ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3970804,"id":"Q3970804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6395d6dfcf86343b1aed2bb5ad646b17a39b367d","datavalue":{"value":{"amount":"+0.84428525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$E5794DB9-4C1D-4F57-AB60-057F833FD912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4e2e57bd4ff06b22c59d0e8fd1c0b96793b306","datavalue":{"value":{"entity-type":"item","numeric-id":4230709,"id":"Q4230709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad22eb68786685300c954e298bbb5ae4933f287","datavalue":{"value":{"amount":"+0.8413017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$356CEC8B-B7D7-467E-BE8C-09FCEF9FEFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6392bfa70faa2201a81989d88203f9b721d4d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3344351,"id":"Q3344351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2379f65f39fb5452a0bb7390f7822ae6cc68d3","datavalue":{"value":{"amount":"+0.83586717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$37A4B903-5443-42B2-9C94-62955016BB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3076b198d364014c56122a041a6460be3e78d1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5743043,"id":"Q5743043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0b154def94122bdcfd8f54253bd1d03801b05a","datavalue":{"value":{"amount":"+0.8356458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1370171$63110FF0-CA65-4E9D-82B7-15E8107E7EE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1370171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1370171"}}}}}