{"entities":{"Q1175935":{"pageid":1186684,"ns":120,"title":"Item:Q1175935","lastrevid":69807276,"modified":"2026-04-13T09:31:38Z","type":"item","id":"Q1175935","labels":{"en":{"language":"en","value":"Projective \\(p\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14885"}},"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":"Q1175935$678BDAFB-E2E1-449D-9286-34F94BDD48EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18b430216e882fde50122d23c64a0a4efb361fd","datavalue":{"value":{"text":"Projective \\(p\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175935$30F65B0F-22E1-41AD-8135-8170EC627963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e01c14208635fcce444baba9fcdac175a7784e","datavalue":{"value":"0736.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175935$884D5CC2-45CA-4FD1-A1F0-684FE575A828","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7232bafb5cee652d0d7e3f2c616d81e8068ac741","datavalue":{"value":"10.1007/BF01190857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175935$70E60989-6CDF-4F72-A2EC-11BD2D799D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55bc96d0d67197cb5499bbb5a076e104d4a8e44","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$6574C96F-9298-45AD-8C7F-CEF73C8DB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2475e36b6b14b66d7b692472a3498a1485fc0ee3","datavalue":{"value":{"entity-type":"item","numeric-id":588285,"id":"Q588285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$5332F4BA-EA5B-471D-B50C-20DB115DD4B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$658E4238-B7EC-4A91-A603-969BE388A4F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175935$ECAC6803-43FC-4259-8B07-4794B4C695CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60a67c23ead2d4cbed96d7c5c748108bc7b56af3","datavalue":{"value":"The authors give a characterization of projective \\(p\\)-algebras. A \\(p\\)- algebra is a universal algebra \\((L;\\lor,\\land,^*,0,1)\\) where * is the unary operation of pseudocomplementation. Define \\(B(L)=\\{x\\in L: x=x^{**}\\}\\). A finite subset \\(U\\subseteq L\\) is said to be a cover (a dual \\(p\\)-cover) of \\(a\\in L\\) if \\(a\\leq\\lor U\\). A cover [a dual \\(p\\)-cover{]} \\(U\\) is trivial if \\(a\\leq u\\) for some \\(u\\in U\\) (a is join-prime) [if \\(a\\geq\\land U\\) implies either \\(a\\geq\\land U^{**}\\) or \\(a\\geq u\\)]. We write \\(U\\ll V\\) (\\(U\\), \\(V\\) finite) if for each \\(u\\in U\\) there is a \\(v\\in V\\) with \\(u\\leq v\\); again, \\(U\\gg^* V\\) if for every \\(u\\in U\\) either \\(u\\geq\\land V^{**}\\) or there is a \\(v\\in V\\) with \\(u\\geq v\\). The condition \\((W)\\) is: \\(a\\land b\\leq c\\lor d\\) iff \\(\\{a,b,c,d\\}\\cap [a \\land b,c \\lor d]\\neq\\emptyset\\). The definitions of the sets \\(K(L)\\) and \\(K'(L)\\) are more complicated and we omit them. A \\(p\\)-algebra \\(P\\) is projective if for \\(p\\)- algebras \\(A\\), \\(B\\) such that \\(g: A\\to B\\) is a homomorphism of \\(A\\) onto \\(B\\), for every homomorphism \\(f: P\\to B\\) there is a homomorphism \\(h: P\\to A\\) with \\(gh(a)=f(a)\\) for all \\(a\\in P\\).   The main result: Let \\(P\\) be a \\(p\\)-algebra. Then \\(P\\) is projective in the class of all \\(p\\)-algebras iff \\(L\\) satisfies the following conditions: (1) every element \\(a\\in B(L)\\) (i.e. \\(a^{**}=a\\)) is join-prime; (2) \\((W)\\); (3) \\(K(L)=L=K'(L)\\); (4) for each \\(a\\in L\\) there is a finite set \\(S(a)\\) of nontrivial covers of \\(a\\) such that, if \\(U\\) is any nontrivial cover of \\(a\\), then \\(V\\ll U\\) for some \\(V\\in S(a)\\); (5) an analogous condition for ``dual \\(p\\)-cover and \\(\\gg^*\\)''; (6) for each \\(a\\in L\\) there are two finite sets \\(A(a)=\\{c\\in L: c\\leq a\\}\\) and \\(B(a)=\\{c\\in L: c\\geq a\\}\\) such that, if \\(a\\leq b\\), then \\(A(a)\\cap B(b)\\neq\\emptyset\\). In addition, \\(A(a)\\subseteq B(L)\\) whenever \\(a\\in B(L)\\), \\(c\\in A(a)\\) implies \\(c^{**}\\in A(a)\\), and \\(c\\in B(b)\\) implies \\(c^{**}\\in B(b)\\) whenever \\(b\\in B(L)\\); (7) \\(B(L)\\) is projective Boolean algebra.   Finitely generated projective \\(p\\)-algebras are characterized, too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175935$BB50400E-A949-44BF-B46B-75A421B4BD41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175935$BE415087-32F2-47DC-9534-2D13A76CC78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175935$BAF16538-DF65-48DC-8488-AC4845ED1849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84bc3d94fab7af4e97f9e831062ac264b634a9e","datavalue":{"value":"14885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175935$AA759B85-73D4-4017-8AEA-E884EC4137DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37e4fbd86886503f5ff4342a8a9f10c557e7eac","datavalue":{"value":"projective p-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175935$8513C62F-8410-4A23-B711-4E1FAE54CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175935$6CCACF15-93AB-4F6A-97A7-FBF19E778DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40fe3f048dbef31c1f6b8fd64dd1b51f31dea814","datavalue":{"value":"dual p-cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175935$627B9EBE-0F94-4FCE-A494-24974D6A49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175935$960C94C0-1B25-4A48-BBAB-3CFEF9785C2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4305dd855b422a3000e57f36bb0fc54548274953","datavalue":{"value":{"entity-type":"item","numeric-id":791556,"id":"Q791556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$ED59A2FD-9936-4A2E-A813-130FBB595624","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":"Q1175935$CF5C0C51-0F45-49B7-9754-10AF9D37B9E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38bed8deb3c625fda00e58b9e436008f1e5d99ad","datavalue":{"value":{"entity-type":"item","numeric-id":2546885,"id":"Q2546885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$1BD1561E-EC49-4B72-987E-BA80F5B8E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f26567ada080faa8a91d1e952affb34d33b7684","datavalue":{"value":{"entity-type":"item","numeric-id":5734466,"id":"Q5734466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$36AB5F4C-1AC4-4E2A-8C21-6836AE6456D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b182e17b26482d03662d8896a1e440bf67e22b73","datavalue":{"value":{"entity-type":"item","numeric-id":4744311,"id":"Q4744311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$4B402124-AA4D-45A8-8190-537B898ACE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953f844594c394bec3e16118f007388b5d2665c3","datavalue":{"value":{"entity-type":"item","numeric-id":1247988,"id":"Q1247988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$B5A55540-F5E6-4CE3-9070-4CDCA0B7F952","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":"Q1175935$3DD2B8B6-F2F8-49BE-91C9-BC27345323D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$F735740C-558D-4C05-9874-74806456734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17680a4cfae7beb692f0ac33057bf5999445e6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1053721,"id":"Q1053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$C30BA2BB-C60C-4B82-83A3-2449E4910BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368c0ebcb1b8340bc199deee95101d71bebc59e8","datavalue":{"value":{"entity-type":"item","numeric-id":798681,"id":"Q798681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$D58D5295-0168-43A5-A0FA-97D6494301FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dff61762291ed62fa94e23b93d0ebbf2797b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2557715,"id":"Q2557715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$69297252-9C26-4CE0-9FBA-6E0BABBA69B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$547CE42D-1F02-490B-AF3A-F49AF3EC3EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522b494aea19908aba98f2b98cf10dee9449c831","datavalue":{"value":{"entity-type":"item","numeric-id":3912634,"id":"Q3912634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175935$E507A023-E028-4F31-A008-D925F7374FCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c63a56bac575b44f57d0e716777f7f461fad0e","datavalue":{"value":{"entity-type":"item","numeric-id":5906467,"id":"Q5906467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809096fc014577f8c4ed22a152c644ccfc2dc420","datavalue":{"value":{"amount":"+0.8233028054237366","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":"Q1175935$8647F921-11BB-41B0-BBED-61779A69CBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178944728a6c04f601c20e3ef0a8eacef95d6007","datavalue":{"value":{"entity-type":"item","numeric-id":1333286,"id":"Q1333286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baab267d8363cd75ce5c83344c0a406f4807066","datavalue":{"value":{"amount":"+0.8215843439102173","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":"Q1175935$0F35BB43-B3FB-4314-AEE1-26CEE3041EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31459cfef0c43249e0e49aa27df34e52bba9eea1","datavalue":{"value":{"entity-type":"item","numeric-id":4271165,"id":"Q4271165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c16333d9d37de6d55cc4afe124df9f903fb370b","datavalue":{"value":{"amount":"+0.8052868843078613","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":"Q1175935$F913577A-E468-48E9-9757-557DC0F6910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8340d6f0d2b054bcf33f9c9272fdeacb345efff2","datavalue":{"value":{"entity-type":"item","numeric-id":1894551,"id":"Q1894551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52e9c9fc865b739be1765c0a60bae535cff61c7","datavalue":{"value":{"amount":"+0.801858127117157","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":"Q1175935$4471AB32-2B1D-47ED-91D8-0BC36EFF5C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78112ca4c6fd669a7cf9a0914b134822aa93aae5","datavalue":{"value":{"entity-type":"item","numeric-id":4271168,"id":"Q4271168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bef0365fd64416aa1b2eea656378bd6cef3330","datavalue":{"value":{"amount":"+0.7842669486999512","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":"Q1175935$0641B591-C182-4535-9387-12A3F8064659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projective \\(p\\)-algebras","badges":[]}}}}}