Faktorokruh je pojem z oboru matematiky, přesněji z abstraktní algebry, kterým se označuje okruh zkonstruovaný určitým způsobem z jiného okruhu a jeho ideálu.
Jedná se o postup podobný konstrukci faktorové grupy v teorii grup (obojí je totiž speciálním případem faktoralgebry), naopak koncept konstrukce podílového tělesa pro obor integrity je navzdory podobnému názvu odlišnou záležitostí. Konstrukce podílového tělesa k danému oboru integrity řeší neexistenci inverzních prvků vzhledem k násobení (například lze takto konstruovat těleso racionálních čísel z oboru integrity celých čísel), zatímco konstrukce faktorokruhu je využívána například při konstrukci kořenových nadtěles pro konkrétní ireducibilní polynom (například konstrukci nadtělesa komplexních čísel k tělesu reálných čísel).