For a general ringR we let GL2(R) denote the group of invertible 2-by-2 matrices with entries in R, and let R* denote the group of units of R, and let
Then B(R) is a subgroup of GL2(R).
Nagao's theorem states that in the case that R is the ring K[t] of polynomials in one variable over a field K, the group GL2(R) is the amalgamated product of GL2(K) and B(K[t]) over their intersection B(K).
Serre's extension
In this setting, C is a smooth projective curve C over a field K. For a closed pointP of C let R be the corresponding coordinate ring of C with P removed. There exists a graph of groups (G,T) where T is a tree with at most one non-terminal vertex, such that GL2(R) is isomorphic to the fundamental group π1(G,T).