{"entities":{"Q1305016":{"pageid":1315766,"ns":120,"title":"Item:Q1305016","lastrevid":68674932,"modified":"2026-04-13T01:21:11Z","type":"item","id":"Q1305016","labels":{"en":{"language":"en","value":"Internal direct products of groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340563"}},"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":"Q1305016$5B50EF53-D497-4378-AF02-0D5F8816EFCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98667c363c0bddd7551cbd38134e03fc093a4546","datavalue":{"value":{"text":"Internal direct products of groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305016$8AE1EA8B-85FD-450D-A754-E54E4E308C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3a50d50c646a7202136e5743bc22ab3c80835fe","datavalue":{"value":"0932.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305016$19FD23ED-CB6B-411C-BF57-0C470FAFC0AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd876cc2015079b981e7ed7ff9aca0ad8fb211ca","datavalue":{"value":{"entity-type":"item","numeric-id":1132086,"id":"Q1132086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$E5732EAC-4534-4866-9365-31043E173C11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$61017D3B-5C2E-4D16-98B1-8FDF42C923DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2106fe7affcbcd2ed1808818cd2fea9245c9c826","datavalue":{"value":{"time":"+2000-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305016$EEE1B09F-4F16-4D17-8BBA-2128C7B5B9BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51d85ef23db4f7f1bd1b80638bffc917c0f487a3","datavalue":{"value":"A groupoid \\((G,\\beta)\\) is the internal direct product of its non-empty subgroupoids \\(G_1\\) and \\(G_2\\) if and only if the mapping \\(\\theta\\colon(x_1,x_2)\\to x_1x_2\\beta\\) (Polish notation!) is an isomorphism from \\(G_1\\times G_2\\) onto \\(G\\). Projections \\(\\alpha_1\\) and \\(\\alpha_2\\) from \\(G\\) onto \\(G_1\\) and \\(G_2\\), respectively, are defined by \\(x\\theta^{-1}=(x\\alpha_1,x\\alpha_2)\\). Conditions for a groupoid under which the groupoid can be presented as the internal direct product of two subgroupoids are given. A (finite) example shows that there exist external direct products which cannot be made internal. The following properties are discussed: (a) \\(G\\) has a neutral (identity) element; (b) Every element of \\(G_1\\) commutes with every element of \\(G_2\\); (c) \\(|G_2\\alpha_1|=|G_1\\alpha_2|=1\\); (d) \\(G_2\\alpha_1=G_1\\alpha_2=\\) a singleton invariant under \\(\\alpha_1\\) and \\(\\alpha_2\\); (e) \\(|G_1\\cap G_2|=1\\); (f) \\(\\alpha_1|_{G_1}\\) and \\(\\alpha_2|_{G_2}\\) are identity mappings (equivalently, \\(\\alpha_1^2=\\alpha_1\\) and \\(\\alpha_2^2=\\alpha_2\\)). The author proves a number of results about internal direct products. For example, \\(\\alpha_1^2=\\alpha_1\\) and \\(\\alpha_2^2=\\alpha_2\\) if and only if \\(\\forall x_1\\in G_1\\), \\(\\forall y\\in G\\), \\(\\forall z_2\\in G_2\\), \\(x_1y\\beta z_2\\beta=x_1yz_2\\beta\\beta\\). There are also examples discussing independence of the above mentioned properties (a)-(f).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305016$0EEC9251-AB07-4A72-9ED4-3BD1BB8EE759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305016$67CCB9FE-95AE-49D6-AE4E-E1EC161DFC77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d1bebf9b61d1ab8be41bf3b92e9c93aced221fc","datavalue":{"value":"1340563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305016$42B0CC9E-51B2-4E15-981E-6114B5C7922C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305016$2563969C-F947-4577-8E02-F06456BE60BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157ef4e84bf3f73d89372e6f337c08411e798629","datavalue":{"value":"internal direct products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305016$04EFCF72-0C58-486C-9D3B-F54F7655D100","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$3128F319-FCD1-4CC8-A4A2-7C4CFF48FBAC","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":"Q1305016$70B524BC-71A1-484E-838B-1C9FAC55B1E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3d2d4e6473e2303e299fedd11e02a7d484293bf","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7812","type":"string"},"datatype":"url"},"type":"statement","id":"Q1305016$25133590-417C-4E8B-9797-AEACBB80536D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"756b9847b3ba87baca05e38c50cd26b40d929fad","datavalue":{"value":"W1985572655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305016$546D0761-9091-4B6D-871F-FD84C593706D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$3B62B2BF-9AF1-4026-A543-BBE30E008758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cded4c9678dc7201dfae07591380205bbf4915d","datavalue":{"value":{"entity-type":"item","numeric-id":2396030,"id":"Q2396030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$53B33CFB-2A5A-4B4D-AC07-C2C20D00AD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7aed993e9a0aace398036afd1b9405dc20bad5","datavalue":{"value":{"entity-type":"item","numeric-id":2650136,"id":"Q2650136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$D32678F7-4C40-4DCB-9FED-3592599F4171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d0633b847700e76fe59d23ab209aebdf2eeb62","datavalue":{"value":{"entity-type":"item","numeric-id":5599810,"id":"Q5599810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$5028D7D7-E455-41B0-A785-F30D73705063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8f2fc029ef96006d31e059967d9368d178260b","datavalue":{"value":{"entity-type":"item","numeric-id":5802109,"id":"Q5802109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$6CBFFBA1-77EC-4581-8CC5-7B2CD519FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f064ec429b7a95000b254ac8d8dc393a7e0866f","datavalue":{"value":{"entity-type":"item","numeric-id":5594628,"id":"Q5594628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$5B1864B1-284C-4241-86FF-EC3C36A0E8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41aa446b4d6a598bb2d7f6fa65b7cc6c24d0fca1","datavalue":{"value":{"entity-type":"item","numeric-id":1813837,"id":"Q1813837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305016$9F3AD672-E315-4FA6-B968-1A50CA56591B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53d8ee4cf5a64ed7ec9745125beae3d66b899b5c","datavalue":{"value":"10.1006/JABR.1998.7812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305016$2E70BB95-0012-4F0A-8525-61670A800DF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33abee3fa1ea4b1e310b9f126db05b7cecad99e5","datavalue":{"value":{"entity-type":"item","numeric-id":964546,"id":"Q964546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2230386bbfb15bf58e2f6e804bbb161594d2ecf","datavalue":{"value":{"amount":"+0.9612188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$5D108B9F-10C7-4F5E-8349-316A56FF1805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6437ac301df3ba358adacbcb3f61034fafcbc4","datavalue":{"value":{"entity-type":"item","numeric-id":6071628,"id":"Q6071628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d7c87ab35cdd4e1083c69d3b3ad7b4b3dfd473","datavalue":{"value":{"amount":"+0.943694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$69104046-2C8F-4A5E-86CE-E331D0211D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7f8e93073dfd480ed1c818c9a48f478440ef5b","datavalue":{"value":{"entity-type":"item","numeric-id":3197880,"id":"Q3197880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7295d6649268a7a4376393ec19161a12228edb91","datavalue":{"value":{"amount":"+0.92114586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$600340DA-1A5F-414B-8BD4-DAA50B6C7057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eaa37a2cd8f4b09afc63830d9b029ea1ec8665d","datavalue":{"value":{"entity-type":"item","numeric-id":5207827,"id":"Q5207827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44ce49387c8bbd4882f01de572e556254d99b3e","datavalue":{"value":{"amount":"+0.91822773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$8C2625E9-8C2B-40B6-A852-097582F307A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbd68bea144e43c4780f605f6793e6bcbb5b1da","datavalue":{"value":{"entity-type":"item","numeric-id":3679399,"id":"Q3679399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f27f3756552e43672d86165af2ed407a3031b3d","datavalue":{"value":{"amount":"+0.91463256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$F1044198-4D26-4FB2-B737-866BD7FC9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b8e6551165ac4887cc44d395e9fa110dd1c9be","datavalue":{"value":{"entity-type":"item","numeric-id":5047011,"id":"Q5047011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9288418a2924016f593393ea090750187cb9ae","datavalue":{"value":{"amount":"+0.9132886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$4F6F3852-EB6D-4F80-8BC3-15552C2F0FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5210917d8a9801fd99f0168ad3cc8d3b2f5b530c","datavalue":{"value":{"entity-type":"item","numeric-id":5195055,"id":"Q5195055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3828464e68813d28b75b07666d896444aa06927d","datavalue":{"value":{"amount":"+0.9124634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$43E98E35-680A-4327-A024-369FF96A7AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e083fad74fb0b61c2ea8075dde9c7b23bc5d479d","datavalue":{"value":{"entity-type":"item","numeric-id":2248025,"id":"Q2248025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaef3c8fd5515bab1122060b1eccf71689b915b4","datavalue":{"value":{"amount":"+0.91036737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$AE7A523F-8A98-41F7-9736-1C51A671CF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fa3722f2c8fd16e92f06e400261e2b68caac5a","datavalue":{"value":{"entity-type":"item","numeric-id":6053000,"id":"Q6053000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d086af422f145c01ad787ae2b36df91e53f89a","datavalue":{"value":{"amount":"+0.90931493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$1EEDEEE5-9A77-448B-A65F-6B5EA1809614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d27c628665509bd8e69b66121d815bfe8a83be","datavalue":{"value":{"entity-type":"item","numeric-id":5381952,"id":"Q5381952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c507ad229961ea86c2919a8cab492628a30dcc","datavalue":{"value":{"amount":"+0.9092702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1305016$ED1D3C19-88E8-45E1-8583-F035EA1B6FC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal direct products of groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_direct_products_of_groupoids"}}}}}