{"entities":{"Q1972203":{"pageid":1982945,"ns":120,"title":"Item:Q1972203","lastrevid":72110445,"modified":"2026-04-14T02:43:09Z","type":"item","id":"Q1972203","labels":{"en":{"language":"en","value":"Products of iterative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1432387"}},"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":"Q1972203$0372F948-F338-4E34-BF8A-F4D34D658734","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3715b02ef7303f99bd885202c38d9fddf9e6535c","datavalue":{"value":{"text":"Products of iterative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972203$1A50E10A-8302-445C-B2BA-7E8C35AED6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c1402f0fdb2e109b72931fee2330e05a4734810","datavalue":{"value":"0936.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972203$A677144E-B413-46BD-81DE-681757E2CE05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e7dac54a8cdf2b6cf7a8456b26c158212ac160","datavalue":{"value":{"entity-type":"item","numeric-id":922569,"id":"Q922569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972203$64BD2A0D-B7F5-4B63-9606-4C71402E65C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f971981531e2cc5bdbb33ff5217ea7ea6c178b8","datavalue":{"value":{"entity-type":"item","numeric-id":1972202,"id":"Q1972202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972203$EF09F6EF-56B5-401D-AA82-BC24CE69AF70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972203$6829BE51-BF34-4104-83E8-62BE5C9B3366","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd2d1fe82fa6e2c6e97c965e0ca8e16ed58495a5","datavalue":{"value":{"time":"+2000-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972203$5D43B6CA-1908-476D-933F-A739C2BE6D7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a5fbbb56255e6abbd1f55cd64061733429e0bea","datavalue":{"value":"It is possible to generate the iterative Post algebra \\({\\mathcal{P}}_k\\) of finite rank \\(k\\) by a set of functions containing a Slupecki function (i.e., a function in \\({\\mathcal{P}}_k\\) having more than one essential variable and taking \\(k\\) different values; each function system complete in \\({\\mathcal {P}}_k\\) contains such a function). A set of functions which, together with an arbitrary Slupecki function, generates the algebra \\({\\mathcal{P}}_k\\) is called fundamental. \\textit{A.~I.~Mal'tsev} [Algebra Logika 6, No. 3, 61-75 (1967; Zbl 0166.25601)] proved a global structure theorem which, in particular, implies that every \\((k-1)\\)-transitive subsemigroup of the semigroup \\({\\mathcal{P}}^{(1)}_k\\) is fundamental (\\({\\mathcal{P}}^{(1)}_k\\) is the set of unary functions in \\({\\mathcal {P}}_k\\)). The authors prove an analogue of the theorem for the coordinate products of iterative Post algebras. (As for a universal algebra, the notion of co-ordinate product corresponds to that of non-indexed product of algebras; see the article by \\textit{A.~Goetz} [Colloq. Math. 22, 167-176 (1971; Zbl 0236.08003)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972203$60406B04-289A-429D-8FD7-299846C0560D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972203$4FF941DC-AE38-4AEF-8C38-3F166F1DD73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972203$FD70BBA9-DBF1-40D0-B7A2-000D1963E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972203$E2778DBB-43A7-4729-B7E8-107F483C6813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b154e7a9f84f7f86f3a5bd5f7f7c8033da0e9d8c","datavalue":{"value":"1432387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972203$00861AF8-71ED-41FE-8B38-427905000D38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a011e03a4a5d677973ac8728d148106384d2d28d","datavalue":{"value":"iterative Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972203$7EB77A7F-85C5-4D67-BFFA-6EE26901AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925c414c996c9ed1bda58dbeda4047c69e7fbde1","datavalue":{"value":"Slupecki function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972203$B5E9C770-30E4-43BE-B3B5-D4191D573436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c22c86450206d8da0ecba455a5bbb0bb634092","datavalue":{"value":"fundamental set of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972203$4D2A1DC2-7D46-4E50-91C9-E10FD4B544E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a903ca2ebaab66f7ee09e72d3c3e6684cd4986","datavalue":{"value":"co-ordinate product of iterative Post algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972203$086677B0-FA2D-4549-A375-EE26194B51B1","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":"Q1972203$2949F1C9-8595-47D7-8B68-8FFCA633BD6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a225962cf37becfa73152f6287639e4f382991c2","datavalue":{"value":{"entity-type":"item","numeric-id":4512923,"id":"Q4512923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c5d48f3f9b6b1094ecbb304514c686a82fb533","datavalue":{"value":{"amount":"+0.8549033999443054","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":"Q1972203$1054D151-8BE9-4493-AC40-143C70C0E7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30dd374303ab78fda3e9696f20e53d833042695","datavalue":{"value":{"entity-type":"item","numeric-id":4278549,"id":"Q4278549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110030c7ae295fd9264ec30e342ec3b009e196f1","datavalue":{"value":{"amount":"+0.845332145690918","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":"Q1972203$6A604715-6DA1-4109-BA69-8B3A80F3B54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992b1986c23421783f9d775f2957da06249b32b9","datavalue":{"value":{"entity-type":"item","numeric-id":3737427,"id":"Q3737427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886b175441d6daae550f42b7421997e000438aa7","datavalue":{"value":{"amount":"+0.800775408744812","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":"Q1972203$78A0C491-47A9-401D-B0F8-88DD3CF016D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0159b2b8dea95042ac05161d9f695934662515c4","datavalue":{"value":{"entity-type":"item","numeric-id":3697080,"id":"Q3697080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f07acfefcb903a932864ba83483ef7f51929fb8","datavalue":{"value":{"amount":"+0.7729370594024658","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":"Q1972203$D67EE5D9-9D6B-4FE3-BC27-CDB526F47158","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Products of iterative algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Products_of_iterative_algebras"}}}}}