En principio uno podria tomar muchos subanillos de K pero si lo que buscamos es poder decir algo entonces una eleccion natural es considerar el anillo de enteros algebraicos que queda Dedekind.