{"entities":{"Q1083552":{"pageid":1094304,"ns":120,"title":"Item:Q1083552","lastrevid":66100428,"modified":"2026-04-12T07:33:08Z","type":"item","id":"Q1083552","labels":{"en":{"language":"en","value":"A non-surjective epimorphism of bands"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3975228"}},"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":"Q1083552$CC478FFE-33E8-40EF-951C-958460199059","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f320e9c2317db3ae521156f7b82800303323f077","datavalue":{"value":{"text":"A non-surjective epimorphism of bands","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083552$5AA2075A-449F-4399-AD6A-B56350418D90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273d198e6312f50097db3aa8bfd960357e6ac2ff","datavalue":{"value":"0604.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$A054D7A0-CAF6-4722-B098-809F7E143FEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46541523cc0227606ff2c7866e11d2fa9ca27701","datavalue":{"value":"10.1007/BF01224017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$09C1E813-031A-4DB3-91D3-9375CDBDFC88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$DF36D96E-9F50-4022-86AE-62B2AFBBE7C5","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":"Q1083552$49913525-9A23-4058-839E-66CF1956783E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1083552$D67DC6E2-1B25-45D3-BAD1-1782C1A41D99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"42570488c686c511929ed962312d6ace266730b2","datavalue":{"value":"The author constructs a (necessarily infinite) example of a band with a properly epimorphically embedded subband, thus proving the existence of non-surjective epimorphisms in the categories of bands and regular semigroups. This contrasts with the categories of finite bands, finite regular semigroups and inverse semigroups, for which epis are onto.    The construction is based on a construction of this reviewer of a band epimorphically embedded in a semigroup [Bull. Aust. Math. Soc. 27, 231- 242 (1983; Zbl 0505.20043)]. The author begins with a free semigroup \\(F_ Z\\) where Z is the union of three countably infinite sets, X, Y and A. One then considers \\(F_ Z/\\rho\\) where \\(\\rho\\supset \\tau\\), the least band congruence on \\(F_ Z\\), together with sufficient ''zigzag'' relations in order to ensure that \\(<A>/\\rho\\) is epimorphically embedded in \\(F_ Z/\\rho\\). The problem in this approach lies in showing that the inclusion is proper, which the author proves after a difficult word argument.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$473A0C93-60B8-4D8D-9E05-3AEC2D910909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$802A1232-B69B-4F5C-B284-4DAE049886B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$1253C1AB-C234-4623-A160-4A69F70645B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$DAE02CB2-E1E4-4A03-B4AC-8A2189875A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$95A80971-D875-4552-9FA1-4267751C821B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d03e9c72fc9b378020732a710a00c5bda5eb962f","datavalue":{"value":"3975228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$4B2DEA7B-32CB-475E-927F-107791BC5331","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075ddbbb95eb4a49862f2144fa18c63e31177b06","datavalue":{"value":"properly epimorphically embedded subband","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$09282295-AA02-4301-8517-8FEDFF6023C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233bd324733fbf9079e822945da426257894dc28","datavalue":{"value":"non-surjective epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$C5620FC8-E6D3-4340-A186-E5A1297F2E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc39eaba0f0c53cc9784401c4a2ef91d429d279","datavalue":{"value":"categories of bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$FEF8226B-C226-40DD-8115-FFF6BBFC2DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$8EFE4F58-3FC6-4EA1-9180-BBBC409CCCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b489be36f2806b138f130171c2492c208d47cd2","datavalue":{"value":"free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$12294A91-E0D4-4625-8F24-2EE30AA49785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089081414e69762feae5ebfd3ae3857bddd6c03d","datavalue":{"value":"band congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$25CB84C0-0A77-4B06-A0A7-D3BB7F3DC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98302f921385067ca6e5e5caf61b854a215f9a8","datavalue":{"value":"''zigzag'' relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083552$EABB33FC-F763-4A1B-B21D-B270A307DDB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$68E01091-8EAD-40B1-A591-FEA52227515B","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":"Q1083552$F7ED7919-5BC4-4671-A7B1-250B37566FC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b3e6cfa95a970d93b6657ae872883bb51d4123","datavalue":{"value":{"entity-type":"item","numeric-id":4185047,"id":"Q4185047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$8889C9DE-0359-4EE8-960C-4FBAA596F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e0fbae7f0815d4cc5ba13a4a0290eaa9908a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4740738,"id":"Q4740738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$F96CE850-491A-4F2B-99F9-E5D5B578DD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b860d55358cf9bf632727f4b5877c912171b1b11","datavalue":{"value":{"entity-type":"item","numeric-id":2556344,"id":"Q2556344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$07AD1A15-5644-414B-B427-D09A1254419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$15FE3845-3E1D-440E-9625-AC1AE3EE3AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e847304852b59475b685e7ecc7ee966cd66b0d","datavalue":{"value":{"entity-type":"item","numeric-id":2544203,"id":"Q2544203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$F8601060-DB00-4869-BC64-090B8AA99068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361c39bb62346c6673f9ed3583108624e17e871d","datavalue":{"value":{"entity-type":"item","numeric-id":4133692,"id":"Q4133692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$F38F8804-1474-4105-889B-72B1F3796D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e5bb77d0321c5eef3825f7b9b2844c4bed38b1","datavalue":{"value":{"entity-type":"item","numeric-id":1845756,"id":"Q1845756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$47F1526E-E1E8-4996-861E-4D9F0B67E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a6104f00d96fa808ce0a739fbbe7c6e8d46826","datavalue":{"value":{"entity-type":"item","numeric-id":5829817,"id":"Q5829817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$E8017B55-D819-4AAE-814A-13923B96CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112f2067489aadd6de2de5842a8a074b6f24af42","datavalue":{"value":{"entity-type":"item","numeric-id":1237171,"id":"Q1237171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083552$5451D718-BB5D-4D7E-B31F-48AD0AF02346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c354b19fce3ee12f0475f7b6d4ce00fb4ad244f5","datavalue":{"value":"https://doi.org/10.1007/bf01224017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083552$64529089-9B9B-4302-A2AE-5FD39C7EE75A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97b27a02306a15aab34207dd03405ded7ee0ce37","datavalue":{"value":"W2032707920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083552$3FD984ED-2C0B-4D51-A4B9-C0295994C77D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cbae71dd70a172a473803e8c6520000a555f08","datavalue":{"value":{"entity-type":"item","numeric-id":2182441,"id":"Q2182441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cec0dcac284d3ead11d75999383f1f828dbdc3","datavalue":{"value":{"amount":"+0.7911125421524048","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":"Q1083552$247518CA-F83C-40CC-A3F1-BDAC2BF2AB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06a05f66f2fbbc9a852a735cab25c7b228ffaac","datavalue":{"value":{"entity-type":"item","numeric-id":4400776,"id":"Q4400776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4168c7adc75cc1adcef6c114dec086b4f035e0","datavalue":{"value":{"amount":"+0.742171049118042","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":"Q1083552$256BCB92-A443-4724-B87A-B0AAE0328754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b973a81f47f945b0d4b74843d395579a0983e1","datavalue":{"value":{"entity-type":"item","numeric-id":741660,"id":"Q741660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4168c7adc75cc1adcef6c114dec086b4f035e0","datavalue":{"value":{"amount":"+0.742171049118042","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":"Q1083552$841A467F-3DEB-4264-BD8C-D9F72CC0EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1949fae0c52ba2e1cb173a048c1bedd9350fe2c","datavalue":{"value":{"entity-type":"item","numeric-id":1771941,"id":"Q1771941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e74633be61400f9cfd525cfe733382e6d2e63b4","datavalue":{"value":{"amount":"+0.7320464253425598","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":"Q1083552$8BFC7BFF-A447-496A-87E5-74735A0612E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be371a63724de39cf9aafa44f4d5fc344eb2ab5a","datavalue":{"value":{"entity-type":"item","numeric-id":1905972,"id":"Q1905972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bbd052dbc92f85403cd66f31546cc4714b7230","datavalue":{"value":{"amount":"+0.7288877367973328","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":"Q1083552$3B50C8D2-A80A-41A2-8D44-A9015F75BB1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-surjective epimorphism of bands","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_non-surjective_epimorphism_of_bands"}}}}}