{"entities":{"Q5917718":{"pageid":8047849,"ns":120,"title":"Item:Q5917718","lastrevid":93565877,"modified":"2026-06-05T04:37:08Z","type":"item","id":"Q5917718","labels":{"en":{"language":"en","value":"Mapping class groups are automatic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 817692"}},"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":"Q5917718$9E0DCF74-3DAD-46E4-8A87-060C2F68413F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f122aa65c0949da582ab47e7722dd997971a3891","datavalue":{"value":{"text":"Mapping class groups are automatic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5917718$64D2DCCB-3AFA-4B2E-9063-6C1A04C6A00F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e21f5985e81c7a0171481a523683de78b0dac23","datavalue":{"value":"0849.57002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917718$98DCE224-D616-44EE-90B9-DBE109E9527E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"646beec9bec655b0c4accf22d8bba3f73fd03006","datavalue":{"value":{"entity-type":"item","numeric-id":193519,"id":"Q193519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917718$A172A9F6-35B8-4A5A-B9D3-A0AB3914698F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917718$8DF7C658-EECA-4466-9701-3E3E58818F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ac3b7757105638e2e981935299079707489bb22","datavalue":{"value":{"time":"+1996-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5917718$5DED7D95-F0B7-4603-9258-96A2CFFE5823","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ef7d89cad9d93cbbdebe4293193c391ca1106af","datavalue":{"value":"Let \\(S\\) be a compact surface, possibly with the extra structure of an orientation or a distinguished set of points called punctures. The mapping class group is \\(\\text{MCG} (S) = \\text{Homeo}(S)/\\text{Homeo}_0(S)\\), where \\(\\text{Homeo} (S)\\) is the group of structure preserving homeomorphisms and \\(\\text{Homeo}_0(S)\\) the normal subgroup of those homeomorphisms isotopic to the identity through elements of \\(\\text{Homeo}(S)\\).   A group, \\(G\\), is automatic if there is a finite set of generators and a regular language (i.e. a set of words recognized by a finite automaton) over the generators such that each element in \\(G\\) is represented by at least one word in \\(L\\) and there is a finite automaton which will check whether two words in \\(L\\) represent the same element in \\(G\\) and whether they differ by a certain generator.   In this paper ideal triangulations (vertex set = set of punctures) and elementary moves are used to give an automatic structure on \\(\\text{MSG} (S)\\) for a punctured surface \\(S\\). This result along with results on ``combability'' of groups leads to a construction of an automatic structure for \\(\\text{MCG}(S)\\) where \\(S\\) is a closed surface.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$25FCBC3A-CD7A-49F2-BBC2-EEDA18D187CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917718$E355419C-7676-417A-B83C-1C13A64C820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917718$3CDBAB2E-6CFA-40EA-B826-22E4C04FBA4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcbf7a03ab3ff72b799020946a30e82b19546ffb","datavalue":{"value":"817692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917718$9A2C154A-9B5C-42D7-AB89-D142E3019E10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4fa977a3ad7bb2207a46e2d2c07e5dd30478aa","datavalue":{"value":"mapping class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$AC080298-3E4E-4DD2-B5B7-8451C5A951F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$D0DB8A88-3AFC-4B34-89F2-8129476006F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd351de93916b9b97ae6d1e5de1ba8cb1e641a9a","datavalue":{"value":"automatic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$F13062B8-5625-4A9B-BBBE-4E3B42FC5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$4BB5E78B-4644-4821-94E1-5DD8E1ED82D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f8a89251c0bc748356c1da1cdd49b47b0ef9ea","datavalue":{"value":"ideal triangulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917718$61432862-93C8-4627-8D80-4A3E3600337D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7fd0bf124f9979620d1bc57135c91ee63a6a8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":701280,"id":"Q701280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917718$90530719-C1D0-477A-876D-59D7EC2172ED","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":"Q5917718$5B272AE6-489F-4B90-8BBE-98326FED5283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0b1a0ecdd436b24e184264c2da227bace86c67","datavalue":{"value":"10.4310/MRL.1994.V1.N2.A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917718$F08683B1-DB96-4B3F-834F-EA7243BCDD9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c5ceb7331d3da172d10bbff361479f5aeb9394","datavalue":{"value":{"entity-type":"item","numeric-id":5970591,"id":"Q5970591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed2a5f39decbed9f3ce1bdef5125882fa8a11a0","datavalue":{"value":{"amount":"+0.9487048983573914","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":"Q5917718$F9DFB484-8739-4882-941F-8678C7DD6FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9430a2400aa3725b9ea3e090db4770135cd8bb30","datavalue":{"value":{"entity-type":"item","numeric-id":1587526,"id":"Q1587526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e951f6268fd499049fc218aa5055a63ff78e3a66","datavalue":{"value":{"amount":"+0.868073582649231","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":"Q5917718$C0583460-0CB0-4038-9A1D-5561B38BE135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb498058c9b455a550dfdc86433fe3150604d88","datavalue":{"value":{"entity-type":"item","numeric-id":4867139,"id":"Q4867139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06e9e73d61d7c432a7a169b2704b5c185f68907","datavalue":{"value":{"amount":"+0.8333343863487244","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":"Q5917718$0D9B9A61-66ED-4966-BF8E-ED3A1CC78D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139601e83086ac7362524a7758cdcb5b268d15e9","datavalue":{"value":{"entity-type":"item","numeric-id":789781,"id":"Q789781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e800de3710bbdd25554af89919341cd80209310b","datavalue":{"value":{"amount":"+0.8098563551902771","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":"Q5917718$8BA55CA8-5DE5-43F9-AF28-155520DBFFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a3680bf5a2210de0c29e3edabd09f3b939df9d","datavalue":{"value":{"entity-type":"item","numeric-id":1960729,"id":"Q1960729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbbd14341a2938dfcbc20e82137e673549ea386","datavalue":{"value":{"amount":"+0.8034183979034424","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":"Q5917718$08C42081-A3B4-44E9-980E-5D8118B35D82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mapping class groups are automatic","badges":[]}}}}}