Maxima で綴る数学の旅

群論では、抽象的な群の要素を群の演算を保つように数字（複素数）に写像することがあり、この写像を指標と呼びます。指標の値は数字なので、解析的な道具（四則演算、微積、ゼータ関数の係数など）と組み合わせることで、群の性質を式に取り入れて計算したり、解析的に証明したりできるようになります。 探検! 数の密林・…