双序群的自由积

我们证明了 Rivas 关于左序群自由积结果的双序版本。即，我们证明双序群的自由积不容许孤立的双序。我们的方法依赖于双序群的动力学实现。我们还证明了自同构群 $Aut(F_2)$ 在 $F_2$ 上的自然作用没有稠密轨道。