固有射（こゆうしゃ、英: proper morphism）とは、スキームの射で、 複素解析空間の固有写像の代数幾何学における類似物である。 体 k 上固有な 代数多様体は完備多様体（英語版）とも呼ばれる。例えば、体 k 上の任意の射影多様体は k 上固有である。複素数体 C 上の有限型（英語版）スキーム
Stacks project, Tag 0BY1やRational map on smooth projective curve、 Morphism between curves constant of surjectiveを参照。 ^ モジュラー方程式という2変数の多項式があり、これで定義される曲線を非特異化したものが