Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0BKA

Go back to the tag's page.

type time link
changed the statement 2019-08-30 20fcb32
Add slogan
changed the statement and the proof 2016-03-08 06d9a85
Fix mistake in more-algebra

Not a fatal mistake by any means and not bad at all, but annoying to
fix. Namely, it seems that we need to use the following when we prove
that our property is inherited by henselization or strict
henselization: given

k ---> k' ---> R

where the first arrow is a separable algebraic extension of fields and
where k ---> R has property P, then k' ---> R has property P as well.
Now if k'/k is finite, then this follows from (A) and (B). But in the
case of an infinite extension it does not seem to formally follow from
(A) and (B). Thus we added it as a new property and we checked this
property in all of the cases...
assigned tag 0BKA 2015-07-13 f2236fe
Tags: Added new tags
created statement with label lemma-henselization-pair-P-ring in more-algebra.tex 2015-07-08 15e5fdf
Improve exposition of P morphisms