2,3回に分けて、「有限群をその表現の成す圏から復元する」という淡中再構成(Tannaka Reconstruction)の一例を紹介します。初回となるこの記事では、主定理の主張とその証明をするための前提知識の紹介をします。この記事を読むために必要な知識は群論と線形…