群表現の定義(線形表現、行列表現)