Jordi Delgado ; Pedro V. Silva - On the lattice of subgroups of a free group: complements and rank

gcc:6059 - journal of Groups, complexity, cryptology, March 2, 2020, Volume 12, Issue 1 - https://doi.org/10.46298/jgcc.2020.12.1.6059
On the lattice of subgroups of a free group: complements and rankArticle

Authors: Jordi Delgado ORCID; Pedro V. Silva

    A $\vee$-complement of a subgroup $H \leqslant \mathbb{F}_n$ is a subgroup $K \leqslant \mathbb{F}_n$ such that $H \vee K = \mathbb{F}_n$. If we also ask $K$ to have trivial intersection with $H$, then we say that $K$ is a $\oplus$-complement of $H$. The minimum possible rank of a $\vee$-complement (resp. $\oplus$-complement) of $H$ is called the $\vee$-corank (resp. $\oplus$-corank) of $H$. We use Stallings automata to study these notions and the relations between them. In particular, we characterize when complements exist, compute the $\vee$-corank, and provide language-theoretical descriptions of the sets of cyclic complements. Finally, we prove that the two notions of corank coincide on subgroups that admit cyclic complements of both kinds.


    Volume: Volume 12, Issue 1
    Published on: March 2, 2020
    Accepted on: January 29, 2020
    Submitted on: January 28, 2020
    Keywords: Mathematics - Group Theory
    Funding:
      Source : OpenAIRE Graph
    • Centre for Mathematics of the University of Porto; Funder: Fundação para a Ciência e a Tecnologia, I.P.; Code: UID/MAT/00144/2019

    Consultation statistics

    This page has been seen 668 times.
    This article's PDF has been downloaded 611 times.