Supongamos $A$ es una completa subalgebra de una completa álgebra booleana $B$. Supongamos $f : A \to A$ es un automorphism. A continuación, $f$ puede ser extendido a un automorphism de $B$. Puedo ver esto con el hecho de que $B$ es equivalente a un paso de dos obligando iteración $A * \check B/\dot G$ y el uso de automorphism-de-nombres. Pero tengo curiosidad, ¿hay una manera simple y directa para definir esta extensión de $f$ sin referencia a obligar?
Edit: Comentarios muestran que la premisa de que mi pregunta estaba mal. Pero he aprendido algo, así que lo dejo a los moderadores si esta pregunta necesidades de eliminación.