{"entities":{"Q622794":{"pageid":624570,"ns":120,"title":"Item:Q622794","lastrevid":63261945,"modified":"2026-04-11T11:41:40Z","type":"item","id":"Q622794","labels":{"en":{"language":"en","value":"Binary divisible codes of maximum dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5845415"}},"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":"Q622794$9873D9EA-1C77-4329-A64B-EB75F71D4558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbf692da5315e5e256df840a49dd6d6db3745849","datavalue":{"value":{"text":"Binary divisible codes of maximum dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622794$C8335A85-2601-4C88-A427-A8C5204AA004","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d7a0d2f402e3cb1b8b57ad06439bed9b166fee3","datavalue":{"value":"1204.94101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622794$5D77A895-4B9C-4085-AF55-56B344DD7D8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17dc4b483747ed17a9dd0412bb6f23cbce36f456","datavalue":{"value":"10.1504/IJICOT.2010.032862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622794$3970C84D-6A0C-4202-A06D-651D91529B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c748e29716b9491ce11ffada6c3c96fba3a9c268","datavalue":{"value":{"entity-type":"item","numeric-id":325707,"id":"Q325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622794$46FE3F32-AA13-4EDF-B6CF-32AAA11BD108","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3e9e59970b6096537ac135b2cc16d1c02a64695","datavalue":{"value":{"entity-type":"item","numeric-id":274526,"id":"Q274526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622794$F2E18BC5-CB13-4125-B723-CA2A6E7FC53F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb451147bd74c79234e9189509b87d2f579564be","datavalue":{"value":{"time":"+2011-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622794$466D9AF0-E63C-4BDE-BB99-55D5467AE9F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b7313838c0eb1ede83619d970f3cc36a719a4ba","datavalue":{"value":"Summary: Divisible codes were introduced by \\textit{H.N. Ward} [Arch. Math. 36, 485--494 (1981; Zbl 0438.94014)]. A divisible code is a linear code over a finite field whose codewords all have weights divisible by some integer \\(\\Delta > 1\\), where \\(\\Delta \\) is called a divisor of the code. A binary linear code is said to be of (divisibility) level \\(e\\) if \\(e\\) is the greatest integer such that \\(2^e\\) is a divisor of the code. The doubly-even binary self-dual codes may be viewed as level 2 divisible codes attaining the largest conceivable dimension for their lengths. In this paper, we give an exact upper bound for the dimension of binary divisible codes in terms of code length and divisibility level (when the level is at least 3) and prove the uniqueness up to equivalence of the code attaining this bound, given the hypothesis that a certain non-zero weight exists. We also prove that the hypothesis is true for level 3 divisible codes of maximum dimension with relatively short lengths.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622794$AB7DEA78-9240-4D72-ACDD-43789CF30BB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622794$5F9E1420-0B6C-401A-90B6-8FB1A7E00487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc6d903f2f6957829d3f7139e9ed235f694161e0","datavalue":{"value":"5845415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622794$7DEBC89C-B20E-4A32-A776-95D565E4788B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e613f019271d11382f218a5c116252f52fb5f1ae","datavalue":{"value":"binary divisible codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q622794$750461F8-1F7E-4CBA-9E0E-7C748B180B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q622794$71AA3BCC-77AE-4F48-BB35-8C20D3FEFC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d1bba25b505f471ae5297fe5a378261abe99c6","datavalue":{"value":"code length","type":"string"},"datatype":"string"},"type":"statement","id":"Q622794$51E742AA-66CB-40DB-AF53-598033BAD82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fbb444f6da6a01e85a876ab534739f2967409a","datavalue":{"value":"divisibility level","type":"string"},"datatype":"string"},"type":"statement","id":"Q622794$5780C55E-B47F-4F25-B26F-AE4EC02DA064","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":"Q622794$34F30A5B-9C80-44D0-BF0B-3BA61CD86CAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba6d37cda93e3453f13dc8df4a1faf9450f53bed","datavalue":{"value":"https://doi.org/10.1504/ijicot.2010.032862","type":"string"},"datatype":"url"},"type":"statement","id":"Q622794$DA468CAC-75A2-445E-BD84-77A1A2A58AA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"261a65f0aeb1c34cec84f54ba727938befa13e77","datavalue":{"value":"W1987122276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622794$473E08A2-545A-497C-88F8-B59E9B950A98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f2eda2ccbe78b39ac1a284d62b00c52ce3fbae","datavalue":{"value":{"entity-type":"item","numeric-id":3991411,"id":"Q3991411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d056a72d69b922cc1fc68450820621bac4159d","datavalue":{"value":{"amount":"+0.8526386618614197","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":"Q622794$52F57CC6-9B19-497E-803C-2DF45F45FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c6a72e6766afa69483ded03ecd943ffe2b3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1142197,"id":"Q1142197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4911b383a3d27d83ce1254f607e07ac6e171cc94","datavalue":{"value":{"amount":"+0.8450685143470764","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":"Q622794$706E4814-9990-4DD5-A1E6-2E15D6D9FF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffb7a168f2ea144082b3e903c6b4843d82a5bac","datavalue":{"value":{"entity-type":"item","numeric-id":1963169,"id":"Q1963169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2d87da1bbcf7ce64ffc04d6fa3461067107b70","datavalue":{"value":{"amount":"+0.829749345779419","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":"Q622794$726AF555-3306-4459-8312-5DBAC4720CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242c6a9648f8fd9e2c5567d06c7f718ae46e7916","datavalue":{"value":{"entity-type":"item","numeric-id":5937123,"id":"Q5937123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b4cfd5a65f84bd355cd0f24eeaa3516410bcbd","datavalue":{"value":{"amount":"+0.8297423720359802","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":"Q622794$FB192707-EA86-4A38-8734-2CD5454D524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86789bd1fa56f7f49117ebbc606064e0919ac82e","datavalue":{"value":{"entity-type":"item","numeric-id":622780,"id":"Q622780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017fc154231d4b45e90f25c50b773f10019938fd","datavalue":{"value":{"amount":"+0.8297420144081116","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":"Q622794$5588B333-A15C-4DC5-BD8D-A69485AE2483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary divisible codes of maximum dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_divisible_codes_of_maximum_dimension"}}}}}