{"entities":{"Q6540070":{"pageid":14151213,"ns":120,"title":"Item:Q6540070","lastrevid":55661146,"modified":"2026-02-17T20:34:09Z","type":"item","id":"Q6540070","labels":{"en":{"language":"en","value":"Direct product, subdirect product, and representability in autometrized algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7849595"}},"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":"Q6540070$65DA26BD-C0C1-478E-9C98-1CC02E84A7AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"820586b7a7e2877222f4c9272a0d9570d408d051","datavalue":{"value":{"text":"Direct product, subdirect product, and representability in autometrized algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6540070$1183762C-F1FC-4977-B5B9-FDB65647EF6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3079fafaffba8074cb93f19325207b8c8ca3f73","datavalue":{"value":"1543.20067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$6C1A661F-8E06-49EF-8085-CB32E4BE53EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ce1185bc19c4f44fa954cc77ba87a45792a23b","datavalue":{"value":{"entity-type":"item","numeric-id":6540068,"id":"Q6540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$4E6BC7CA-9CF1-4F5F-A500-1FE0E5939430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c24590c8ddc7af0d6b91158c803573a9352468a","datavalue":{"value":{"entity-type":"item","numeric-id":600466,"id":"Q600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$52A4F43B-1250-4012-A3B6-80ABEBE80D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab4c795fcae95809f7b625896d0f0522ba562ba0","datavalue":{"value":{"entity-type":"item","numeric-id":6540069,"id":"Q6540069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$0A8FAE48-B17F-48E7-85DD-F6B848072008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b32068c1eb97d3d4a9ae7a17440315d6189dc45","datavalue":{"value":{"entity-type":"item","numeric-id":5016298,"id":"Q5016298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$9574386F-1784-4AB8-A9B7-8F09EE389BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"560a5a0342f0afa9881385c4650257e1ab315b10","datavalue":{"value":{"time":"+2024-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6540070$26797081-2F32-4B99-811E-6EC4BF90A3FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e721f51719557a45d747e71ad1f10ef8e7ef8b8","datavalue":{"value":"Let \\((A, +, 0, \\leq, \\ast)\\) be a system. Then \\(A\\) is called an \\textit{autometrized algebra} if and only if\\N\\begin{itemize}\\N\\item[(i)] \\((A, +, 0)\\) is a commutative semigroup with \\(0\\).\\N\\item[(ii)] \\((A, \\leq)\\) is a partial ordered set and \\(\\leq\\) is translation invariant, that is, for all \\(a, b, c \\in A\\) then \\(a\\leq b \\Rightarrow a+c\\leq b+c\\)\\N\\item[(iii)] \\(\\ast : A \\times A \\to A\\) is autometric on \\(A\\), that is, \\(\\ast\\) satisfies the metric operation axioms:\\N\\begin{itemize}\\N\\item[(M1)] \\(a \\ast b \\geq 0 \\text{ and } a \\ast b = 0 \\Leftrightarrow a = b\\), for all \\(a, b \\in A\\).\\N\\item[(M2)] \\(a \\ast b = b \\ast a\\), for all \\(a, b \\in A\\).\\N\\item[(M3)] \\(a \\ast c \\leq a \\ast b + b \\ast c\\), for all \\(a, b, c \\in A\\).\\N\\end{itemize}\\N\\end{itemize}\\NIn the paper under review, the authors introduce some general concepts in the context of autometrized algebras. First, they provide definitions for the notions of direct product and distant ideals, discussing some basic facts. After that, they introduce the notion of directly indecomposable and present the concept of subdirect product. Some results about these concepts are shown. Another given definition is that of simple autometrized algebra and its behaviour is studied. It is also introduced the notion of subdirectly irreducibility and it is proved that every subdirectly irreducible monoid autometrized algebra is directly indecomposable. Finally, some properties of chain autometrized algebras are discussed and the definition of representability is provided. It is proved that if a weak chain monoid normal autometrized \\(l\\)-algebra is nil-radical, then it is representable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$9921A1A3-2C04-4A13-88CE-EE9D871E43C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30e7d1aa81cd2b74b95ad6bdc80f967098be60f5","datavalue":{"value":{"entity-type":"item","numeric-id":2088695,"id":"Q2088695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$E901E81D-15C7-4D80-B944-9A84B03755A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$330742BC-4B8D-4F22-B1EF-99F065B0CB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6dd9f5fb5fff41ccc4c8765ffad859ff706dcb","datavalue":{"value":"20M32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$D23CB592-1CF5-430B-B3C2-66821515F646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$109BD07A-5E3A-402F-A580-076D115FCBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$5A8627BC-6DDD-489D-9413-867317075A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$380A5BFC-985E-40B4-ADD3-DD9B54534BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67e51c70006d68ddba48e3b2bddd633bbed7b09e","datavalue":{"value":"7849595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$B9E7FA75-C690-4921-857C-60B3C017E551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a82447cc5f587953ed5ce48942b592787440e43","datavalue":{"value":"autometrized algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$D982BD59-5DF4-4F2C-9443-6F8FCC48C04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$060F9690-2AD6-4C84-8374-0398078E8D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$E90744C0-5761-4028-85A1-7B324ABA7AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b43ae0f190acb8d132b00fab08bb35283981fe","datavalue":{"value":"chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$2F2329DC-4E2D-4D75-8B40-C6389D9BBC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522dc0bc905659a226080d560acd9cd78375b905","datavalue":{"value":"representable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6540070$C4111E11-3AED-4208-8CFF-F59F699A1249","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":"Q6540070$3A1488EE-EEB1-4F88-890A-F427B3941F22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"112e97dfe4485a2933bc3d846c6be001e03edeaa","datavalue":{"value":{"entity-type":"item","numeric-id":2520853,"id":"Q2520853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$B20050B8-8F9A-4A48-B09D-44850D67157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2608c9fa10f7b8f9f3f33790512a68009c1706","datavalue":{"value":{"entity-type":"item","numeric-id":5803314,"id":"Q5803314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$9EAEBC28-40B3-4EBD-9D87-20BD3E0C432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598827085ac6e873a0ca93d64ce945cf5eb95a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5831548,"id":"Q5831548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$688B1810-871E-43F1-A7EF-ED974249A598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df3e3d7f2fbd2b0abaa247f6d5be2242c46bdef","datavalue":{"value":{"entity-type":"item","numeric-id":3286766,"id":"Q3286766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$1CD0BE1E-5778-4690-B1A9-530D1E41310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e49dce94a53f567f7ec7daa11dc0905a3d2fb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2394648,"id":"Q2394648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$D5000191-4ED6-4127-9ADC-B48D75500911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b31315d74b7fd372db69a5d3623e51e9294fccb","datavalue":{"value":{"entity-type":"item","numeric-id":3863928,"id":"Q3863928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$D0ECDAF9-D453-47FB-963C-2BB490C408A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aff438b74d9b3cc20bfabcda3ac2d6ecac628e5","datavalue":{"value":{"entity-type":"item","numeric-id":3033803,"id":"Q3033803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$CD79C8F1-C3FE-4420-A41E-AD28D672682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239893eaa2dbff4288f4188109c711864df6c849","datavalue":{"value":{"entity-type":"item","numeric-id":3484895,"id":"Q3484895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$07FD56AD-45E5-462D-9FDD-D58C20814B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478dec7a32ab53afc2123964bb6be9d8f00da4e2","datavalue":{"value":{"entity-type":"item","numeric-id":3976959,"id":"Q3976959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$9A78B8CF-4A1D-419D-92D6-36C85DB70CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d018a8e11a7091300b2ffa5c91a284e0aa78bad4","datavalue":{"value":{"entity-type":"item","numeric-id":4209971,"id":"Q4209971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$40E763CD-BB35-4A23-BF53-657F5F88847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fdb4d94cdcfbc5bb9def2dc954619bd2332cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4303489,"id":"Q4303489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$DF96DF49-38A1-4296-8A4A-C58159EDF428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869979f3457b7a5f51eb1d3b923f78967986d46d","datavalue":{"value":{"entity-type":"item","numeric-id":4331461,"id":"Q4331461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$F9CCC068-AF25-4D28-89A5-CF4DD55F1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e4f20aa7e9b206e47c5d2fc95b9c3c5bf7c266","datavalue":{"value":{"entity-type":"item","numeric-id":3366556,"id":"Q3366556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$631B8963-C23D-4863-8A9B-EABAF1BE104F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f155b4400dd2ce48dcac1d7da79f3023ad8b8fd3","datavalue":{"value":{"entity-type":"item","numeric-id":1728444,"id":"Q1728444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$03106C6D-64B9-4070-B261-9CC67762A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c11089685d85daf2fa22294cb6562783f8ee792","datavalue":{"value":{"entity-type":"item","numeric-id":5121175,"id":"Q5121175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$01D45A93-C8E1-4B46-AFE6-0B03A3612F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ccee40636339c7d8be60a6d4b4bffaaee471cf","datavalue":{"value":{"entity-type":"item","numeric-id":5061820,"id":"Q5061820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$15668755-A104-41CB-9CA7-83FD099E8E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29784cd6717836f1df9707c22c6b5fd8c64021b","datavalue":{"value":{"entity-type":"item","numeric-id":5040925,"id":"Q5040925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6540070$7D912AB3-58A8-47B1-A55D-A442FE7D757A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75955c4df7e9589034745bc5b83fec8adfb6a8f7","datavalue":{"value":"10.11568/KJM.2023.31.4.445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6540070$13DA24F8-E4B4-4AF1-8522-C49054057902","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a7a51eac98f3db1725478b18199120318f6a670","datavalue":{"value":{"entity-type":"item","numeric-id":4209735,"id":"Q4209735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905994a56aae4c9108274adce4cb8f234ab97b10","datavalue":{"value":{"amount":"+0.7589148879051208","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":"Q6540070$5F42946C-5B39-40B9-B4A0-A434ACF2DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b482e5ae2892bf535671c8d9da4f8a7e97cca9e","datavalue":{"value":{"entity-type":"item","numeric-id":5121175,"id":"Q5121175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3332d3dac11d5c86caf7d99dcbfa5e19e74bcf78","datavalue":{"value":{"amount":"+0.7222568392753601","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":"Q6540070$612CB413-CA19-4F9C-AD15-F49CF43218D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c385306bc0d6736230f482ea4251c8c7d907ba","datavalue":{"value":{"entity-type":"item","numeric-id":3338307,"id":"Q3338307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610e95bdb0c4bec64448897a0c0e60f3ba78656d","datavalue":{"value":{"amount":"+0.7206090688705444","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":"Q6540070$EDFD2836-15B4-49AC-AC08-5DEC68D202D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbdab5c23708e74bb19cfccbb90842b709ea2f7","datavalue":{"value":{"entity-type":"item","numeric-id":4291526,"id":"Q4291526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fbc8b7e88c96d52d8f045fedc6085676258106","datavalue":{"value":{"amount":"+0.7152023315429688","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":"Q6540070$5840F4AB-BA4A-457A-82F1-EF980FAD17C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d30e2907e112278729e9705e919aed1189c5535","datavalue":{"value":{"entity-type":"item","numeric-id":4303489,"id":"Q4303489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade226dfcab750ce4aa52b6bf7739be8274dd661","datavalue":{"value":{"amount":"+0.7149146199226379","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":"Q6540070$83E5A0F6-8177-47E7-8D9B-FC6CD2229ABE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6540070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6540070"}}}}}