{"entities":{"Q735930":{"pageid":737779,"ns":120,"title":"Item:Q735930","lastrevid":63980298,"modified":"2026-04-11T16:50:25Z","type":"item","id":"Q735930","labels":{"en":{"language":"en","value":"Ideal extensions of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5621405"}},"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":"Q735930$D6099749-B33D-4F2C-9A63-B9A7AF2B975A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce1a7b17badc4d49fcc76297074657dd0ab9bbce","datavalue":{"value":{"text":"Ideal extensions of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q735930$CE88270F-82A2-49DB-9CE3-F4ED9BB000C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ae6deddcd922a5b21ac5217e30797999fc3f89e","datavalue":{"value":"1181.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735930$29F9FED2-000F-445E-A12A-852CBC388178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"517610a5740faff597cf7037432c251af455eab5","datavalue":{"value":"10.3103/S1066369X09020042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735930$3BC3F302-B17E-42D2-BE7F-4C2288EA556E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"795053ce291a25b32a325e72ea90a1012426748e","datavalue":{"value":{"entity-type":"item","numeric-id":323591,"id":"Q323591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$5B9D89C5-7F3A-4523-8FBD-1F3D2A174311","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$8406144B-F7A4-4DEF-BA56-B436ED3EADA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q735930$2DDEE87D-A997-45AE-B1CE-EF9F910E4265","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d63df48e2f1fbd1a62d56f6189b37119be2240d","datavalue":{"value":"For a lattice \\(L\\), a map \\(\\lambda :L\\rightarrow L\\) is called a \\textsl{translation} of \\(L\\) if \\(\\lambda (x\\wedge y)=\\lambda (x)\\wedge y\\) for all \\(x,y\\in L\\), and an \\textsl{inner translation} if \\(\\lambda (x)=t\\wedge x\\) for a fixed \\(t\\in L\\). If \\(L\\) is a lattice, \\(K\\) is a lattice with \\(0\\) and \\( L\\cap K^{\\ast }=\\emptyset\\) (\\(K^*=K\\setminus\\{0\\}\\)), then a lattice \\(V\\) is called an \\textsl{ideal extension} of \\(L\\) by \\(K\\) if there is an ideal \\(L^{\\prime }\\) in \\(V\\) which is isomorphic to \\(L\\) and the Rees quotient \\(V|L^{\\prime }\\) is isomorphic to \\(K\\). In this paper, all the ideal extensions of \\(L\\) by \\(K\\) are constructed in such a way that also, conversely, each lattice \\(V\\) which is an extension of \\(L\\) by \\(K\\) can be so constructed. The proof of this main result covers 8 pages.   An illustrative example is given at the end. The Rees quotient is defined in Lemma 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q735930$4BAAB1C9-C1C4-4636-998E-1A46991FA022","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$F9E49E6E-8C1B-4B68-B224-029AA2E11A46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735930$4124D768-F715-447A-B8E9-71AAB97DE286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd7b663deaff8e146405e626cdcff5189c9cd80f","datavalue":{"value":"5621405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q735930$29A8801C-6D1A-4206-B429-9218D4ABE0DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q735930$631B325A-209E-4039-9B37-98AA43E13366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf16167ab70903c9a139595c4abf7bc9ce6d06d","datavalue":{"value":"inner translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q735930$B8758526-4969-4E60-93F2-54292D8557E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b2946dbafdac8f3b7a7ef913c7456ef8b67387","datavalue":{"value":"ideal extension of a lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q735930$85C46C8F-A760-4A7E-886D-0DAF3DB61980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa5d3496c5e4a7c4f033a2cab003dbb711a5787","datavalue":{"value":"Rees quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q735930$E3E38C84-6E90-47B3-B35A-D1867E5607DF","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":"Q735930$505542A9-0379-4175-81F2-AA8D393213A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b596ad3199d87ebd88c3fb2b47df79c628a715b0","datavalue":{"value":{"entity-type":"item","numeric-id":5795129,"id":"Q5795129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$3C3979F8-1178-453D-B12D-5C624D6FC73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$4DA962B4-9F76-4435-BCB5-7847109FDC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198f229dbe19f305360bd7cbb41e32160c49982","datavalue":{"value":{"entity-type":"item","numeric-id":2548615,"id":"Q2548615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$2741F628-A50D-4357-8AD4-42211937F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9339bfeb6a7f1514ba377ca855ee4b2a294254e0","datavalue":{"value":{"entity-type":"item","numeric-id":4106252,"id":"Q4106252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$FD71E85F-C55C-4D6A-926C-00C8D1B5FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e746a7f49c7cc85ae45a5ad68c40a3a5913bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5606632,"id":"Q5606632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$F8C6BBA1-30F5-40DE-8C86-7FC20F7ED0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905f2501939866f5166b8d81f9f1e2966263c56e","datavalue":{"value":{"entity-type":"item","numeric-id":1837777,"id":"Q1837777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$A52CB8D1-C7A3-4A22-B665-D69819CDBF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf1bd39921647975b8b53d0668a29acbd8ad97f","datavalue":{"value":{"entity-type":"item","numeric-id":1777809,"id":"Q1777809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$79EE87B4-ACB5-4D0A-9BFA-977F7DBCCBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccd3a229f8c113d6a2f853370fb375a19220dad","datavalue":{"value":{"entity-type":"item","numeric-id":3022118,"id":"Q3022118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$759A786D-CE1D-49F4-976C-4201238A522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec3ded0467a3682c5274799431669467e5d52f3","datavalue":{"value":{"entity-type":"item","numeric-id":4467148,"id":"Q4467148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$B778A96A-910B-4532-AE3F-2404AB547190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5146ba2e0662c0d6f5669350e1a6743880ae219c","datavalue":{"value":{"entity-type":"item","numeric-id":4428225,"id":"Q4428225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$869B4671-3EBE-47BE-8D5C-B89899352BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5240d999373c76ca90dda497bbdf4ef35b00ae","datavalue":{"value":{"entity-type":"item","numeric-id":3495396,"id":"Q3495396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$FF912124-05EE-4FD9-840A-931922CAEF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db9e170a059e79ba3de99de102411546e2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":3243320,"id":"Q3243320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$0D569D2A-ECAF-4D62-B438-31EDD0E8215E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d25ed70fd3a8aefd41e454b2ffa405412afb922","datavalue":{"value":{"entity-type":"item","numeric-id":3243321,"id":"Q3243321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$9F822908-A816-4574-96E3-AE1A3048B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c9d8b2ada6fc07220e02d3e79752a26c3c486a","datavalue":{"value":{"entity-type":"item","numeric-id":3849014,"id":"Q3849014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$7176D040-B1B0-47EC-99A4-8F11ACFFB81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6094bdc0236aa86bc58ecfdbbd51863b69acb7","datavalue":{"value":{"entity-type":"item","numeric-id":3849916,"id":"Q3849916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q735930$CF77DE29-DE08-40A6-B281-F81B281A0D56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a0047acc548e280c5319652253034517b7956b","datavalue":{"value":{"entity-type":"item","numeric-id":3495396,"id":"Q3495396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4dd1bb4e1b2f786b05255a5c29818194c54202","datavalue":{"value":{"amount":"+0.99255097","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":"Q735930$6F565D22-B8E7-4F6C-9EC1-1F104E7C5F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0733fea0f268d28e7cec146263e6774c506cbe","datavalue":{"value":{"entity-type":"item","numeric-id":5233390,"id":"Q5233390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba52c03ad5a4e58d15eb51eb04480264c83219ca","datavalue":{"value":{"amount":"+0.93419963","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":"Q735930$855357B2-5DC6-4529-A163-C789B5EE42E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4088090f3a033524d102e332d12914b8c18bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":4998507,"id":"Q4998507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db98fb681bf25ec59eceda5856d9590c6458bf27","datavalue":{"value":{"amount":"+0.9338864","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":"Q735930$1F7CFE31-F420-4438-8633-432DF359E70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20c54dc46beb460ae4f4ee10bea881efec83881","datavalue":{"value":{"entity-type":"item","numeric-id":5738214,"id":"Q5738214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aceac425ebcb926bfbda1ef31e15277dd9f698a","datavalue":{"value":{"amount":"+0.92779917","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":"Q735930$F7803CA4-BAB3-44D9-A218-831C18C4E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a84c6f7613641d450fb2c1d31098679ecf5435","datavalue":{"value":{"entity-type":"item","numeric-id":5646931,"id":"Q5646931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01ab9fb3d1bd0a9df0788443cf44c25ff26b804","datavalue":{"value":{"amount":"+0.9243004","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":"Q735930$13C5129B-13B0-4284-A68B-6D6CA7336A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d046465b9a596e1d4f1e481806b0cc13f836c98d","datavalue":{"value":{"entity-type":"item","numeric-id":3254362,"id":"Q3254362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653d93c3b5e49a83737616e81edfb3d6af74026c","datavalue":{"value":{"amount":"+0.91727805","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":"Q735930$0B577AA3-8B76-477F-AB95-DDED54E6B5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46647d9d7ebc80f7869c211e8e75b385ae5c8c91","datavalue":{"value":{"entity-type":"item","numeric-id":5004632,"id":"Q5004632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9f1db901b0773f2e02b5804d29da03c618db71","datavalue":{"value":{"amount":"+0.9164244","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":"Q735930$3D2EB221-3FD0-4F72-BD1A-58C343DF5A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03d9a4f85a464460dbc450f81556c975c99c74a","datavalue":{"value":{"entity-type":"item","numeric-id":3384551,"id":"Q3384551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e0c11999315fc41340ee916809bbc5c072637e","datavalue":{"value":{"amount":"+0.9158841","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":"Q735930$0FCAD1A1-5C57-47B2-B30F-C3A66BEABF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0f2d8c8b7f13226b92f2a554d0627533e25262","datavalue":{"value":{"entity-type":"item","numeric-id":2798870,"id":"Q2798870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2153ee970a09ca83a7f87be615785ea5aee6860b","datavalue":{"value":{"amount":"+0.91535234","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":"Q735930$834DC6DB-B62C-472C-B26D-C440EC8CFCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1cf17d3a85a6bb9ecf64f1e40e05c6b2216a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4033123,"id":"Q4033123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715f7c05165f25631bd34001bbf15332ee8c9b7d","datavalue":{"value":{"amount":"+0.9079688","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":"Q735930$62A8C155-D909-4532-9BDE-EB0A28F590FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideal extensions of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideal_extensions_of_lattices"}}}}}