문제가 Prove or disprove that Q is Euclidean domain w/ the func. d:Q*->Z defined by d(r)=~ (문제에서 d는 구체적인 식을 줬음)
이 꼬라지인데 만약 이 d에 대해 euclidean domain 정의인
1. d(a)=<d(ab) 2. there exists q,r s.t. a=bq+r and r=0 or d(r)<d(b)
에서 둘 중 하나라도 성립하지 않으면 그냥 false라 쓰면 됨?
근데 이게 그렇다고 Q가 euclidean domain이 아님을 뜻하는 건 아니지?
학교 게시판에 직접 질문 올리고 싶은데 주말이라 답변 못 받을 거 같아서 여기 올림

- dc official App