저차원 군 동류론을 위한 알고리즘

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 Hopf 공식에 기반하여 유한 제시군의 두 번째 동류군을 유한체 계수로 효율적으로 추정하는 알고리즘을 제시한다. 이를 SL₂ 군이 특정 정수환 위에 정의된 경우에 적용해 퀼른의 예측과의 연관성을 검증한다.

Hopf 공식은 유한 제시군 (G=\langle X\mid R\rangle)에 대해 두 번째 정수동류군 (H_{2}(G;\mathbb Z))을 (\frac{R\cap