I will have to disagree with you about notation. Yeah of course the symbols '1', '2', etc are not integers in this case, well they are through a homomorphism of course. Also, you have to go with some abstract notation on this one. Your adjoining a new element to extend the base field, that is...