Bourbaki

Corollary 1

Tag 06MX, permanent. Cite it as [Bourbaki, Tag 06MX].

Algebra, V, p. 65, § 10. Galois extensions

Let (cσ)σ∈Γ(c_\sigma)_{\sigma \in \Gamma} be a family of non-zero elements of NN. For a≠0a \neq 0 to exist in NN such that cσ=σ(a)⋅a−1c_\sigma = \sigma(a) \cdot a^{-1} for all σ∈Γ\sigma \in \Gamma it is necessary and sufficient that cστ=cσ⋅σ(cτ)c_{\sigma \tau} = c_\sigma \cdot \sigma(c_\tau) for σ,τ\sigma, \tau in Γ\Gamma.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.