Defining binomial coefficients over rings in general I'm looking over my notes, and we proved that the binomial theorem $$(a + b)^n = \sum_{k = 0}^{n} {n \choose k}a^k b^{n-k}$$ holds on all commutative rings. 
However, I am confused on how we are defining  ${n \choose k}$, since the definition $ {n \choose k} = \frac{n!}{(n-k)!k!} $ is no longer well defined over rings in general, since $k!$ may equal $0$. For example, $p! = 0$ in $F_p$, the field of p elements. Any idea how to interpret the binomial coefficients in these cases?

In the formula, $\binom{n}{k}$ is an ordinary integer. It need not be viewed as an element of our  ring $A$, and in general commutative rings, which may not have a multiplicative unit, it cannot be so viewed.
If $r$ is a ring element, then $\binom{n}{k}r$ is interpreted as the sum in the ring of $\binom{n}{k}$ copies of $r$.
