An Abstract Algebra Research Project: How many solutions does x^2 + 1 = 0 have?