종에서의 호프 모노이드 라그랑주 정리

본 논문은 “Lagranges Theorem for Hopf Monoids in Species”라는 제목 아래, 연결된 종(category of connected species)이라는 조합적 프레임워크에서 호프 모노이드(Hopf monoid)의 라그랑주 정리를 증명한다. 기존에 Radford가 포인티드 호프 대수(pointed Hopf algebras)에 대해 제시한 라그랑주 정리 증명 방식을 차용하면서, 종의 특수한 구조—즉, 유한 집합에 대한 퍼뮤테이션 모듈과 그에 수반되는 그레이디드 구조—에 맞게 일반화한다. 논문의 첫 번째 주요 결과는 다음과 같다. 연결된 호프 모노이드 H와 그 부분종 K가 주어질 때, H의 차원 생성함수 A_H(t)=∑_{n≥0} dim H