{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:25:41Z","timestamp":1648603541564},"reference-count":40,"publisher":"Wiley","license":[{"start":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T00:00:00Z","timestamp":1264982400000},"content-version":"unspecified","delay-in-days":4049,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LMS J. Comput. Math."],"published-print":{"date-parts":[[1999]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper gives formulae for a module presentation of the module of identities among relations for a presentation of a group, in terms of information on 0- and 1-combings of the Cayley graph. These formulae are seen as a special case of formulae for extending a partial free crossed resolution of a group, given a partial contracting homotopy of the universal cover of the partial resolution.<\/jats:p>","DOI":"10.1112\/s1461157000000061","type":"journal-article","created":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T11:42:02Z","timestamp":1375789322000},"page":"28-61","source":"Crossref","is-referenced-by-count":5,"title":["Free Crossed Resolutions of Groups and Presentations of Modules of Identities among Relations"],"prefix":"10.1112","volume":"2","author":[{"given":"Ronald","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul Razak","family":"Salleh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,2,1]]},"reference":[{"key":"S1461157000000061_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF02566688"},{"key":"S1461157000000061_ref033","volume-title":"Homotopy theory","author":"Hu","year":"1959"},{"key":"S1461157000000061_ref030","unstructured":"30. Higgins P. J. , Categories and groupoids (Van Nostrand, London, 1971)."},{"key":"S1461157000000061_ref036","first-page":"687","volume-title":"\u2018Identities among relations\u2019","author":"Pride","year":"1990"},{"key":"S1461157000000061_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(71)90016-8"},{"key":"S1461157000000061_ref019","first-page":"54","article-title":"\u2018On finite induced crossed modules, and the homotopy 2-type of mapping cones\u2019","volume":"1","author":"Brown","year":"1995","journal-title":"Theory Appl. Categ"},{"key":"S1461157000000061_ref018","first-page":"213","article-title":"On the Schreier theory of non-abelian extensions: generalisations and computations\u2019","volume":"96","author":"Brown","year":"1996","journal-title":"Proc. Roy. Irish Acad"},{"key":"S1461157000000061_ref017","first-page":"153","volume-title":"\u2019Identities among relations\u2019","volume":"46","author":"Brown","year":"1982"},{"key":"S1461157000000061_ref016","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100070158"},{"key":"S1461157000000061_ref001","first-page":"395","volume-title":"\u2019The geometry of group extensions\u2019","volume":"1","author":"Baik","year":"1998"},{"key":"S1461157000000061_ref035","unstructured":"35. Johansson L. , Lambe L. and Sk\u00f6ldberg E. , \u2018Normal forms and iterative methods for constructing resolutions\u2019, Preprint, Stockholm, 1998."},{"key":"S1461157000000061_ref032","first-page":"281","article-title":"\u2018Pullback functors and crossed complexes\u2019","volume":"20","author":"Howie","year":"1979","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"S1461157000000061_ref027","unstructured":"27. Heyworth Anne and Reinert Birgit , \u2018Applications of Gr\u00f6bner bases to group rings and identities among relations\u2019, University of Wales Bangor Maths Preprint 99.09. http:\/\/www.bangor.ac.uk\/ma\/research\/preprints\/99\/99_09.html\/"},{"key":"S1461157000000061_ref031","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629358"},{"key":"S1461157000000061_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0074446"},{"key":"S1461157000000061_ref008","unstructured":"8. Brown R. , \u2019Higher dimensional group theory\u2019, 1997. http:\/\/www.bangor.ac.uk\/~mas010\/hdaweb2.html"},{"key":"S1461157000000061_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(81)90018-9"},{"key":"S1461157000000061_ref037","unstructured":"37. Sch\u00f6nert M. , \u2018GAP: groups, algorithms, and programming\u2019, 4th edn (Lehrstuhl D f\u00fcr Mathematik, Rheinisch Westfalische Technische Hochschule, Aachen, Germany, 1997)."},{"key":"S1461157000000061_ref021","unstructured":"21. Carloson J. F. , \u2018The cohomology of 2-groups mod 2\u2019. http:\/\/www.math.uga.edu\/~jfc\/groups\/cohomology.html"},{"key":"S1461157000000061_ref039","unstructured":"39. Tonks A. P. , \u2019Theory and applications of crossed complexes\u2019, PhD thesis, University of Wales, Bangor, 1993. http:\/\/www.bangor.ac.uk\/ma\/research\/tonks"},{"key":"S1461157000000061_ref020","first-page":"3","article-title":"\u2018Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy 2-types\u2019","volume":"2","author":"Brown","year":"1996","journal-title":"Theory Appl. Categ"},{"key":"S1461157000000061_ref028","unstructured":"28. Heyworth Anne and Wensley C. D. , \u2018Logged Knuth-Bendix procedures and identities among relations\u2019, University of Wales Bangor Maths Preprint 99.07. http:\/\/www.bangor.ac.uk\/ma\/research\/preprints\/99\/99_07.html\/"},{"key":"S1461157000000061_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/1969290"},{"key":"S1461157000000061_ref040","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1949-09213-3"},{"key":"S1461157000000061_ref024","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1006\/jabr.1996.7008","article-title":"\u2018An algorithm for computing homology groups\u2019","volume":"194","author":"Groves","year":"1997","journal-title":"J. Pure Appl. Algebra"},{"key":"S1461157000000061_ref007","first-page":"1","article-title":"\u2018Groupoids and crossed objects in algebraic topology\u2019","volume":"1","author":"Brown","year":"1999","journal-title":"Homotopy"},{"key":"S1461157000000061_ref015","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100068353"},{"key":"S1461157000000061_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(81)90080-3"},{"key":"S1461157000000061_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(70)90089-X"},{"key":"S1461157000000061_ref029","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100037397"},{"key":"S1461157000000061_ref004","article-title":"a geometric account of general topology","author":"Brown","year":"1988","journal-title":"Topology"},{"key":"S1461157000000061_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF00122251"},{"key":"S1461157000000061_ref026","unstructured":"26. Heyworth Anne , \u2018Applications of rewriting systems and Gr\u00f6bner bases to computing Kan extensions and identities among relations\u2019, Ph.D. thesis, University of Wales, 1998. http:\/\/www.soton.ac.uk\/abs\/math.CT\/9812097"},{"key":"S1461157000000061_ref025","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-35.4.481"},{"key":"S1461157000000061_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90099-5"},{"key":"S1461157000000061_ref005","doi-asserted-by":"crossref","first-page":"46","DOI":"10.33232\/BIMS.0032.46.59","article-title":"\u2018Higher order symmetry of graphs\u2019","volume":"32","author":"Brown","year":"1994","journal-title":"Bull. Irish Math. Soc."},{"key":"S1461157000000061_ref010","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-36.2.193"},{"key":"S1461157000000061_ref013","doi-asserted-by":"crossref","unstructured":"13. Brown R. and Higgins P. J. , \u2018Crossed complexes and non-abelian extensions\u2019, Proc. International Conference on Category Theory, Gummersbach, 1981, Lecture Notes in Math. 962 (Springer\u2013Verlag, Berlin\/New York, 1982) 39\u201350.","DOI":"10.1007\/BFb0066884"},{"key":"S1461157000000061_ref023","doi-asserted-by":"publisher","DOI":"10.2307\/1969736"},{"key":"S1461157000000061_ref009","first-page":"147","article-title":"\u2018Coverings of groupoids and Mayer-Vietoris type sequences","author":"Brown","year":"1984","journal-title":"Categorical topology"}],"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\/S1461157000000061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T01:15:00Z","timestamp":1646270100000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1461157000000061\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":40,"alternative-id":["S1461157000000061"],"URL":"https:\/\/doi.org\/10.1112\/s1461157000000061","relation":{},"ISSN":["1461-1570"],"issn-type":[{"value":"1461-1570","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}