Analyzing the Structure of the Non-Examples in the Instructional Example Space for Function in Abstract Algebra

The concept of function is critical in mathematics in general and abstract algebra in particular. We observe, however, that much of the research on functions in abstract algebra (1) reports widespread student difficulties, and (2) focuses on specific types of functions, including binary operation, homomorphism, and isomorphism. Direct, detailed examinations of the function concept itself--and such fundamental properties as well-definedness and everywhere-definedness--are scarce. To this end, in this paper we examine non-examples of function in abstract algebra by conducting a textbook analysis and semi-structured interviews with abstract algebra instructors. In doing so, we propose four key categories based upon the definitive function properties of well-definedness and everywhere-definedness. These categories identify specific characteristics of the kinds of non-examples of function that abstract algebra instruction should emphasize, enabling us to hypothesize how students might be able to develop a robust view of function and explain in greater detail the nature of the reported difficulties that students experience.