Definition:Biadditive Mapping

Definition
Let $M, N, P$ be abelian groups.

Let $M \times N$ be the cartesian product.

A biadditive mapping $f : M \times N \to P$ is a mapping such that:
 * $\forall m_1, m_2 \in M : \forall n \in N : f(m_1 + m_2, n) = f(m_1, n) + f(m_2, n)$
 * $\forall m \in M : \forall n_1, n_2 \in N : f(m, n_1 + n_2) = f(m, n_1) + f(m, n_2)$

Also known as
A biadditive mapping is also known as a $\Z$-bilinear mapping. See Correspondence between Abelian Groups and Z-Modules.

Also see

 * Definition:Bilinear Mapping