{"entities":{"Q1599446":{"pageid":1610186,"ns":120,"title":"Item:Q1599446","lastrevid":47927377,"modified":"2026-01-03T02:50:46Z","type":"item","id":"Q1599446","labels":{"en":{"language":"en","value":"Projective layer-lattices of small geometric dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1752703"}},"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":"Q1599446$792C8E00-2A4F-46FA-A7A5-893762B637B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2212f102280871abe68a2e50c115b438359e7b5","datavalue":{"value":{"text":"Projective layer-lattices of small geometric dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599446$400128C5-48D7-47EF-800E-442660B2369B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87987b53dad9c4ba0d2b41d622a65edb8cbc8db6","datavalue":{"value":"1030.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599446$771CE95E-8A96-4589-BF3E-D1DE07ED799E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a45bc8a4d91630e77ddd2899f34cdce385ee000f","datavalue":{"value":{"entity-type":"item","numeric-id":1599445,"id":"Q1599445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599446$C4B71B79-6631-4A00-96A4-1A4D317A31C1","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":"Q1599446$5045CD63-67C1-4DFF-ABCF-D7D90C1444B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa995b7245c41fe74d5727521bce919bf31dd3b4","datavalue":{"value":{"time":"+2002-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599446$C584FD3D-CB81-4760-A423-D176F1A472DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37a007418a08152f6895e0f4e29c9b2cede0bbad","datavalue":{"value":"According to \\textit{B. J\u00f3nsson} and \\textit{G. S. Monk} [Pac. J. Math. 30, 95-139 (1969; Zbl 0186.02204)] a finite modular lattice \\({\\mathcal L}\\) is called primary if (1) each element of \\({\\mathcal L}\\) is a join of cycles and a meet of cocycles and (2) each interval of \\({\\mathcal L}\\) that is not a cycle contains at least three atoms.    An arbitrary element of a primary lattice \\({\\mathcal L}\\) can be represented as a join of independent cycles. If \\( L = A_1 + A_2 + \\dots + A_n \\) is such a representation of the greatest element then \\(n\\) is called the dimension of the lattice \\({\\mathcal L}\\). If in this case \\(d\\) denotes the greatest number having the property \\( l(A_1) = l(A_2) = \\cdots = l(A_d)\\), then \\(d\\) is called the geometric dimension of the primary lattice \\({\\mathcal L}\\). If \\(X\\) is an element of \\({\\mathcal L}\\) and \\(X^{\\ast}\\) denotes the join of all elements covering \\(X\\), then the interval \\( [X,X^{\\ast}]\\) is a complemented lattice. Such an interval will be called a layer of the lattice \\({\\mathcal L}\\). A primary lattice is called layer-projective if each of its layers is an arguesian projective geometry over a fixed Galois field \\(\\text{GF}(p^k)\\).    A projective geometry of dimension at least 3 is arguesian and therefore any primary lattice of dimension at least 4 is layer-projective.    This paper is a continuation of the investigation by \\textit{V. A. Antonov} and the present author on layer-projective lattices of the same type [Mat. Zametki 63, 150-160 (1998); translation in Math. Notes 63, 170-182 (1998; Zbl 0916.06009)]. The following results are known:    (1) If \\( d \\geq 3 \\) and \\({\\mathcal L}_1 \\) and \\({\\mathcal L}_2 \\) are arguesian, then \\({\\mathcal L}_1 \\cong {\\mathcal L}_2 \\). (This follows from the basic result of J\u00f3nsson-Monk.)    (2) If \\( d \\geq 4 \\), then the lattices \\({\\mathcal L}_1\\) and \\( {\\mathcal L} \\) are arguesian [\\textit{G. S. Monk}, Pac. J. Math. 30, 175-186 (1969; Zbl 0186.02301)] and consequently \\({\\mathcal L}_1 \\cong {\\mathcal L}_2 \\).    In order to solve the isomorphism problem for layer-projective lattices of the same type it is therefore sufficient to restrict oneself to lattices having a small geometric dimension. For such lattices the following is known:    (3) If \\( n = 2 \\), then \\({\\mathcal L}_1 \\cong {\\mathcal L}_2 \\) (proved by \\textit{S. A. Anishchenko} [``On the representation of some modular lattices by subgroup lattices'' (Russian), Mat. Zap. Krasnojarsk. Gos. Ped. In-ta 1965, No. 1, 1-21 (1965)] in the case \\( k = 1 \\), but the proof is also true for \\( k > 1 \\));    (4) If \\( m_2 = m_3 = \\cdots = m_n \\) then \\({\\mathcal L}_1 \\cong {\\mathcal L}_2 \\) (see Antonov-Nazyrova [loc. cit.]).    In general the isomorphism problem of layer-projective lattices of the same type has no positive solution: Monk [loc. cit.] constructed an example showing the existence of nonisomorphic layer-projective lattices of type \\((2,2,1,p^k)\\).    The present paper aims at a clarification of isomorphism conditions for lattices of type   \\( (2,2,1, \\ldots, 1, p^k)\\). The following condition \\((\\ast)\\) plays a crucial role:    \\((\\ast)\\) There exists an isomorphism  \\[  \\varphi: [0, A_1^2 + A_2^2 + \\cdots + A_n ] \\rightarrow [A_1^2 + A_2^2, L] \\]  such that \\( \\varphi (X) = A_1^2 + A_2^2 + X \\) for all atoms \\( X \\leq A_3 + \\cdots + A_n \\) and such that any atom \\( X \\leq A_1^2 + A_2^2 \\) satisfies the equation \\(\\varphi (X) = Y + (A_1^2 + A_2^2)\\) where \\( Y \\) is a cycle of height 2 below \\( A_1 + A_2 \\) and covering \\(X\\).    The following results are proved:    Theorem 1.: Let \\( {\\mathcal L}_1 \\) and \\( {\\mathcal L}_2 \\) be layer-projective lattices having the same type \\(( 2,2,2, \\ldots, 1, p^k)\\). If the dimension of \\( {\\mathcal L}_i \\) is greater than three and if the lattices \\( {\\mathcal L}_1 \\) and \\( {\\mathcal L}_2 \\) satisfy condition \\((\\ast)\\) , then \\({\\mathcal L}_1 \\cong {\\mathcal L}_2 \\).    A layer-projective lattice \\( {\\mathcal L}\\) is a \\(C\\)-lattice in the sense of Antonov and the author [loc. cit.] if and only if it has an involutary anti-isomorphism \\( \\varphi \\) such that \\( A \\leq \\varphi (A) \\) holds for an arbitrary cycle \\( A \\in {\\mathcal L} \\).    Theorem 2.: A layer-projective \\(C\\)-lattice of type \\((2,2,1,1, \\ldots, 1,1, p^k)\\) satisfies condition \\((\\ast)\\).    This implies the following result proved with other means by Antonov-Nazyrova [loc. cit.]:    Corollary: All layer-projective \\(C\\)-lattices of the same type \\((2,2,1,1, \\ldots, 1,1, p^k)\\) are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$07292DCC-76C1-4BCB-99CE-8892B77993E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26e6f37ca2d6b3aeae1d9de6dfa3a4c1b2d4e5c3","datavalue":{"value":{"entity-type":"item","numeric-id":579622,"id":"Q579622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599446$163B5050-42ED-49F4-BFFF-195EF2683401","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599446$FC454ADF-7505-4081-978C-80272D1E5B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599446$72E865BC-A054-410D-AE01-32C2D575DC1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcf1cd026a0090f2c9fd90b61cbdd037966bb789","datavalue":{"value":"1752703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599446$EECFD780-70F0-434D-AFA5-6625357B0956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0b22a187d1c3df504222c366e677faccb0d81d","datavalue":{"value":"modular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$442C6AF3-A0A5-4401-8436-398644919CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"006e0186a0b1117fcc6c0a97a0ad562386c63bef","datavalue":{"value":"primary lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$5BB55A3E-7D47-4476-AA02-A7D80BB8DEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156587c6ed28353969b0e0f2acd62881e75662ac","datavalue":{"value":"geometric dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$FFDCD2D8-2D1C-4A9C-BBBF-03225BC8D84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84702a3ee51a5b006233be738ce76295837e825","datavalue":{"value":"complemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$B35B6D56-EBAA-4C8B-AE69-2A85BCA8A503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac70702b155be4d362e29b0b556d941ccab28a4a","datavalue":{"value":"layer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$A20A2178-B5B8-427F-B87F-614AEBF7D6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20926673c20e072b8b86ddcfc4e53b1bf5356ad0","datavalue":{"value":"arguesian projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599446$600933FF-2BC3-4565-BEF3-2E2A452689A2","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":"Q1599446$5C414497-EB5D-40E4-B9DE-0EBAA4396F21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b7fc5c78ab9ab84696d4ac8ff96485a7ca27b9","datavalue":{"value":{"entity-type":"item","numeric-id":1272272,"id":"Q1272272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65eee20c8c3b68c99f9bc8bf1adcaad942dfba0b","datavalue":{"value":{"amount":"+0.9129037261009216","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":"Q1599446$A29F2D0D-1DAF-486A-8B52-0539BD3A75E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc1d35b3aef079edb732e5a139ace73e11fb05ae","datavalue":{"value":{"entity-type":"item","numeric-id":3319326,"id":"Q3319326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65eee20c8c3b68c99f9bc8bf1adcaad942dfba0b","datavalue":{"value":{"amount":"+0.9129037261009216","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":"Q1599446$31D45A87-8511-4FCD-9DB0-FF0B2F50CE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9243a9e52f03f219a54fdbb27482d59c757dec90","datavalue":{"value":{"entity-type":"item","numeric-id":1810174,"id":"Q1810174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329bb216204c5e404bdc8583501b60fb60dd97df","datavalue":{"value":{"amount":"+0.8670178055763245","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":"Q1599446$4C3D516D-2448-4AAD-A297-12C7DC92322C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1b9b0ca1438dc05d8f3285aa521461b86cabd9","datavalue":{"value":{"entity-type":"item","numeric-id":1312165,"id":"Q1312165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329bb216204c5e404bdc8583501b60fb60dd97df","datavalue":{"value":{"amount":"+0.8670178055763245","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":"Q1599446$891E2171-6754-4328-B9D9-15ADE1F34A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431571a1365edcccf3f685571136284a51c8e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":464822,"id":"Q464822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f42cbb31fdad01c5153245df90e85565021bfa","datavalue":{"value":{"amount":"+0.773017942905426","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":"Q1599446$C1DB3E9F-A54A-4DAE-B385-A57AE1B6004A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1599446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1599446"}}}}}