抽象代數中,研究環的分支為環論