Triple

Target class: formal group law
Context triple: [Lubin–Tate formal groups, instanceOf, formal group law]

• A. one-dimensional formal group law chosen
  A one-dimensional formal group law is a power series F(X,Y) over a commutative ring, with no constant term and linear terms X+Y, that defines a group structure on the formal neighborhood of 0 by satisfying associativity, commutativity, identity, and inverse axioms in the category of formal schemes.
• B. formal power series
  A formal power series is an infinite sum of terms \(a_n x^n\) treated purely algebraically, without concern for convergence, where coefficients \(a_n\) come from a given ring or field.
• C. linear algebraic group
  A linear algebraic group is a group that is also an affine algebraic variety, whose group operations (multiplication and inversion) are given by regular polynomial maps when the group is realized as a closed subgroup of some general linear group GLₙ.
• D. functor on groups
  A functor on groups is a structure-preserving mapping from the category of groups to another category (often groups or sets) that assigns to each group an object and to each group homomorphism a corresponding morphism, respecting composition and identities.
• E. L-function
  An L-function is a complex analytic function, typically expressed as a Dirichlet series with an Euler product, that encodes deep arithmetic information about objects such as numbers, fields, or algebraic varieties.
• F. None of above.