Let be one of the Artin groups of finite type ${\mathbf B}n={\mathbf C}n\tilde{\mathbf A}{n-1}\tilde{\mathbf C}{n-1}$. In this paper, we show that if and are elements of such that for some nonzero integer , then and are conjugate in . For the Artin group of type , this was recently proved by J. Gonz'alez-Meneses. In fact, we prove a stronger theorem, from which the above result follows easily by using descriptions of those Artin groups as subgroups of the braid group on strands. Let be a subset of . An -braid is said to be \emph{-pure} if its induced permutation fixes each , and \emph{-straight} if it is -pure and it becomes trivial when we delete all the -th strands for . Exploiting the Nielsen-Thurston classification of braids, we show that if and are -pure -braids such that for some nonzero integer , then there exists a -straight -braid with . Moreover, if , the conjugating element can be chosen to have the first strand algebraically unlinked with the other strands. Especially in case of , our result implies the uniqueness of root of pure braids, which was known by V. G. Bardakov and by D. Kim and D. Rolfsen.

生成讲解博客的中文版本

生成AI智能校验的中文版本