{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T20:50:45Z","timestamp":1776804645729,"version":"3.51.2"},"reference-count":30,"publisher":"American Mathematical Society (AMS)","issue":"316","license":[{"start":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T00:00:00Z","timestamp":1559692800000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n Let\n \n \n \n \n p<\/mml:mi>\n \n :\n \n <\/mml:mo>\n \n \n X<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n \n \u2192\n \n <\/mml:mo>\n X<\/mml:mi>\n <\/mml:mrow>\n p\\colon \\tilde {X} \\to X<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be a regular covering projection of connected graphs, where\n \n \n \n \n \n \\textrm {CT}<\/mml:mtext>\n <\/mml:mstyle>\n \n \n \u2118\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n \\hbox {\\textrm {CT}}_{\\wp }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n denotes the group of covering transformations. Suppose that a group\n \n \n \n \n G<\/mml:mi>\n \n \u2264\n \n <\/mml:mo>\n \n Aut<\/mml:mtext>\n <\/mml:mrow>\n \n X<\/mml:mi>\n <\/mml:mrow>\n G \\leq \\textrm {Aut} \\,X<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n lifts along\n \n \n \n \n \u2118\n \n <\/mml:mi>\n \\wp<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n to a group\n \n \n \n \n \n \n G<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n \n \u2264\n \n <\/mml:mo>\n \n Aut<\/mml:mtext>\n <\/mml:mrow>\n \n \n \n X<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n <\/mml:mrow>\n \\tilde {G} \\leq \\textrm {Aut} \\,\\tilde {X}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . The corresponding short exact sequence\n \n \n \n \n \n id<\/mml:mtext>\n <\/mml:mrow>\n \n \u2192\n \n <\/mml:mo>\n \n \n \\textrm {CT}<\/mml:mtext>\n <\/mml:mstyle>\n \n \n \u2118\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n \n \u2192\n \n <\/mml:mo>\n \n \n G<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n \n \u2192\n \n <\/mml:mo>\n G<\/mml:mi>\n \n \u2192\n \n <\/mml:mo>\n \n i<\/mml:mi>\n d<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \\textrm {id} \\to \\hbox {\\textrm {CT}}_{\\wp } \\to \\tilde {G} \\to G \\to \\rm {id}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is\n split sectional<\/italic>\n over a\n \n \n \n G<\/mml:mi>\n G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -invariant subset of vertices\n \n \n \n \n \n \u03a9\n \n <\/mml:mi>\n \n \u2286\n \n <\/mml:mo>\n V<\/mml:mi>\n (<\/mml:mo>\n X<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n \\Omega \\subseteq V(X)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n if there exists a\n sectional complement<\/italic>\n , that is, a complement\n \n \n \n \n G<\/mml:mi>\n \n \u00af\n \n <\/mml:mo>\n <\/mml:mover>\n \\overline {G}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n to\n \n \n \n \n \n \\textrm {CT}<\/mml:mtext>\n <\/mml:mstyle>\n \n \n \u2118\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n \\hbox {\\textrm {CT}}_{\\wp }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n with a\n \n \n \n \n G<\/mml:mi>\n \n \u00af\n \n <\/mml:mo>\n <\/mml:mover>\n \\overline {G}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -invariant section\n \n \n \n \n \n \n \u03a9\n \n <\/mml:mi>\n \n \u00af\n \n <\/mml:mo>\n <\/mml:mover>\n \n \u2282\n \n <\/mml:mo>\n V<\/mml:mi>\n (<\/mml:mo>\n \n \n X<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n )<\/mml:mo>\n <\/mml:mrow>\n \\overline {\\Omega } \\subset V(\\tilde {X})<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n over\n \n \n \n \n \u03a9\n \n <\/mml:mi>\n \\Omega<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . Such lifts do not split just abstractly but also permutationally in the sense that they enable a nice combinatorial description.\n <\/p>\n

\n Sectional complements are characterized from several viewpoints. The connection between the number of sectional complements and invariant sections on one side, and the structure of the split extension itself on the other, is analyzed. In the case when\n \n \n \n \n \n \\textrm {CT}<\/mml:mtext>\n <\/mml:mstyle>\n \n \n \u2118\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n \\hbox {\\textrm {CT}}_{\\wp }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is abelian and the covering projection is given implicitly in terms of a voltage assignment on the base graph\n \n \n \n X<\/mml:mi>\n X<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , an efficient algorithm for testing whether\n \n \n \n \n \n G<\/mml:mi>\n \n ~\n \n <\/mml:mo>\n <\/mml:mover>\n <\/mml:mrow>\n \\tilde {G}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n has a sectional complement is presented. Efficiency resides on avoiding explicit reconstruction of the covering graph and the lifted group. The method extends to the case when\n \n \n \n \n \n \\textrm {CT}<\/mml:mtext>\n <\/mml:mstyle>\n \n \n \u2118\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n \\hbox {\\textrm {CT}}_{\\wp }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is solvable.\n <\/p>","DOI":"10.1090\/mcom\/3352","type":"journal-article","created":{"date-parts":[[2018,1,3]],"date-time":"2018-01-03T09:40:14Z","timestamp":1514972414000},"page":"983-1005","source":"Crossref","is-referenced-by-count":0,"title":["On split liftings with sectional complements"],"prefix":"10.1090","volume":"88","author":[{"given":"Aleksander","family":"Malni\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rok","family":"Po\u017ear","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2018,6,5]]},"reference":[{"issue":"8","key":"1","doi-asserted-by":"publisher","first-page":"4491","DOI":"10.1090\/S0002-9947-2013-06079-5","article-title":"Trinity symmetry and kaleidoscopic regular maps","volume":"366","author":"Archdeacon, Dan","year":"2014","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"2","series-title":"Cambridge Tracts in Mathematics, No. 67","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511608704","volume-title":"Algebraic graph theory","author":"Biggs, Norman","year":"1974"},{"issue":"1","key":"3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1112\/jlms\/s2-30.1.1","article-title":"Homological coverings of graphs","volume":"30","author":"Biggs, N. L.","year":"1984","journal-title":"J. London Math. Soc. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6107","issn-type":"print"},{"issue":"3-4","key":"4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1006\/jsco.1996.0125","article-title":"The Magma algebra system. I. The user language","volume":"24","author":"Bosma, Wieb","year":"1997","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.jalgebra.2013.02.035","article-title":"Arc-transitive abelian regular covers of cubic graphs","volume":"387","author":"Conder, Marston D. E.","year":"2013","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"3","key":"6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s10801-006-7397-3","article-title":"A census of semisymmetric cubic graphs on up to 768 vertices","volume":"23","author":"Conder, Marston","year":"2006","journal-title":"J. Algebraic Combin.","ISSN":"https:\/\/id.crossref.org\/issn\/0925-9899","issn-type":"print"},{"issue":"1","key":"7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.26493\/1855-3974.557.b5f","article-title":"Some recent discoveries about half-arc-transitive graphs","volume":"8","author":"Conder, Marston D. E.","year":"2015","journal-title":"Ars Math. Contemp.","ISSN":"https:\/\/id.crossref.org\/issn\/1855-3966","issn-type":"print"},{"key":"8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0095-8956(74)90070-7","article-title":"Automorphisms of graphs and coverings","volume":"16","author":"Djokovi\u0107, D. \u017d.","year":"1974","journal-title":"J. Combinatorial Theory Ser. B","ISSN":"https:\/\/id.crossref.org\/issn\/0095-8956","issn-type":"print"},{"issue":"1","key":"9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.jctb.2003.09.003","article-title":"2-arc-transitive regular covers of complete graphs having the covering transformation group \ud835\udc4d\u00b3_{\ud835\udc5d}","volume":"93","author":"Du, Shao-Fei","year":"2005","journal-title":"J. Combin. Theory Ser. B","ISSN":"https:\/\/id.crossref.org\/issn\/0095-8956","issn-type":"print"},{"issue":"2","key":"10","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1016\/j.jctb.2007.07.001","article-title":"On 2-fold covers of graphs","volume":"98","author":"Feng, Yan-Quan","year":"2008","journal-title":"J. Combin. Theory Ser. B","ISSN":"https:\/\/id.crossref.org\/issn\/0095-8956","issn-type":"print"},{"issue":"8","key":"11","doi-asserted-by":"publisher","first-page":"3647","DOI":"10.1090\/S0002-9947-07-04040-8","article-title":"Semi-edges, reflections and Coxeter groups","volume":"359","author":"Gramlich, Ralf","year":"2007","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"12","series-title":"Wiley-Interscience Series in Discrete Mathematics and Optimization","isbn-type":"print","volume-title":"Topological graph theory","author":"Gross, Jonathan L.","year":"1987","ISBN":"https:\/\/id.crossref.org\/isbn\/0471049263"},{"key":"13","unstructured":"R. Hartung, Solving linear equations over finitely generated abelian groups, arXiv:1007.2477v1."},{"key":"14","series-title":"Discrete Mathematics and its Applications (Boca Raton)","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035216","volume-title":"Handbook of computational group theory","author":"Holt, Derek F.","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1584883723"},{"issue":"2","key":"15","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s10801-014-0542-5","article-title":"Elementary abelian regular coverings of Platonic maps","volume":"41","author":"Jones, Gareth A.","year":"2015","journal-title":"J. Algebraic Combin.","ISSN":"https:\/\/id.crossref.org\/issn\/0925-9899","issn-type":"print"},{"issue":"1-3","key":"16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0012-365X(01)00258-8","article-title":"Finite locally-quasiprimitive graphs","volume":"246","author":"Li, Cai Heng","year":"2002","journal-title":"Discrete Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-365X","issn-type":"print"},{"issue":"7","key":"17","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1006\/eujc.2000.0390","article-title":"Lifting graph automorphisms by voltage assignments","volume":"21","author":"Malni\u010d, Aleksander","year":"2000","journal-title":"European J. Combin.","ISSN":"https:\/\/id.crossref.org\/issn\/0195-6698","issn-type":"print"},{"issue":"4","key":"18","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1006\/eujc.2002.0568","article-title":"Regular homomorphisms and regular maps","volume":"23","author":"Malni\u010d, Aleksander","year":"2002","journal-title":"European J. Combin.","ISSN":"https:\/\/id.crossref.org\/issn\/0195-6698","issn-type":"print"},{"issue":"1","key":"19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/B:JACO.0000047294.42633.25","article-title":"Elementary abelian covers of graphs","volume":"20","author":"Malni\u010d, Aleksander","year":"2004","journal-title":"J. Algebraic Combin.","ISSN":"https:\/\/id.crossref.org\/issn\/0925-9899","issn-type":"print"},{"issue":"1","key":"20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.26493\/1855-3974.670.306","article-title":"On the split structure of lifted groups","volume":"10","author":"Malni\u010d, Aleksander","year":"2016","journal-title":"Ars Math. Contemp.","ISSN":"https:\/\/id.crossref.org\/issn\/1855-3966","issn-type":"print"},{"issue":"2","key":"21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.jctb.2004.01.003","article-title":"Edge-colourings of cubic graphs admitting a solvable vertex-transitive group of automorphisms","volume":"91","author":"Poto\u010dnik, Primo\u017e","year":"2004","journal-title":"J. Combin. Theory Ser. B","ISSN":"https:\/\/id.crossref.org\/issn\/0095-8956","issn-type":"print"},{"key":"22","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jcta.2016.04.003","article-title":"Smallest tetravalent half-arc-transitive graphs with the vertex-stabiliser isomorphic to the dihedral group of order 8","volume":"145","author":"Poto\u010dnik, Primo\u017e","year":"2017","journal-title":"J. Combin. Theory Ser. A","ISSN":"https:\/\/id.crossref.org\/issn\/0097-3165","issn-type":"print"},{"issue":"2","key":"23","doi-asserted-by":"publisher","first-page":"393","DOI":"10.26493\/1855-3974.373.4cd","article-title":"Sectional split extensions arising from lifts of groups","volume":"6","author":"Po\u017ear, Rok","year":"2013","journal-title":"Ars Math. Contemp.","ISSN":"https:\/\/id.crossref.org\/issn\/1855-3966","issn-type":"print"},{"key":"24","unstructured":"R. Po\u017ear, \\url http:\/\/osebje.famnit.upr.si\/\\midtilderok.pozar"},{"key":"25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jsc.2014.09.023","article-title":"Some computational aspects of solvable regular covers of graphs","volume":"70","author":"Po\u017ear, Rok","year":"2015","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"1","key":"26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.26493\/1855-3974.699.e89","article-title":"Testing whether the lifted group splits","volume":"11","author":"Po\u017ear, Rok","year":"2016","journal-title":"Ars Math. Contemp.","ISSN":"https:\/\/id.crossref.org\/issn\/1855-3966","issn-type":"print"},{"issue":"1","key":"27","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/jsco.1999.0292","article-title":"An algorithmic approach to fundamental groups and covers of combinatorial cell complexes","volume":"29","author":"Rees, Sarah","year":"2000","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"key":"28","unstructured":"A. Venkatesh, Graph coverings and group liftings, preprint, Department of Mathematics, University of Western Australia, 1998."},{"key":"29","volume-title":"Finite permutation groups","author":"Wielandt, Helmut","year":"1964"},{"key":"30","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jctb.2014.09.004","article-title":"2-arc-transitive metacyclic covers of complete graphs","volume":"111","author":"Xu, Wenqin","year":"2015","journal-title":"J. Combin. Theory Ser. B","ISSN":"https:\/\/id.crossref.org\/issn\/0095-8956","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2019-88-316\/S0025-5718-2018-03352-X\/S0025-5718-2018-03352-X.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2019-88-316\/S0025-5718-2018-03352-X\/S0025-5718-2018-03352-X.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T19:59:40Z","timestamp":1776801580000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2019-88-316\/S0025-5718-2018-03352-X\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,5]]},"references-count":30,"journal-issue":{"issue":"316","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["S0025-5718-2018-03352-X"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3352","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2018,6,5]]}}}