{"entities":{"Q1911631":{"pageid":1922373,"ns":120,"title":"Item:Q1911631","lastrevid":78007544,"modified":"2026-05-06T10:33:41Z","type":"item","id":"Q1911631","labels":{"en":{"language":"en","value":"On subsemigroups of finitely presented semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 869797"}},"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":"Q1911631$D691A30A-C549-4B89-A0AC-4DFA360EF018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dd1cc0dc93e299b3ca661f1cdb1dabe49a0a06d","datavalue":{"value":{"text":"On subsemigroups of finitely presented semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911631$6C4B9D32-EF74-4430-B295-514B09B84A64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc7bcfc84f5ba3583a75fe758228a36a663e6960","datavalue":{"value":"0847.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$2B5DE025-A48A-476E-90CC-AC7C35673F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911631$571717FA-2401-4759-AABD-098C015838E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bf537b8d33f43f27f392b7409d272c7e527e24","datavalue":{"value":{"entity-type":"item","numeric-id":724911,"id":"Q724911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911631$08FE909C-1C97-4D0A-8A56-2F1FFF3D041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf259cca190e165fade42bb2bf8ce8c8090da867","datavalue":{"value":{"entity-type":"item","numeric-id":1110649,"id":"Q1110649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911631$BD34599A-F787-436D-8EE2-A9191AC4FE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99637ff12ce766661a0940b08e197a328f933923","datavalue":{"value":{"entity-type":"item","numeric-id":585356,"id":"Q585356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911631$34A58D9E-A7CE-4405-AF76-2E3379DF5733","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":"Q1911631$451A3848-8327-4043-8657-7C5ABFF70E4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26589a195e6f61385b9755ff5957c9711846c28d","datavalue":{"value":{"time":"+1996-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911631$8E3AB46E-2DE6-4810-A825-103C5D74C459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c354a07392bc60fffda79ad98bd9e97dc6235066","datavalue":{"value":"https://semanticscholar.org/paper/8507cb64f12c1b6402cdc43578b576dd74aaddae","type":"string"},"datatype":"url"},"type":"statement","id":"Q1911631$6CC71378-474E-4BD3-BE35-4ED072CB40B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5040a7379c43683b70a3229d1c9d308667f7e992","datavalue":{"value":"Let \\(S\\) be a finitely presented semigroup. The authors study when subsemigroups, ideals and one-sided ideals of \\(S\\) are finitely generated or finitely presented. The Reidemeister-Schreier type rewriting system for semigroups developed in their previous article [Semigroup Forum 51, No. 1, 47-62 (1995; Zbl 0833.20069)] is applied to exhibit a finite presentation in some cases. The answers to the questions of being finitely generated or finitely presented is given in two tables. For ideals and one-sided ideals, finitely generated and finitely presented will be meant as subsemigroups. The index of \\(T\\) in \\(S\\) is the cardinality of \\(1+|S-T|\\).   We quote here some of their results. Theorem 1: If \\(T\\) is a finitely generated ideal in a free semigroup \\(S\\), then \\(T\\) is of finite index in \\(S\\). Theorem 2: If \\(S\\) is a finitely generated free semigroup and \\(T\\) is a subsemigroup of finite index in \\(S\\), then \\(T\\) is finitely presented. Theorem 3: If \\(R\\) is a finitely generated right ideal of a free semigroup \\(S\\), then \\(R\\) is finitely presented. Theorem 4: If \\(S\\) is a finitely presented semigroup and \\(R\\) is a right ideal of finite index in \\(S\\), then \\(R\\) is finitely presented. The case of subsemigroups is open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$867F813B-7F21-4523-A288-CAB12B211BB4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911631$D145C3DF-51CF-49A6-A6E8-6970DCA8B407","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$DA0A5495-F0D3-490E-843B-119C32C6EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$EC05876F-A283-41DC-A116-738F0949F508","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db73a85600133581504fa26a80f4d53e412db347","datavalue":{"value":"869797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$4C43E4AB-4957-4722-96DD-015ED19EC14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e1a4e727aacc043496601a571bc25b21ce1efdc","datavalue":{"value":"Reidemeister-Schreier rewriting system for semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$A5730F0B-B5F2-459D-8C06-6FF6514DE6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$4956D48D-F510-4B3B-9508-0749A82E453F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$EB0565E4-26AD-41B2-B132-3CF4D23A449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0482343b426836ff67992443dfc23049eb3d90b4","datavalue":{"value":"one-sided ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$B2C01A33-110A-45F7-B676-1D91CAC41806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d289bb7f636e85453dc583762ba5af4e2107c9cb","datavalue":{"value":"finitely generated ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$0FB3F61D-8BA8-4844-B4CF-FEA323B79A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526d4b755607a197c0c98cba606432542a412fdf","datavalue":{"value":"finitely generated free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$67581130-C819-4014-82AB-FAAFDA961382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e0af0803caa7d4d8ef0aa20b3ad3796265c1eb","datavalue":{"value":"subsemigroup of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911631$965681F2-F61D-4B9D-9747-64EF969CDF66","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":"Q1911631$05C4B0E0-624F-4C30-921C-F70D0A1CE0E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddabb12f9c59f88dbedf959f781949e8e1e64b4e","datavalue":{"value":"W1996294922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$471CA594-0913-4BE1-BDF6-8C3BF7D14A01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b6b606096d9b5557eb02007089d2f11463e7474","datavalue":{"value":"10.1006/JABR.1996.0049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911631$E0336753-03F3-4915-BB94-E116DABCAF51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68152c22a57e9ed057ee420025a30cca3aa16fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1895805,"id":"Q1895805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730bc3a8e2ed4f52b5c23ec7a9bdf4c8a553733a","datavalue":{"value":{"amount":"+0.8496794","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":"Q1911631$177A88AA-F74C-4E9F-9729-AECB82C62F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5621df3d67fc63bb1237ef29193658048bc2c100","datavalue":{"value":{"entity-type":"item","numeric-id":1380004,"id":"Q1380004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd30d58f614a236806b12076e81edd924c73a56","datavalue":{"value":{"amount":"+0.83425885","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":"Q1911631$898A60CD-C7D2-4D6A-8248-6CB7647FD5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249a17beaef36dd7854902ecc39ee8b08bbbdf0c","datavalue":{"value":{"entity-type":"item","numeric-id":4335880,"id":"Q4335880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cde5f50284230b3ab1eaca7be4bcea4018c9ba","datavalue":{"value":{"amount":"+0.82807374","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":"Q1911631$FFC6EC0F-E222-4D40-8D23-3366FBFA3553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad3e35f322ab6715c55d0f88dfd75aa22bc47d5","datavalue":{"value":{"entity-type":"item","numeric-id":627163,"id":"Q627163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53addcd425e3ecc86438f4941089933ac6dcbf8c","datavalue":{"value":{"amount":"+0.7971348","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":"Q1911631$0E16AE35-BCF2-4474-98C4-C7F7FBF5A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbf1ee14f8d0490ea705727225d198e1012a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4354315,"id":"Q4354315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c998c3cda025863aae54c2e4423d07481c634a","datavalue":{"value":{"amount":"+0.7807607","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":"Q1911631$CE90043D-7D00-4E81-ACBD-FFCA17CA5758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b7130484eae7d59667d8f291bb61a434483993","datavalue":{"value":{"entity-type":"item","numeric-id":4697879,"id":"Q4697879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2ea3e7daacdfc09829d68f391185d739f15042","datavalue":{"value":{"amount":"+0.77377725","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":"Q1911631$B4BE6EFA-654B-4191-AE42-A95DEE058D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2a56aaec85ba0233430e7c0389be1ff6fd224b","datavalue":{"value":{"entity-type":"item","numeric-id":640935,"id":"Q640935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfc0e87eeea9241cf4565c65bbdf054b0b1d595","datavalue":{"value":{"amount":"+0.7532233","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":"Q1911631$EC949C2E-5635-4004-A4E2-C4893E491AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56bd52199745ccc905868397993f757d5f4323a0","datavalue":{"value":{"entity-type":"item","numeric-id":1391138,"id":"Q1391138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e9146f2d6015c4b135f47302817fa2169f52d7","datavalue":{"value":{"amount":"+0.7486832","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":"Q1911631$C0FEA09A-B5F8-4DCE-BB3D-55ADBF60EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af41dec89b9ab0d7af3b8fe2a232f43441bdfd2","datavalue":{"value":{"entity-type":"item","numeric-id":372354,"id":"Q372354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721e4c6afc871fd78c5964d8acb983943b3c2cb5","datavalue":{"value":{"amount":"+0.7468989","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":"Q1911631$C7999654-CE95-4980-8970-1F67E1D9DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc247ef3db5e65e384ed71cd221b3a4c66b04281","datavalue":{"value":{"entity-type":"item","numeric-id":5939965,"id":"Q5939965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7c835420db657f5b8848896503284f127007a3","datavalue":{"value":{"amount":"+0.74622905","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":"Q1911631$65B6A4AF-E101-4BDD-89FA-8C397A5FFF11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subsemigroups of finitely presented semigroups","badges":[]}}}}}