Search

Let p: X → X be a regular covering projection of connected graphs, where CTp denotes the group of covering transformations. Suppose that a group G ≤ Aut X lifts along p to a group G ≤ Aut X. The corresponding short exact sequence id → CTp → G → G → id is split sectional over a G-invariant subset of vertices Ω ⊆ V (X) if there exists a sectional complement, that is, a complement G to CTp with a G-invariant section Ω ⊂ V (X) over Ω. Such lifts do not split just abstractly but also permutationally in the sense that they enable a nice combinatorial description. 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 CTp is abelian and the covering projection is given implicitly in terms of a voltage assignment on the base graph X, an efficient algorithm for testing whether G 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 CTp is solvable. [ABSTRACT FROM AUTHOR]