Graduierte kommutative Algebra/Homogener Ringhomomorphismus/Definition

Homogener Ringhomomorphismus

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

$\varphi \colon A\longrightarrow B$

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