# ra.rings and algebras – Why is Hochschild homology interesting if its cohomology groups are infinite-dimensional?

I am trying to understand Hochschild homology, in particular the Hochschild–Kostant–Rosenberg theorem. As far as I understand this result gives an isomorphism between the algebraic (Kähler) differential forms of a smooth commutative $$k$$-algebra and the Hochschild homology. This clearly implies that the homology of the complex is infinite-dimensional, which seems strange to me. How can Hochschild homology be a good invariant of an algebra if the dimensions of its homology groups are all infinite-dimensional?