《国语・周语上》：「三年，乃流王（厉王）於彘。」
韦昭注：「彘，晋地，汉爲县，属河东，今曰永安。」
隋改爲霍邑。参阅《汉书・地理志上》《後汉书・郡国志一》。