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 .