Just a notation .
Sorry this is such a basic question, but I'm studying all on my lonesome.
I'm struggling with the function/mapping definition of binary operations. I get the idea that if and , then is a binary operation. How does mean the same thing? It seems like if A were a set of individual numbers (such as the set ), then f would change A to a set of ordered pairs made from elements of A. Also, is f the binary operator in the definition?
A binary operator is a function of two arguments. Often they are denoted by symbols like +, , etc. rather than letters and are written using infix notation, e.g., x+y instead of +(x,y).
in some cases (particularly when A is finite), the function is f is listed explicitly, with rows labelled "a" and columns labelled "b". this gives a matrix with a*b in the i,j-th postion. such a matrix is called a multiplication table, and may be familiar to you from grade-school.