{"entities":{"Q788099":{"pageid":789947,"ns":120,"title":"Item:Q788099","lastrevid":42693154,"modified":"2025-07-08T13:16:51Z","type":"item","id":"Q788099","labels":{"en":{"language":"en","value":"Affine parts of algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3842101"}},"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":"Q788099$6C0205F7-D473-48FF-9484-6A60BD6877AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceea4bdcdd71ae357f3bc6f23b3990c9a8676323","datavalue":{"value":{"text":"Affine parts of algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788099$C6B4A128-A13A-4C6E-A7AA-32DD1EB995A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6a55c30000851e737c0fda1714f791377581dd","datavalue":{"value":"0531.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788099$B93A35F4-109B-4680-A94E-64C73269EFC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d30f081779a93dc772d4b6b80660de6d0627db8","datavalue":{"value":{"entity-type":"item","numeric-id":788097,"id":"Q788097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788099$DAD5F835-EF7E-4176-B75B-50FC2256ED86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788099$734F9DE7-FD27-4D53-90A8-DEFE252EC758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q788099$570002E6-078F-4F0D-9A6F-A2352468DBCD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a859c3d12cc252fde40e826422c43a851a73551","datavalue":{"value":"For any finitary algebraic theory \\(T\\), let \\(T^*\\) be the coproduct of \\(T\\) and \\(P\\), where \\(P\\) is the theory of pointed sets, and let \\(aT\\) be the affine part of \\(T\\) in the sense of \\textit{J. R. Isbell}, \\textit{M. I. Klun}, and \\textit{S. H. Schanuel} [Can. J. Math. 30, 231--237 (1978; Zbl 0362.18010)]. For any variety of algebras \\(M\\), let \\(T_ M\\) be the theory of \\(M\\).    The author considers the following two conditions: (1) \\(T\\) is isomorphic with \\((aT)^*\\), (2) \\(aT\\) is isomorphic with \\(a((aT)^*)\\). It is shown that these conditions characterize varieties of modules within some classes of varieties. In particular, the following results are proved. Proposition 5. If a theory \\(T\\) satisfies (2) and has a subtheory \\(V\\) whose algebras are at least loops, then these algebras are in fact abelian groups. Proposition 7. Let \\(M\\) be a variety of groups. Then the following are equivalent: (i) \\(T_ M\\) satisfies (1), (ii) \\(T_ M\\) satisfies (2), (iii) \\(M\\) is a variety of abelian groups. Proposition 9. Let M be a variety of quasimodules over a ring \\(R\\). Then \\(T_ M\\) satisfies (2) if and only if \\(M\\) is a variety of \\(R\\)-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$32FA834D-873A-4F0B-9F30-83FC30A53528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788099$86CAD52A-2848-45CF-9590-4B815379D893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788099$65CB7B5F-476D-43E1-A591-D66EEC11A8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788099$2A3953DC-4A89-45AE-AEDA-FA4A36C28CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c475cf497ce0555d02a3f54afe823672b2528670","datavalue":{"value":"3842101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788099$3277F821-A6A8-42E6-A2D9-87D87E70B8C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$70412250-5214-473D-B928-068057E0270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$E8DA4595-9329-4BC4-8C58-650F0E4629CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$1122515A-B2F4-4C03-9D2A-638F9566A650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$DA0F2150-CD4E-4AF1-BE76-6FEAF76D9FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$1CC83667-BDDA-4312-ABB1-C39687A1236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ac6f00dd6cadbe0e6ea4e5399555a790cecf03","datavalue":{"value":"equivalence of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$3C43E421-C3A4-4CDB-BC92-084C79803998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f6bd7382a027513122b2c963f2d2bb1b2ac514","datavalue":{"value":"affine parts of algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$04809913-4DAC-4808-ADE8-2BA364AB7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29db8f81822b4dd5e737c715b46256be35ebac2a","datavalue":{"value":"quasimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q788099$4997FE86-E7A0-4B45-91AB-979F1819E129","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a904bce13815648859e4a9e6c13b60d3d332bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1801303,"id":"Q1801303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788099$9DB43F54-EF83-4D52-B2E2-5FE424076493","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":"Q788099$B958587B-A3F4-4635-9BB4-B3C350DC8ABA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc66aab827abbfe8d17308a9d2ebff82abe00797","datavalue":{"value":{"entity-type":"item","numeric-id":2583596,"id":"Q2583596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca170769fb46ed360871d52ff9500603b874a2d","datavalue":{"value":{"amount":"+0.71634823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$80578465-09CF-41B9-8804-32C214BF349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eebff0a67555aa75a09fb8ea1eda930d3b17a08","datavalue":{"value":{"entity-type":"item","numeric-id":2390520,"id":"Q2390520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f77ab2eb29e39308804bcc785fcab7b01fac80","datavalue":{"value":{"amount":"+0.7098152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$8A4D61E0-CD72-4484-86CC-33DFD43F94D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db10e8793fc076539db2a49f1166c59f9685607b","datavalue":{"value":{"entity-type":"item","numeric-id":583258,"id":"Q583258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7420ab08c882d2deba504f7cf8f828a66f5697be","datavalue":{"value":{"amount":"+0.69576323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$17EA8214-7E48-475E-89F8-CAEF6B228346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8a03bc44fa0dab8e211c73a8cc86e8c1b2e87b","datavalue":{"value":{"entity-type":"item","numeric-id":3791317,"id":"Q3791317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb8f34ff7af5e89340a51dcbcf496578b42533c","datavalue":{"value":{"amount":"+0.67640495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$0057F854-8DB6-4611-A991-0E5C3DC7C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2540c14d676fe65056c88976785b20576d585778","datavalue":{"value":{"entity-type":"item","numeric-id":4292742,"id":"Q4292742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a71e01602ccf8a8af6ab5b48ca34900006f3460","datavalue":{"value":{"amount":"+0.6760843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$06959DC7-C75C-40BF-8957-11DA2602EFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d9f968a8f6a66583f02f161a3043c9866e7675","datavalue":{"value":{"entity-type":"item","numeric-id":5500196,"id":"Q5500196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1553735d05d53d3f697a570289900bc57c6dcfe0","datavalue":{"value":{"amount":"+0.6637138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$BA8890FE-2CD9-4D93-9EF7-EAA791D7C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe671ad5978b738fc90818c1dc25c659d4f7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":4026903,"id":"Q4026903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7382d2f00be7c048785888afeddabd9d60104e02","datavalue":{"value":{"amount":"+0.6617134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$CAD2F495-F486-46BB-A6D7-E7194E48FE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608a54e5d50b8637773ab39107cf5cdeed5974aa","datavalue":{"value":{"entity-type":"item","numeric-id":3515731,"id":"Q3515731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770d87fd9d2291baf7e2c78ba7b62b89952e185b","datavalue":{"value":{"amount":"+0.6582973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$7754315A-375E-461D-AF8A-2EA38F35DED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733dbceb703d4c1415f486c688a4e6516115e947","datavalue":{"value":{"entity-type":"item","numeric-id":5361148,"id":"Q5361148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11492585b41522ef68344941485004db9eb0d6c","datavalue":{"value":{"amount":"+0.6566083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$E5EBCC16-BA50-40BD-B360-827D530BBD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e39e876434939383466556772dad671de8214a4","datavalue":{"value":{"entity-type":"item","numeric-id":1593791,"id":"Q1593791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acfd8e800b1499e85f29f58051a5a9b2baebd62","datavalue":{"value":{"amount":"+0.6517835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788099$C5536EEF-1EBE-4463-A8A4-2A7323E5D92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:788099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:788099"}}}}}