エタール基本群
とは、基本群の代数幾何学版である。任意のスキームに対して定義される群で、位相空間の基本群と似た性質を持つ。とも呼ばれる。