is an Euclidean Domain with . Let be the multiplicative identity.Let
Is an ideal?
The only thing confusing me about this definition is whether the elements and are in , as if they aren't then isn't a subring, so it's not an ideal.
isn't in the domain of , so I'm not sure if it's in and , so should not be in .