整域の非可換版ってあるんですか?