{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T16:53:08Z","timestamp":1648918388620},"reference-count":18,"publisher":"Wiley","license":[{"start":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T00:00:00Z","timestamp":1264982400000},"content-version":"unspecified","delay-in-days":1857,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LMS J. Comput. Math."],"published-print":{"date-parts":[[2005]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. The new procedure is a Monte Carlo algorithm, and it is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a subgroup chain. Two general versions of the procedure are worked out in detail, and applications are given for membership tests for several of the sporadic simple groups. The authors' major objective was that the procedures could be proved to be Monte Carlo algorithms, and the costs computed. In addition, they explicitly determined suitable subset chains for six of the sporadic groups, and then implemented the algorithms involving these chains in the GAP computational algebra system. It turns out that sample imple-mentations perform well in practice. The implementations will be made available publicly in the form of a GAP package.<\/jats:p>","DOI":"10.1112\/s1461157000000978","type":"journal-article","created":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T07:42:44Z","timestamp":1375774964000},"page":"217-250","source":"Crossref","is-referenced-by-count":0,"title":["Generalised Sifting in Black-Box Groups"],"prefix":"10.1112","volume":"8","author":[{"given":"Sophie","family":"Ambrose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Neunh\u00f6ffer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheryl E.","family":"Praeger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Csaba","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,2,1]]},"reference":[{"key":"S1461157000000978_ref017","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1996.0271"},{"key":"S1461157000000978_ref016","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258857"},{"key":"S1461157000000978_ref015","first-page":"169","volume-title":"Computational problems in abstract algebra","author":"Sims","year":"1970"},{"key":"S1461157000000978_ref014","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546549"},{"key":"S1461157000000978_ref012","first-page":"459","volume-title":"Computer algebra handbook. Foundations, applications, systems","author":"Leedham-Green","year":"2003"},{"key":"S1461157000000978_ref011","first-page":"85","volume-title":"Groups and computation III","author":"Leedham-Green","year":"2000"},{"key":"S1461157000000978_ref010","article-title":"\u2018Black box classical groups\u2019","volume":"149","author":"Kantor","year":"2001","journal-title":"Mem. Amer. Math.Soc"},{"key":"S1461157000000978_ref007","volume-title":"Atlas of finite groups","author":"Conway","year":"1985"},{"key":"S1461157000000978_ref006","first-page":"85","article-title":"\u2018Constructive recognition of a black box group isomorphic to GL(n, 2)\u2019","author":"Cooperman","year":"1995","journal-title":"Groups and computation II"},{"key":"S1461157000000978_ref003","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0125"},{"key":"S1461157000000978_ref002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-03-03040-X"},{"key":"S1461157000000978_ref001","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548302005217"},{"key":"S1461157000000978_ref008","unstructured":"8. The Gap \u2018GAP - groups, algorithms, and programming\u2019, Version 4.4, 2004, http:\/\/www.gap-system.org."},{"key":"S1461157000000978_ref013","unstructured":"13. Robinson Derek J.S. , A course in the theory of groups (Springer, New York\/ Heidelberg\/Berlin, 1982)."},{"key":"S1461157000000978_ref018","unstructured":"18. Wilson R.A. , \u2018ATLAS of finite group representations\u2019, 2004, http:\/\/brauer.maths.qmul.ac.uk\/Atlas\/."},{"key":"S1461157000000978_ref005","first-page":"11","volume-title":"The Atlas of finite groups","author":"Celler","year":"1995"},{"key":"S1461157000000978_ref004","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0295"},{"key":"S1461157000000978_ref009","unstructured":"9. Holmes P.E. , Linton S.A. , O'Brien E.A. , Ryba A.J.E. and Wilson R.A. ,\u2018Constructive membership testing in black-box groups\u2019, preprint, Queen Mary, University of London, 2004."}],"container-title":["LMS Journal of Computation and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1461157000000978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T22:28:38Z","timestamp":1559860118000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1461157000000978\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":18,"alternative-id":["S1461157000000978"],"URL":"https:\/\/doi.org\/10.1112\/s1461157000000978","relation":{},"ISSN":["1461-1570"],"issn-type":[{"value":"1461-1570","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}