Červený Hrádek (Jirkov-Červený Hrádek) to miejscowość w to miejscowość, która 1992 należała do Czechosłowacja i znajdowała się w okręgu administracyjnym Chomutov.
Červený Hrádek (Jirkov-Červený Hrádek) to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Rothenhaus. Dziś miejscowość nazywa się Červený Hrádek (Jirkov-Červený Hrádek) i należy do Czechy.