%I#16 2024年1月7日08:25:20
%S 0,1,2,3,5,4,6,7,8,11,12,13,9,10,15,14,16,17,18,19,20,21,22,28,29,30,
%电话:31,32,33,34,35,23,24,36,25,26,27,39,40,41,37,38,43,42,44,45,46,47,48,
%U 49,50,52,51,53,54,55,56,57,58,59,60,61,62,63,64,79,80,81,82,83,84,85
%加泰罗尼亚双射的N签名置换:A089840的第3655行。
%C通过对右侧子树应用双射*A074679并保持左侧子树不变,可以获得二叉树的双射:
%C。。。。C……D……B……C
%C…..//
%C。。B…x…-->。。。。x...D…………..B..()。。。。。。。。。()..B.、。。
%C…\./………….\./。。。
%C A…x…………..A…x。。。。
%C.\./………….\./。。。。。
%C。。x…………..x。。。。。。
%C。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
%C注意,第一个子句对应于汤普森群F、T和V的生成器B,而*A074679的第一个子句则对应于生成器A,此外,*A089851对应于发电机C,*A072796对应于汤普森V组的发电机pi_0
%C对以上的评论:我认为现在将V嵌入A089840是一个错误的希望。相反,更有可能的是,汤普森V与商群A089840/N同构,其中N是A089840的一个子群,其中包括恒等式(*A001477)和修复所有足够大的树的任何其他双射(例如*A154126)。有关更多详细信息,请参阅我的“关于A089840与…的连接”页面_Antti Karttunen,2012年8月23日
%H A.Karttunen,n的表格,n=0..2055的A(n)</a>
%H J.W.Cannon、W.J.Floyd和W.R.Parry,<a href=“https://web.archive.org/web/2011060562246/http://www.geom.uiuc.edu/docs/prepints/lib/GCG63/thompson.ps“>理查德·汤普森的F组和T组注释</a>
%H J.W.Cannon、W.J.Floyd和W.R.Parry,<a href=“https://doi.org/10.5169/seals-87877“>关于理查德·汤普森群体的介绍性笔记,《数学教育》,第42卷(1996年),第215-256页。
%H A.Karttunen,<A href=“http://oeis.org/wiki/用户:Antti_Karttunen/Spections/On_the_connection_of_A089840_with_Thompsons_groups“>关于A089840与Thompson群的联系</a>,推测和推测。
%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>
%o(Scheme中此自同构的破坏性版本:)(define(*A154121!s)(if(pair?s)(*A074679!(cdr s))s)
%Y反向:A154122。a(n)=A069770(A089865(A069770n))。参见A154123、A154126。
%K nonn公司
%0、3
%安蒂·卡图内恩,2009年1月6日