摘要
F is one, i.e. O_F is a principle ideal ring (e.g.F = Q), then O_E is a free O_F-module and E/F has a relative integral basis. But in general case E/F may not have a relative integral basis. We are concerned about the existence of relative integral basis for K/k, where K
