ホモロジー群の不変性と代数的不変量