the homology cobordism group of integer homology three-spheres is a natural invariant of interest to four-dimensional topologists. in this talk, we recall its definition and give a short introduction to involutive floer homology, as an application, we see that there is an infinite-rank summand of the homology cobordism group. this includes joint work with irving dai, jen hom, and linh truong.