雷首山在山西永济县南，《书禹贡》“壶口雷首，”山有九名，即产阳山、首山、独头山、襄山、尧山、薄山、中条山、阳山、并雷首为九也，，《括地志》此山西起雷首，东至吴坂长数百里，随地异名，《通典》“雷首，在河东县，此山凡有八名，历山、首阳山、薄山、襄山、甘枣山、中条山、渠猪山、独头山也，”又名吴山、蒲山。