Semigroups corresponding to branches at infinity of coordinate lines in the affine plane (Q309943)

Bresinsky-Angermüller semigroup theorem proves that given a pair of plane algebroid branches \(\gamma, \lambda\) where \(\lambda\) is nonsingular and \(n\) is the intersection number of the branches, the semigroup of \(\gamma\) is generated by a characteristic sequence with initial term \(n\). Reciprocally, any characteristic sequence with initial term \(n>0\) admits a pair of branches \(\gamma, \lambda\), such that the sequence generates the semigroup of \(\gamma\), \(\lambda\) is nonsingular and both branches have intersection number equal to \(n\). In this paper the authors consider Abhyankar-Moh characteristic sequences which are characteristic sequences with two added properties, one of them a conductor formula. The paper is then devoted to prove an interesting Bresinsky-Angermüller semigroup theorem for these type of sequences. This result states that the semigroup of the branch at infinity \(\gamma\) of a coordinate line of degree \(n >1\) is generated by an Abhyankar-Moh characteristic sequence with initial term \(n\). Moreover if \(G\) is a semigroup generated by an Abhyankar-Moh characteristic sequence with initial term \(n >1\), then there exists a coordinate line of degree \(n\) with branch at infinity \(\gamma\) whose semigroup is \(G\). We conclude by recalling that an affine curve in \(K^2\) (\(K\) being any field) \(\Gamma\) is named a coordinate line whenever there exists a polynomial automorphism \((f,g): K^2 \rightarrow K^2\) such that \(f=0\) is the minimal equation of \(\Gamma\). Notice that this lines have ever one branch at infinity.