Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@PolvanHoften I'm not sure I understand sorry. I'm not very comfortable with groups over rings. Why can we assume the first map comes from some $i$? And why does should $i$ extend in the way you describe? Are you saying that this should be possible for some choices of extensions $K$ with ring of integers $R$?