>>59
ヒー、早速回答ありがとうございます。でも？？よく分かりません

localement fini とは Zをcycleとすると
任意のXの点pにおいて、
pを含み、muit_x(Z)≠0となる{x}^(-)が有限個
（或いは、pの十分小さい近傍Uと交わるn_x≠0なる{x}^(-)が有限個）
という意味でしょうか。EGAが定義を省いてるのは不自然な感じを受けますし

>Xのコンパクト性から明らかになる

これがその後noether性とどう関わるか自明そうに見えないですし
EGAは証明を省いてるでしょうか？(・・;)