A+ CATEGORY SCIENTIFIC UNIT

Lifts for semigroups of endomorphisms of an independence algebra

Volume 106 / 2006

João Araújo Colloquium Mathematicum 106 (2006), 39-56 MSC: 08B20, 08A35, 20M10, 20M20. DOI: 10.4064/cm106-1-4

Abstract

For a universal algebra ${\cal A}$, let $\mathop{\rm End}\nolimits({\cal A} )$ and $\mathop{\rm Aut}\nolimits({\cal A} )$ denote, respectively, the endomorphism monoid and the automorphism group of ${\cal A}$. Let $S$ be a semigroup and let $T$ be a characteristic subsemigroup of $S$. We say that $\phi \in \mathop{\rm Aut}\nolimits(S)$ is a lift for $\psi\in \mathop{\rm Aut}\nolimits(T)$ if $\phi|T=\psi$. For $\psi \in \mathop{\rm Aut}\nolimits(T)$ we denote by $L(\psi)$ the set of lifts of $\psi$, that is, $$ L(\psi )= \{\phi \in \mathop{\rm Aut}\nolimits(S) \mid \phi|_T=\psi\}. $$ Let ${\cal A}$ be an independence algebra of infinite rank and let $S$ be a monoid of monomorphisms such that $G=\mathop{\rm Aut}\nolimits({\cal A} )\leq S \leq \mathop{\rm End}\nolimits({\cal A} )$. It is obvious that $G$ is characteristic in $S$. Fitzpatrick and Symons proved that if ${\cal A}$ is a set (that is, an algebra without operations), then $|L(\phi)|= 1$. The author proved in a previous paper that the analogue of this result does not hold for all monoids of monomorphisms of an independence algebra. The aim of this paper is to prove that the analogue of the result above holds for semigroups $S=\langle \mathop{\rm Aut}\nolimits ({\cal A} ) \cup E \cup R\rangle\leq \mathop{\rm End}\nolimits({\cal A} )$, where $E$ is any set of idempotents and $R$ is the empty set or a set containing a special monomorphism $\alpha$ and a special epimorphism $\alpha^*$.

Authors

  • João AraújoCentro de Álgebra
    Universidade de Lisboa
    Av. Gama Pinto, 2
    1649-003 Lisboa, Portugal
    and
    Universidade Aberta
    Rua da Escola Politécnica, no. 141–147
    1269-001 Lisboa, Portugal
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image