{"entities":{"Q1770612":{"pageid":1781354,"ns":120,"title":"Item:Q1770612","lastrevid":74367915,"modified":"2026-04-14T19:48:52Z","type":"item","id":"Q1770612","labels":{"en":{"language":"en","value":"On subdirectly irreducible OMAs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153445"}},"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":"Q1770612$8633425D-447B-4A83-B866-A8D200D491EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf1134b687fce9e7a1357d8730c2ea2f83057f4","datavalue":{"value":{"text":"On subdirectly irreducible OMAs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770612$3ED3CB0A-0827-4C86-AF73-0DEAFEC13033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9080c720cdf319f8a3603498b55a18de93d9cf19","datavalue":{"value":"1064.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$F90A8F52-C8C1-4909-8829-6BF558D7DC34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08964d41b52949b61fc7d5a7a3c5021146ac0520","datavalue":{"value":{"entity-type":"item","numeric-id":1770611,"id":"Q1770611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$67778818-CC95-42B1-89B6-1F105582623A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$C15437EF-AA84-4CC1-AF7B-5EDE33711800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770612$38466A52-FEC4-46C1-BF35-828B50EC8FAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e965fc47b7109143d0694578e84fa37c4701d2da","datavalue":{"value":"For a given signature \\(\\Sigma\\) let PAlg\\((\\Sigma)\\) be the class of all partial algebras of the signature \\(\\Sigma\\). Let \\(\\mathcal K\\subseteq \\text{PAlg}(\\Sigma)\\). A family \\((f_i:\\underline{A}\\to\\underline{A}_i)_{i\\in I}\\) of epimorphisms with \\(\\underline{A}\\in\\text{PAlg}(\\Sigma)\\) and \\(\\underline{A}_i\\in\\mathcal K\\) for \\(i\\in I\\) is called an epi-subdirect representation of \\(\\underline{A}\\) in \\(\\mathcal K\\) if the induced homomorphism \\(f=\\langle f_i\\rangle_{i\\in I}: \\underline{A}\\to\\prod_{i\\in I}\\underline{A}_i\\) is injective and closed. Further, \\(\\underline{A}\\in\\text{PAlg}(\\Sigma)\\) is said to be \\(\\mathcal K\\)-epi-subdirectly irreducible if for every epi-subdirect representation \\((f_i:\\underline{A}\\to \\underline{A}_i)_{i\\in I}\\) in \\(\\mathcal K\\) there exists \\(j\\in I\\) such that \\(f_j\\) is an isomorphism (closed and bijective homomorphism). The paper deals with the class \\(\\underline{\\underline{\\text{OMA}}}\\) consisting of all orthomodular partial algebras; the notion of an orthomodular partial algebra (OMA for short) was investigated by several authors. The author constructs an infinite class of finite \\(\\underline{\\underline{\\text{OMA}}}\\)-epi-subdirectly irreducible OMAs; let us denote this class by \\(\\mathcal D\\). It is proved that the quasivariety generated by the OMA with 2 elements contains up to isomorphism only one \\(\\underline{\\underline{\\text{OMA}}}\\)-epi-subdirectly irreducible OMA; this result implies some other properties of the elements of \\(\\mathcal D\\). Also, congruences of OMAs are systematically studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770612$AE307CDB-1546-4479-9332-42E6337839AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$16D37A26-4B37-4E01-84F0-C5FD640ACB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$8749307A-BD6F-4766-8DD1-4B0D5CC2F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$36857A90-BAD5-4C3C-8120-40D081D85282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7005fc0ab5dd3dd01618dee311bf849fb67fcc24","datavalue":{"value":"2153445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$4BDC55F7-B72D-4934-9605-61BA7E5B5E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29bfe278f89683551a365288bd03505e2450ed0","datavalue":{"value":"orthomodular partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770612$883EDD04-D911-4698-84C4-0743A258ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53a4916a9ffe10a807120e8dd849e0a9f97ea9e","datavalue":{"value":"epi-subdirect representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770612$21A7A3A9-90B3-41B4-B672-689461B02BD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$08E54655-AD1D-4E75-8361-269B80220B31","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":"Q1770612$6BD92B3B-453C-42D5-9AE8-1C67D2E081D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187feb250b68aac1d662026b31d777092e1b61a0","datavalue":{"value":"https://doi.org/10.1007/s11225-005-1277-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770612$66BB24CA-D912-4E71-B63C-B4F58A51A3FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5ee560dac89258039b9692ca4aa38204f631cc6","datavalue":{"value":"W2002550667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$B438FE4E-2DAA-4054-A35D-92A0CBC6C097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19acf9c1b6ec983bc61dadba21f906f5eaa8897","datavalue":{"value":{"entity-type":"item","numeric-id":4172077,"id":"Q4172077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$EE3C0D53-16A3-4757-A9C0-13E73B45C150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$13D90512-7363-40E7-9334-B2BE2AF76FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$2D98DF8C-A02D-457E-8B98-41CD3D764996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$7D7FD0CE-A163-4CCA-AEB8-2FEA1F7DC86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e180bb5589334bf6aa98d74b56948990fb3a995","datavalue":{"value":{"entity-type":"item","numeric-id":4840834,"id":"Q4840834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$D2CA5EF6-065F-4720-B617-1A925DA0E6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf92baa2775b072167caf73f449b19fc1170761","datavalue":{"value":{"entity-type":"item","numeric-id":798342,"id":"Q798342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$8A4189A1-33D3-47CA-8B66-31E4F637D726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1d712907beac6ad33555b9330a229c32c7603b","datavalue":{"value":{"entity-type":"item","numeric-id":800389,"id":"Q800389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$EB297291-B9E0-4BC3-808F-79ECDCF76167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46868e4f3749db23cb77080400f9b62b91f7712","datavalue":{"value":{"entity-type":"item","numeric-id":2475560,"id":"Q2475560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$2A6A2092-ADD9-4033-8EC3-D107F2E3C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2469b9b79b9a6f52073375c61809536874caf","datavalue":{"value":{"entity-type":"item","numeric-id":5682356,"id":"Q5682356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$A29D3C0D-FFF4-48BC-BAF4-A2A0BD36C04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feadbf4d99dab78a21568062875248fdebd7934e","datavalue":{"value":{"entity-type":"item","numeric-id":4840833,"id":"Q4840833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$8FB94757-CCF5-46D3-BA9B-4FDDE7951316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c75580643d772423a05d1fac08b5a9bd8daef4d","datavalue":{"value":{"entity-type":"item","numeric-id":5597551,"id":"Q5597551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770612$2DA6C885-4D0D-4F68-8603-75EF7E765D0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551e68fd11fabd3f5cdb6a46489bd740fea5446e","datavalue":{"value":"10.1007/S11225-005-1277-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770612$C54F82C1-46B3-4500-AB20-0825CBCC6C84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e1aabeb502bfcd727e10a7362375d8be871e34","datavalue":{"value":{"entity-type":"item","numeric-id":2343035,"id":"Q2343035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ba160665e277cbe346b887297a37e7e48d83b5","datavalue":{"value":{"amount":"+0.8219828009605408","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":"Q1770612$6AA156BF-2B89-4DFF-853D-D2F675AAD511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74492113941c8a69934a36c25ed646064e1f7571","datavalue":{"value":{"entity-type":"item","numeric-id":1902556,"id":"Q1902556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c155853d4aca5f7ff319b5a3f89ba644f96ae23","datavalue":{"value":{"amount":"+0.8033706545829773","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":"Q1770612$E950BB81-1A97-4944-9945-6ECEFB2E1CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af04ef185b456df479eb25ec730c478fcc7425c2","datavalue":{"value":{"entity-type":"item","numeric-id":4263733,"id":"Q4263733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9153fc43c07c4e533a2fcba70a64a7902bb18113","datavalue":{"value":{"amount":"+0.8030011057853699","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":"Q1770612$9A5B91CA-5726-43DC-9674-3D55D5126D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79170ea58ccd3667ccfa2c53fdd6b74e22bcc5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3680896,"id":"Q3680896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ffcde828c9d1161224d266aa9bbad363133938","datavalue":{"value":{"amount":"+0.7960324883460999","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":"Q1770612$1FD328C3-DF80-4A5B-9CED-F9E3CEF72B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3446e683006ee8658c7d0b5cfed1769772ea044c","datavalue":{"value":{"entity-type":"item","numeric-id":4840834,"id":"Q4840834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cdbf5d1316b87f782762fd3fdb2c8718679b8c","datavalue":{"value":{"amount":"+0.7942308187484741","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":"Q1770612$2ADA1570-0435-4266-8057-0FAF3040B490","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subdirectly irreducible OMAs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subdirectly_irreducible_OMAs"}}}}}