Can we just define it in the same way? Let's define a, b, and c such that they are quadratic integers in the given field. If we have the proposition that a = b mod c, then how about we define that as c | (b - a), where the division results in a quadratic integer contained within the given ring of integers. That sounds pretty basic, am I overlooking something?