>>65
BcrisやBstは、Bcris⊂Bst⊂BdRとなる、BdRの部分環