{"entities":{"Q1971631":{"pageid":1982373,"ns":120,"title":"Item:Q1971631","lastrevid":82189523,"modified":"2026-05-06T20:19:02Z","type":"item","id":"Q1971631","labels":{"en":{"language":"en","value":"Arguesian identities in the congruence variety of Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1422998"}},"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":"Q1971631$E52D9558-A3A4-4D37-A958-24AF6DC616EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5669227e7d0e66e2fa1dc763ebf46f419749ee66","datavalue":{"value":{"text":"Arguesian identities in the congruence variety of Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1971631$AE634675-137B-4955-A9AE-5F41DF85D5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4097bd5429d0feb655d80d3edd3c3f904b5d0a05","datavalue":{"value":"0957.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$7A77EC0B-4243-40E0-ACA2-05C1F80E1BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$E731B44A-15DC-47EB-AA7C-9FBF219470B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1971631$C0D95A3D-4745-4BBF-98CB-6A2AC2143F35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f64f55574e1e10c1e5e170fc054653f617b03b04","datavalue":{"value":"The author continues the work begun with \\textit{M. Mainetti} [Adv. Math. 144, 50-93 (1999; Zbl 0933.06004)], treating the following problem posed by \\textit{M. Hawrylycz} [Adv. Math. 122, 1-48 (1996; Zbl 0858.15019)]: Translate Arguesian identities in Grassmann-Cayley algebras into inequalities holding in linear lattices (i.e. lattices of commuting equivalence relations) or in the congruence variety of abelian groups.    The problem has been solved for Arguesian identities of order 2 in the joint paper cited above. The main result (Thm. 4.2) of the paper under review is a general solution for Arguesian identities \\(P=Q\\) of arbitrary order by transforming these identities into lattice inequalities in the congruence variety of abelian groups. The transformation is carried out by applying the so-called unfolding procedure to the polynomials \\(P\\), \\(Q\\) on either side of the identity.    Whereas many Arguesian identities fail to hold when viewed as lattice identities in a projective geometry, their unfoldings are valid inequalities in the lattice of subspaces of any vector subspace as a consequence of (4.2). This phenomenon is demonstrated by generating various theorems of synthetic projective geometry and their generalizations to higher dimensions (Desargues, Bricard, Fonten\u00e9) by the unfolding procedure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$07653382-A1EA-42C4-A533-131A62620251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$482A1E9C-2EDF-40AA-9F2D-B182C176A738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08240126a81e33f43f6f0d84216dc8557b00da58","datavalue":{"value":"51A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$36C854A3-396E-4F26-B606-6CBC124D3204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbfb44b942c9138f96abfcd84aa5233f9be5438f","datavalue":{"value":"1422998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$7630176C-3FE0-4DE1-8AE4-7D2346624ED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f49d87604b07533fb57475777e5d46c74904c9","datavalue":{"value":"Arguesian identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$57766227-37A7-4DC0-A49B-1B0BFF5A5DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faef59cc3fa2d4ab1bab060b5c82c2bebc4f569d","datavalue":{"value":"linear lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$3D8D0879-AC28-4CDC-890B-9C41BAD853E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b5d63f71b79a875705936599bc05fba81535deb","datavalue":{"value":"congruence variety of abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$6B3144B9-79FE-4A38-B24B-9B7A9B758BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$BDCB8D3A-871A-40AD-AA5D-1D7B72784563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971631$C6E9E671-091C-4482-BD32-2EAD379F8F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3398306c6d77632a14e99e21c4e61f1f60762e2","datavalue":{"value":{"entity-type":"item","numeric-id":593050,"id":"Q593050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$C0A2D182-CC3D-4673-BA1B-A5CD6D9B2220","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adec00be824bd247cdea1af83bd0dad28a9541c0","datavalue":{"value":{"entity-type":"item","numeric-id":588356,"id":"Q588356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$71E47B93-F990-4BE8-AC3C-2CCDFBB2B2B8","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":"Q1971631$525EA896-AE69-49DF-A2BC-4B6A8C0B2B1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88596fb92ed22e9fc6df84ef75c54a441c1ef267","datavalue":{"value":"https://doi.org/10.1006/aima.1999.1865","type":"string"},"datatype":"url"},"type":"statement","id":"Q1971631$F6CD22A1-8BAF-47ED-AB17-CE7926F1F0E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"331edf56881a7f4e9966b08f347586532c75714a","datavalue":{"value":"W2021575618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$D62ACD12-18A4-4B0F-8046-F63F005AE5A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0de06cb5986097ea663294554bb6e86d6ba10b","datavalue":{"value":{"entity-type":"item","numeric-id":1071093,"id":"Q1071093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$0DDF9669-58D6-4357-AC9C-B567D5FE15E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$0AAF9440-4D28-459D-850A-F8897495280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162297ba862d363ca69d7b72eb4d685c5374fc89","datavalue":{"value":{"entity-type":"item","numeric-id":1092027,"id":"Q1092027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$7D80AA18-EE0F-4624-81D4-08A57CE91E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5415180a967c2ab79b0dd9a9d7057bc79bcd590","datavalue":{"value":{"entity-type":"item","numeric-id":3861411,"id":"Q3861411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$BA0DD314-EE8B-49B1-A8AE-AE16C88709D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb82ae0b53baf967583c9de01812eda53c41e66","datavalue":{"value":{"entity-type":"item","numeric-id":4896505,"id":"Q4896505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$6FA64BB6-01D2-4A17-B316-4B432F85207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$11563C0F-3317-459B-8839-F6631F4F16B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$4291AD0E-B3C6-4D42-9061-2DC87C332F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcd8cc58e789784ce1ab59c94752ad99ce847ad","datavalue":{"value":{"entity-type":"item","numeric-id":4292176,"id":"Q4292176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$0EDAB3FC-5973-4CDF-9268-CD7F6598DF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f29b90b2cbc4be7be247d4fcb1345a7f9294c4","datavalue":{"value":{"entity-type":"item","numeric-id":1924005,"id":"Q1924005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$72495812-7536-41DF-8A08-1B2E06A4C9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbaff2b81ed4c943343aaa4613a3e0db9a8ff04a","datavalue":{"value":{"entity-type":"item","numeric-id":1161547,"id":"Q1161547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$3E22B23D-ADBF-4012-BD58-4D7E018D9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b50c0ca1dc18869b0aaeb3200315ad6202bbc58","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$61E55EE7-9BD0-4288-8598-9E1C2F85F081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4b203249a14fc71a15948e3789364d7f11df89","datavalue":{"value":{"entity-type":"item","numeric-id":2276988,"id":"Q2276988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$6A49D95F-FC7F-436D-A67E-18E724DB7A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274a7051ff6e80e41d5513f2cdfb67980f565a4","datavalue":{"value":{"entity-type":"item","numeric-id":5822106,"id":"Q5822106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$7A6B630D-5700-4660-98B4-55ECF5097637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed25196a64d75d2b93934fae22d672bff8d2599","datavalue":{"value":{"entity-type":"item","numeric-id":5829441,"id":"Q5829441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$0A2BD640-9006-457F-A2C0-D59D119C6E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$A51384A1-4E96-44F2-B702-A0DD549783B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce68d4b705ebea76bf07e4f1d1b2c3423afc1db","datavalue":{"value":{"entity-type":"item","numeric-id":1302053,"id":"Q1302053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$5718F2E3-2D4C-4DAE-9A63-EF8643753859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c177215bfd4245a6cad44d8834590b23ed4522","datavalue":{"value":{"entity-type":"item","numeric-id":4849834,"id":"Q4849834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$E1279B43-04BF-4AAB-B257-DDABD4624ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ea64913d8d762547b79776ede9a5a94b24de2","datavalue":{"value":{"entity-type":"item","numeric-id":4192196,"id":"Q4192196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$84633FF0-FF6A-402C-891C-033B935DC2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"520dff869380a29a8dbb8b110efc21c28abe4049","datavalue":{"value":{"entity-type":"item","numeric-id":5834606,"id":"Q5834606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$145AB808-8AD4-40A1-AF03-EDEE7B75DE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7453d4d38ca4402de21566867c884a85f493b57d","datavalue":{"value":{"entity-type":"item","numeric-id":1176387,"id":"Q1176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$77B50800-0D35-47DF-B6E1-91A680B809B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d87fc6ac19762b2f6028bc69baf73aefcd1547c","datavalue":{"value":{"entity-type":"item","numeric-id":1381868,"id":"Q1381868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$BEF934DD-7236-44F9-8E57-94656409152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995f8fc89784af9a6231a2e390a5b546aa904d2a","datavalue":{"value":{"entity-type":"item","numeric-id":1382835,"id":"Q1382835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971631$2CDD7DF4-D4DE-4156-915C-749D66C67E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"758aacc96ffb66b1b092fd1ad4bd95155a8d7bf2","datavalue":{"value":"10.1006/AIMA.1999.1865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971631$1EB21CA7-B568-476D-BA89-6B4C5370C518","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b234e6ad74b22433f63ed8f71e93881663296892","datavalue":{"value":{"entity-type":"item","numeric-id":1584665,"id":"Q1584665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff051dd41105b23148edeeac87bf7320bc52b24a","datavalue":{"value":{"amount":"+0.9031998515129088","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":"Q1971631$CBFADA37-4141-4104-AAB2-BEEC8C77A3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06ede009dc25d4ca4ccc5915981ae5e92b4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":1302053,"id":"Q1302053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a91a6707f368a5da89f93a2857115c64bc8a26","datavalue":{"value":{"amount":"+0.8407523036003113","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":"Q1971631$80E100F5-1520-4558-BCFA-A858BCFCDC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efe45d524fde184cbd7e3d281e72c8d74117fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4849834,"id":"Q4849834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6521881ba80bd7b18ae3d76edc947ce1a4d90add","datavalue":{"value":{"amount":"+0.7961176633834839","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":"Q1971631$A96B289C-77AF-420B-9EE9-57A3116C6923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arguesian identities in the congruence variety of Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arguesian_identities_in_the_congruence_variety_of_Abelian_groups"}}}}}