External direct product of formal group laws
Suppose is a commutative unital ring. Suppose and are formal group laws over of dimensions and respectively. The external direct product of and , which we denote , is a formal group law of dimension , given by:
In other words, the first coordinates of are obtained by applying to the first coordinates of the two inputs, and the last coordinates of are obtained by applying to the last coordinates of the two inputs.