Es sei ${\displaystyle {}D}$ eine kommutative Gruppe und ${\displaystyle {}A,B}$ zwei ${\displaystyle {}D}$-graduierte Algebren. Ein Ringhomomorphismus

${\displaystyle \varphi \colon A\longrightarrow B}$

heißt homogen, wenn ${\displaystyle {}\varphi (A_{d})\subseteq B_{d}}$ ist für alle ${\displaystyle {}d\in D}$.