Math. Z.

153,267-282 (1977) Mathematische

Zeitschrift
9 by Springer-Verlag 1977

Die Wertehalbgruppe einer ebenen

irreduziblen algebroiden Kurve
Gerhard Angermfiller
MathematischesIustitutder Universit~it,Bismarckstr.11/2,D-8520 Erlangen,
BundesrepublikDeutschland

Die weitestgehenden Untersuchungen der Wertehalbgruppe einer ebenen irredu-

ziblen algebroiden Kurve tiber einem algebraisch abgeschlossenen K6rper k
beschr/inken sich vornehmlich auf den Fall char(k)=0. Dies liegt vor allem
daran, dab in diesem Fall Puiseux-Reihen zur Verftigung stehen. In dieser Arbeit
beweisen wit ohne Verwendung solcher Hilfsmittel vom Fall char(k)=0 her
bekannte Strukturaussagen fiber Wertehalbgruppen ebener irreduzibler alge-
broider Kurven tiber algebraisch abgeschlossenen K6rpern beliebiger Charak-
teristik. Dartiber hinaus bringen wir eine Charakterisierung der Halbgruppen,
die als Wertehalbgruppen ebener irreduzibler algebroider Kurven fiber einem
algebraisch abgeschlossenen K6rper k vorkommen, die offenbar selbst fiir
char(k)=0 neu ist. Unser wichtigstes Hilfsmittel dabei sind die von Ap6ry [-3]
zuerst verwendeten und von Azevedo [-4] ausffihrlicher untersuchten sog. Ap6ry-
Folgen. Damit bestimmen wit das kleinste Erzeugendensystem der Wertehalb-
gruppe einer ebenen irreduziblen algebroiden Kurve und zeigen weiter, dab
dieses kleinste Erzeugendensystem und die charakteristischen Paare (ira Sinne
yon Mob [12]) sich gegenseitig bestimmen; dies verallgemeinert S~itze von
Abhyankar und Mob [2] und Azevedo [4I. Auch die bier bewiesene Charak-
terisierung der Halbgruppen, die Wertehalbgruppen ebener irreduzibler alge-
broider Kurven sind, geschieht mit diesen Folgen. Ferner erhalten wir mit Hilfe
der Ap6ry-Folgen Anwendungen auf lineare diophantische Gleichungen: neben
einem Satz tiber eine bekannte (Un-)Gleichung ftir den Ffihrer einer Halbgruppe,
der einen Satz von Brauer und Seelbinder [8] umfaBt und einen von Bertin und
Carbonne [-6] verschgrft, berechnen wit mit diesen Folgen den Ftihrer von
Progressionen.
Diese Arbeit besteht aus zwei Teilen. Im ersten stellen wir die rein halb-
gruppentheoretischen S~itze zusammen, die wir ffir unsere weiteren Unter-
suchungen ben6tigen, und bringen die genannten Anwendungen auf lineare
diophantische Gleichungen. Im zweiten Teil untersuchen wir dann Wertehalb-
gruppen ebener irreduzibler algebroider Kurven.
268 G. Angermtiller

Inhalt
I. Additive Halbgruppen natiirlicher Zahlen . . . . . . . . . . . . . . . . . . . . . . 268
1.1. Ap6ry-Folgen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
1.2. Angenehme Folgen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
1.3. Stark wachsende Ap6ry-Folgen . . . . . . . . . . . . . . . . . . . . . . . . 273
II. Wertehalbgruppen ebener irreduzibler algebroider Kurven . . . . . . . . . . . . . . . 275
ILl. Die Ap6ry-Folge der Wertehalbgruppe . . . . . . . . . . . . . . . . . . . . . 276
II.2. Charakteristische Paare . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
II.3. Eine Charakterisierung der Halbgruppen, die Wertehalbgruppen ebener irreduzibler
algebroider Kurven sind . . . . . . . . . . . . . . . . . . . . . . . . . . . 281

Herrn W.-D. Geyer danke ich herzlichst ftir viele wertvolle Hinweise, Anregungen und kritische
Anmerkungen, die diese Arbeit entscheidend gef6rdert haben.

N bezeichnet im folgenden stets die Menge aller Zahlen 0, 1, 2 . . . . .

I. Additive Halbgruppen natiirlieher Zahlen

Im folgenden sei H stets eine additive U n t e r h a l b g r u p p e von N mit 0 ~ H und

ggT H = 1.
H enth~ilt fast alle natiirlichen Zahlen; die kleinste Zahl n mit [n,~[~_H
heiBt der Fiihrer yon H. Welter ist H endlich erzeugt; H besitzt sogar ein kleinstes
endliches Erzeugendensystem E. Es ist E = { e o . . . . . es} mit e o < e l < . . . < e s,
i
e0 = m i n H \ {0}, ei+l=minH\ ~ ekN fiir i = 0 . . . . . s--1. D a die ei in verschie-
|
k=0
denen Restklassen m o d e o enthalten sind, gilt: s < e o. Offenbar gilt s = 0 genau
dann; wenn H = N.
Zun~ichst untersuchen wir nun gewisse Teilmengen yon H, die in enger
Beziehung mit dem kleinsten Erzeugendensystem yon H stehen.

1.1. Ap~ry-Folgen
Es sei O+-peH. D a H fast alle natiirlichen Zahlen enth~ilt, trifft H jede Rest-
klasse rood p und die Menge

A,:= {min H c~n + p N[n~ N}

hat p Elemente; etwa Ap = {%, ..., av_l} mit 0 = ao < al < -'" < ap 1.
Definition 1.1.1. A v (bzw. a o . . . . . ap_ 0 heiBt die ApOry-Menge (bzw. -Folge) yon
H zu p; ist speziell p = m i n H \ {0}, nennen wir die so definierte Menge (bzw.
Folge) die Apdry-Menge (bzw. -Folge) yon H.
Jede Zahl n e ~ l~13t sich auf genau eine Weise in der Gestalt n=ai+m p mit
O<i<_p-1 und m ~ darstellen; wegen pEH gilt: n~H,,~m>=O. Insbesondere
p 1
gilt also: nEA;.~n~H, n-p(~H. Weiter ist H = (J a i + p N und {p, al, ..., av_l}
i=0
ein Erzeugendensystem yon H. Ist speziell 1 < p = m i n H \ {0} und E = {e o . . . . . es}
Die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve 269

das kleinste Erzeugendensystem von /4, so ist insbesondere E ~ {p, as, ..., ap_l}
und e o = p , e~ = a t. Offenbar sind dann die folgenden Aussagen ~quivalent:
(1) H wird von zwei Elementen erzeugt (d.h. s = 1).
(2) Fiir i = 0, ..., p - 1 gilt: ai = i a s.
p--1
(3) H = U i a l + p N .
i=0

Bemerkung 1.1.2. Es sei O=~peH und a o . . . . . ap_ 1 die Ap6ry-Folge von H zu p.

D a n n ist a p _ ~ - p + 1 der Fiihrer yon H.

Beweis. Sei n ~ N , n > a p _ ~ - p + l , n ist auf genau eine Weise in der Gestalt
n=ai+m p mit O<_i<_p-1 und m~2~ darstellbar. Wgre m < 0 , wtirde folgen:
n < a i - p < a p _ s - p < n . Also ist m > 0 , d.h. ne/4. Wegen ap_ 1 -pC~4 folgt daraus
sofort die Behauptung.
Ist also speziell p = m i n / 4 \ { 0 } und wird H von zwei Elementen erzeugt,
so ist (p - 1) (a 1 - 1) = (% - 1) (e~ - 1) der Ftihrer von H.

Bemerkung 1.1.3. Bekanntlich heil3t eine U n t e r h a l b g r u p p e von (N, + ) symme-

trisch, wenn es eine Zahl z~7l gibt, derart, dab fiir jede Zahl ne7l gilt: n~H<*
z - n ~ H. Ist f d e r Ftihrer yon H, so sind die folgenden Aussagen/iquivalent:
(1) H ist symmetrisch.
(2) Ffir jedes nE2g gilt: n e l l < o f - 1 -n(~H.
(3) 2 IH c~ [0, f [ [ = f .
(4) 2 ] N ' - . H I - f .
(5) I N \ HI = IH c~ [-0, f [ I . ( N ' - . / 4 ist die Menge der ,,Lticken" v o n / 4 . )

Beweis. N a c h Definition von f gilt: (N \ H) -u (H c~ [0, f D = [0, f [ , was die

)kquivalenz der Aussagen ( 3 ) - ( 5 ) beweist. D a H eine H a l b g r u p p e ist und
f-lr wird durch n ~ - ~ f - 1 - n eine A b b i l d u n g yon Hc~ [ 0 , f [ in N \ H deft-
niert; die Surjektivit~it dieser A b b i l d u n g ist sowohl ~iquivalent zu (2) als auch
zu (5). (2)~(1) ist trivial. Ftir (1)~(2) beachte man, d a b ffir z~2g wie in der Defi-
nition wegen 0 E H folgt: z(~H; welter gilt far jedes n62g mit n>z: z - n r
also n~H. Deshalb gilt z = f - 1 , was die Behauptung beweist.

Bemerkung 1.1.4. Es sei O=t:p~H und a o . . . . . ap_l die Ap6ry-Folge yon H zu p.

D a n n sind die folgenden A u s s a g e n / i q u i v a l e n t :
(1) H ist symmetrisch.
(2) Ffir jedes nE2g gilt: neH~=~ap_ I - p - n ~ H .
(3) Fiir i = 0 .... , p - 1 gilt: ap_ a - a i e {ao .... , ap_s}.
(4) Ffir i = 0 , . . . , p - 1 gilt: ap_s=a~+ap_s_ i.

Beweis. (1)~(2) ist klar nach B e m e r k u n g e n 1.1.2 und 1.1.3.

(2)~(3) Sei 0_< i < p - 1. N a c h Voraussetzung gilt ap _1 - P - a~ = aj + mp fiir
ein m67Z, m < 0 und O < j < p - 1 . W~ire m < - 1, wiirde folgen: a p _ l - p - ( a l - p )
270 G. Angermiiller

=a]+(m+ 1)p(~H, also a i - p e H , Widerspruch. Also folgt m = - 1 , d.h. a p _ l - a i

=aj.
(3)~(4) Wegen a o < a 1 < . . - < ap_ 1 ist dies klar.
(4)~(2) Sei n~77, also n = a i + m p mit tacT/. Wegen a p _ i - p - n = a p _ i - a i
- ( m + 1) p = a p _ l _ ~ - ( m + 1)p folgt: n e H ~ , ~ m > O ~ a p _ l - p - n ~ H , was die Be-
h a u p t u n g beweist.
Wird also speziell H yon zwei Elementen erzeugt, so zeigt die Bemerkung
1.1.4(3), dab H symmetrisch ist. Wie die Beispiele der U n t e r h a l b g r u p p e n {0} u
In, ~ [ yon (N, + ) fiir n > 3 zeigen, ist dies bei h6herer minimaler Erzeugenden-
anzahl nicht m e h r richtig.

1.2. A n g e n e h m e Folgen

Es sei to, t 1.... , t r eine (nicht notwendig m o n o t o n e ) Folge teilerfremder natiir-

licher Zahlen > 0. Wir setzen gi = ggT(to .... , ti) (i = 0, ..., r). D a n n gilt 1 = gr Lg~-11
... t g o = t o . Setzt m a n weiter n o = 1, ni=g~_i/g~ (i= 1, ..., r), so wird gi=n~+ 1 ... n~
und t i = g i m i mit ggT(m~, hi)= 1 ( i = 0 , ..., r).

Definition 1.2.1. Als derivierte F o l g e yon to . . . . . t, bezeichnen wir die Folge

t; . . . . . t " 1 m i t t ' i nr= h ( i = 0 . . . . . g - - i ) .

Bemerkung 1.2.2. Die derivierte Folge t ~ , . . . , t; 1 yon to, ..., t~ besteht wieder
aus teilerfremden Zahlen und ist u m ein Glied kiirzer. Ferner gilt fur die zuge-
h6rigen Folgen: gl n~=gl, n'i=ni und m ' i = m i ( i = 0 .... , r - l ) .
L e m m a 1.2.3. Jede natfirliche Z a h l n < t o ist eindeutig darstellbar als
r
I t = 2 S i n l ... h i _ l , O~si<ni.
i=1

Beweis. Analog zur Existenz und Eindeutigkeit der Dezimaldarstellung natiir-

licher Zahlen.
1"
L e m m a L2.4. Ffir j e d e ganze Z a h l n ist die K o n g r u e n z n - ~ s i ti rood to, 0 < s i < n i
(i = 1. . . . . r) eindeutig ldsbar, i=1

Beweis. I m Induktionsanfang r = 0 ist t o = 1 und die B e h a u p t u n g offensichtlich

richtig. I m Induktionsschritt ist wegen ggT(m~, n~)= 1 zun~ichst n = s r m ~ + n ' n r
r--J[
mit O < s , < n ~ . Fiir n' hat m a n die eindeutige Darstellung n ' =- ~ si t'i m o d t~,
i~l
r

0 < s i < n'i = n i und nach Multiplikation mit n~ (es ist t~ = m~) folgt n =- ~ sl ti rood t o;
i=l
die Eindeutigkeit dieser Darstellung ist aus der K o n s t r u k t i o n ersichtlich.

Bemerkung 1.2.5. Ist H = ~ N t~ die yon den t~ erzeugte H a l b g r u p p e und A die

i-0
Ap6ry-Menge yon H zu to, so hat nach L e m m a 1.2.4 jedes a c A die eindeutige
r

Darstellung a = ~ s i ti, 0 < s i < n i (i = 1, ..., r) und s o < 0 nach Definition der Ap6ry-
i=0
Die Wertehalbgruppe einer ebenen irreduzibien algebroiden Kurve 271

Menge. (In Satz 1 werden wir diejenigen Folgen to, ..., t~ charakterisieren, fiir
die bei dieser Darstellung der a e A stets s o = 0 gilt.) Dies l~iBt sich zu einer Be-
s t i m m u n g von A heranziehen und damit (nach B e m e r k u n g 1.1.2) zur Bestimmung
des Fiihrers f von H. Als Beispiel betrachten wir Progressionen:

(1) Ffir i = 0 , . . . , r sei t ~ = c + i d rni~ g g T ( c , d ) = l . D a n n gilt n~=c und n~=l

ftir i > 1 . Also sind die a E A v o n d e r F o r m a = S o t o + S l t l = ( S o + S O C + s l d mit
So < 0, 0 < s~ < c. Der euklidische A l g o r i t h m u s liefert sofort A = {(k + 1) c + (k r +j) d t
O<kr+j<=c, 0 < j < r } . Insbesondere hat m a n m a x A = ( k + l ) c + ( k r + j ) d mit
k r + j = c - 1 und 0 < j < r. Somit gilt k r < c - 1 < (k + 1) r, d.h. k = [ ( c - 2)/r]; nach
B e m e r k u n g 1.1.2 ist somit

f = ( [ ( c - 2 ) / r ] + 1) c + ( c - 1) d - c + 1 = ( [ ( c - 2 ) / r ] + 1) c + ( c - 1 ) ( d - 1)

der Ftihrer von H.

I m Spezialfall d = 1 wurde dies yon Brauer [7] bewiesen; vgl. auch Nienhuis
und Wilf [13]. Roberts [-14] gab den ersten allgemeinen Beweis; ein einfacher
Beweis s t a m m t von B a t e m a n [5] (dort wird iibrigens die Berechnung des Ftihrers
auf eine andere Weise auf Gleichungen der Gestalt n = x c + y d zurtickgeftihrt).
(2) Es sei t o = C und t i = c + d i fiir i = 1 . . . . . r mit g g T ( c , d ) = l . Wie in (1) sind
die a E A v o n d e r F o r m a = S o t o + S l q = ( S o + S l ) C + s l d mit s 0 < 0 , O<s~<c. Die
r--1
,,d-adische" Darstellung einer nattirlichen Zahl k = ~ s i d i, 0 < si < d (i = 0, ..., r - 2),
sr_l > 0 liefert hier sofort i=o
r--X
A= s~(c+f+~)IO<si<dfiir i=0,...,r-2, s~_~>0, ~ s ~ d ~ < c .
z i=0 )

N a c h B e m e r k u n g 1.1.2 ist also m a x A - c + l der Ftihrer von H (fiir c = 9 , d = 2 ,

r 1
r > 3 wird iibrigens dieses M a x i m u m nicht fiir ~ s i f = c - 1 a n g e n o m m e n ) .
i=0
r
L e m m a 1.2.6. Jede natfirliche Zahl n > ~ (n i - 1 ) t i - t o hat eine eindeutige Dar-

stellung n = s~ t~, si < n~ f~r i= 1,..., r mit nichtnegativen ganzen Zahlen s i.

i=0

Beweis. N a c h L e m m a 1.2.4 hat m a n jedenfalls eine eindeutige Darstellung

n= s~tl, O < s i < n i fiir i = 1 . . . . . r. Wegen n > ~ ( n i - 1 ) t i - t o > s i t l - t o folgt
i=0 i=l i=1
welter s o t o > - to, d.h. s o > 0.
r
Folgerung 1.2.7. Ist H = ~ N t i die yon den t i erzeugte Halbgruppe, so gilt fi~r den
i=0
FfihrerfvonH:f< (ni-1)ti-to+l.
i~1

Dies wurde zuerst yon Brauer I-7] bewiesen. Fiir r = 1 steht hier nach 1.1 das
Gleichheitszeichen. Es sei aber ausdrficklich d a r a u f hingewiesen, dab L e m m a 1.2.6
mehr gibt als eine Absch~itzung des Ftihrers, es stellt spezielle Darstellungen
(si < ni) sicher.
272 G. Angermiiller

Definition 1.2.8. t o .... , # heigt angenehm, wenn far i = 1..... r gilt: n i t l e ~ N tj

(stets gilt n i tie 2 7Z ~j). J<~
j<i

Bemerkung 1.2.9. (1) Alle derivierten Folgen einer angenehmen Folge sind an-
genehm.
(2) Eliminiert man in einer angenehmen Folge alle Glieder mit ni--. 1, so
bleibt die Folge angenehm und erzeugt dieselbe Halbgruppe.
(3) Fiir r < l ist jede Folge angenehm. Aber 8, 10, 11 ist nicht angenehm
(erzeugt iibrigens auch keine symmetrische Halbgruppe).
(4) Die Folge 6, 7, 8 ist nicht angenehm, wohl aber die Folge 6, 8, 7.

Satz 1. Es sei ro . . . . , t r eine Folge teiler~'emder natiirlicher Zahlen > 0 und

H = ~ N t~ die davon erzeugte Halbgruppe. Dann sind die folgenden Aussagen
i=0
i~quivalent :
(1) Die Folge t o . . . . . # is~ angenehm.
r
(2) Jedes n e l l ist eindeutig darstellbar als n = ~ slr i mit O<so, O < s i < n l
(i = 1. . . . , r). i-o

(3) Die A p & y - M e n g e yon H zu t o ist A = si tdO<s i<n i .

ki=O
r

(4) H hat den Fiihrer f = ~ (hi - l) t i - - t o + 1.

i-1

Beweis. (1)~(2) Es ist n = ~ x i t i mit xi>0. Reduziert man xr auf Grund der
i=0
vorstehenden Definition und f~ihrt so fort, erh~ilt man die Behauptung.
(2)~(3) ist klar nach Lemma 1.2.4.
(3)~(4) erh~ilt man aus Bemerkung 1.1.2, es ist ja m a x A = ~ ( h i - 1 ) t i.

(4)~(1) Wir fiihren den Beweis durch Induktion nach r und benutzen dabei
wieder die derivierte Folge t~).... , t; 1 yon t o .... , #. Fiir den Fiihrer f ' von
r --1 r --i
/4' = ~ N t'i gilt: f ' = ~ (n'i - 1) t'i - t~ + 1, denn nach Folgerung 1.2.7 w~ire sonst
r --i i=0 i=I

(n'i - 1) t I -t~)~ H' und damit f - 1E/-/, Widerspruch. Nach Induktionsannahme

i=i
ist deshalb die Folge t'o,..., t'~_1 angenehm; also folgt (durch Multiplikation mit
%) fiir i = 1, ..., r - 1 : n i tie ~ N tj und es bleibt nur noch zu zeigen: n~ t~E ~ N rj,
j<i j<r
d.h. t ~ H ' . Da die Folge t~).... , t'~ 1 angenehm ist, gilt nach (1)~(3) und Bemer-
kung 1.1.4, dab H' symmetrisch ist. W~ire nun aber t~r so wiirde deshalb
nach Bemerkung 1.1.3 folgen: f ' - 1 - - # E H ' , also % ( f ' - - 1 ) e % H ' + % t ~ _ H und
damit f - 1 = ( % - 1) # + nr ( f ' - 1)e H, Widerspruch.
Ein Beweis der ;~quivalenz (1)~(4) ist Inhalt der Arbeit [8] yon Brauer
und Seelbinder; diese ;qquivalenz wird auch von Nienhuis und Wilf [13] be-
wiesen. (2)~*(4) und das nachfolgende Korollar 1.2.10 verschgrfen ein Ergebnis
yon Bertin und Carbonne ([6], Th6or~me 6).
Die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve 273

Korollar 1.2.10. Eine additive Unterhalbgruppe yon N , die yon einer angenehmen
Folge erzeugt wird, ist symmetrisch.
Beweis. Satz 1 und B e m e r k u n g 1.1.4.
Dies wird ebenfalls in [7] bewiesen. Die U m k e h r u n g des Korollars ist nicht
richtig, wie das Beispiel der yon 8, 10, 11, 13 erzeugten H a l b g r u p p e zeigt.
I m n~ichsten Abschnitt benStigen wir noch das
L e m m a 1,2.11. Ist fi~r i = 0 . . . . . r - 1 ti +~ > n i ti, so ist die FoIge to .... , 6 angenehm.
Beweis. Urn n~ t ~ ~ ' N t i zu zeigen, gentigt es nach L e m m a 1.2.6, angewandt
j<i
auf die [ ( r + l - i ) - f a c h derivierte] Folge to/g~_l, . . . , t i _ i / g i _ l , zu zeigen, dab
i--1
n~ t i > ~, ( n j - 1) tj - t o ist. Wir zeigen mehr:
j=l

L e m m a l . 2 . 1 2 . Ist ti+l>(bzw. > ) nit i ( i = 0 , . . . , r - 1 ) , so gilt: ti+t>=(bzw. > )

i
(nj--1) tj ( i = 0 .... , r - - 1).
j=l
Beweis. Ffir i = 0 ist dies klar; gilt die U ngleichung ffir i - 1, so folgt t~+ ~ > (bzw. > )
i
n,t~=(n~-l)t~+t~> (bzw. >) ~%-l)tj.
j=t
Aus dem Beweis yon L e m m a 1.2.11 l~il3t sich folgende Versch~rfung ableiten:

Ist fiir i = 1 .... , r - 1 ti+l> (rtj--1) tj--t 0 n~+~, so ist die Folge t o . . . . . 6
~j= 1
angenehm. Allerdings gibt es auch a n g e n e h m e Folgen (wie z.B. 8, 14, 15), die
diese Bedingung nicht erftillen.

1.3. Stark wachsende Ap~ry-Folgen

Definition 1.3.1. Eine Folge (s~) ganzer Zahlen heil3t stark wachsend, wenn s i +sj
< sl +j (soweit definiert) gilt.
Wie bisher sei H e i n e additive U n t e r h a l b g r u p p e von N mit 0 e l l und g g T H = 1.
Weiter sei ggT {0} = g g T ~ = ~ .
Definition 1.3.2. V = { n i n t H , g g T H c ~ [0, n] < g g T H c~ [0, hi} = {Vo .... , vr} mit
v o < v1 < . . - < v, heil3t die Menge (Folge) der Elemente yon H, bei denen der grOfite
gemeinsame Teller verIorengeht.
V ist in j e d e m Erzeugendensystem von H enthalten.
Sei g i = g g T { v o , . . . , v i } = g g T H c ~ [ O , vi] ( i = 0 . . . . . r) und n o = l , ni=gi_l/g i
( i = 1, ..., r). Ferner sei 0 = a o .... , a r die A p e r y - F o l g e von H (mit p=vo). Mit
diesen Bezeichnungen gilt:
Satz 2. Die folgenden Aussagen sind i~quivaIent :
(1) ao, ..., ap_~ wSehst stark.
(2) Fiir O<=si<n i ( i = 1 .... ,r) gilt a z .... 1....... = ~ SiVi; weiter ist Vi+I>HiV i
(i = 0 .... , r - - 1). i=1
r

(3) H = ~ N v i und v i + i > n i v i ( i = 0 , . . . , r - l ) .

i=0
274 G. Angermiiller

Beweis. (1)~(2) Es geniigt, die beiden folgenden Hilfsbehauptungen zu beweisen:

i
(a) Sei l<_i<_r. Ist Vk---a ......... ( k = l , . . . , i ) , so f o l g t ~ SkVk=ax . . . . . . . . . . . .
fiir O<sk<nk (k=l, ..., i). k=l
(b) Ffir i = 1. . . . , r gih v i = a ......... . i
Beweis yon (a). Wit beweisen die Behauptung durch I n d u k t i o n nach m = ~ s k n 1
k=l
9..nk_~; ftir m = 0 gilt offenbar ~k Sk V k = O = a o . Sei nun die B e h a u p t u n g richtig
fiir alle Zahlen < m . D a nach Voraussetzung a o .... , ap_l stark w~ichst, folgt:
~,k Sk Vk = ~ k Sk a,1 ...... l <=az . . . . . . . . . . . . = am. W~ihle s < p mit a s = Z k Sk Vk m o d p;
nach Definition yon a s folgt dann a s < ~ t s k v k < a m und es geniigt daher zu

zeigen: s > m . N a c h L e m m a 1.2.3 hat m a n eine Darstellung s = ~ t t n ~ . . . n t _ ~ ,

k=l
0 <=t k < n k. W~ire nun s < m, so w~ire t k = 0 fiir k = i + 1, ..., r und nach Induktions-
a n n a h m e wiirde folgen as= ~ k tk Vk im Widerspruch zu der in L e m m a 1.2.4 ge-
forderten eindeutigen LSsbarkeit der K o n g r u e n z a s = ~ t sk vt rood p, 0 < s t < n t.
Beweis yon (b). Es ist v I = al nach Definition. Sei nun die B e h a u p t u n g richtig
i
fiir jedes j mit l < j < i < r . Wegen ~(nt--1)nl...nk_l=nl...ni--1 folgt nach
k=l
(a) vi+a > a ....... _~. A n g e n o m m e n , es ist vi+t > a ...... ,. N a c h L e m m a 1.2.4 ist die
r
K o n g r u e n z a ....... ==- ~, s t v k rood p, O < s t < n t eindeutig 15sbar. N a c h (a) folgt ftir
k=l
das grSgte t m i t s t + 0: t > i + 1, denn sonst w~ire a ....... - aj rood p fiir ein j < n~... n~.
Wegen g,_~]p erh~ilt man aus der obigen K o n g r u e n z weiter: gt_llStVt, also
nt = gt-~/gt [st vt/gt und wegen ggT {nt, vt/gt} = 1 erh~lt m a n daraus schlieBlich n t Ist
im Widerspruch zu 0 < s t < n t. Also hat m a n v~+ 1 = a ....... .
(2)~(1) Sei 0 < i < j < p. N a c h L e m m a 1.2.3 gibt es ffir 1 <_k <_r 0 <- Sk, S'k, S'k'< nt
mit i = ~ t s t n ~ . . . n k _ ~, j - - i = ~ k S ' k n ~ . . . n k _ ~ und j = ~ t s ; n ~ . . . n t _ ~. Wegen
i+(j-i)=j gibt es ftir 0 _ < k < r O < t t < l mit t o = 0 und S'k'+tknt=s'k+tk_~ ffir
r r--1
1 < k <_r. N a c h Voraussetzung gilt: ~ (t k_a - ttnt) vt = ~, tt (vt +1 - nk Vk) + t~ n~ v, > 0
k=l k=l
und somit folgt nach Voraussetzung welter:
t ~ t #!
a i + aj -i = E t Sk Vt + Z t St Vt = 2 k (St + St + tk-1 -- ttnk) Vt = E t St Vk = aj,

was zu zeigen war.

(2)~(3) Dies ist ktar, da {p, al, ..., ap_l} ein Erzeugendensystem yon H ist.
(3)~(2) N a c h L e m m a 1.2.11 und Satz 1 genfigt es, folgendes zu zeigen:

k=l k=l k=l k=l

Aus (*) erhiilt man aber nach A b z u g gleicher ,,Ziffern" sj < tj ftir den grSl3ten
Index j mit sj + tj. Mit L e m m a 1.2.12 folgt weiter
j j-t j

k=l k=l k~l

was die Behauptung beweist.

Die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve 275

Korollar 1.3.3. W~chst die Ap~ry-Folge yon H stark, gilt:

(1) Die Folge der Elemente yon H, bei denen der gr6fite gemeinsame Teiler
verlorengeht, ist angenehm und erzeugt H, ist also das kleinste Erzeugenden-
system yon H.
(2) H ist symmetrisch.
Beweis. (1) folgt aus Satz 2 und L e m m a 1.2.11. (2) folgt aus (1) und Korollar 1.2.10.
Das Beispiel der yon 4, 6, 7 erzeugten H a l b g r u p p e zeigt, d a b die U m k e h r u n g
von K o r o l l a r 1.3.3 falsch ist.
Korollar 1.3.4. W~dchst die Ap~ry-Folge yon H stark, gilt fiir den Fighter f yon H,
1 < p = m i n H'-. {0} und q = m i n H ' . . p N :
(1) f > ( p - 1 ) ( q - 1 ) .
(2) Die folgenden Aussagen sind iiquivalent:
(a) f = (p - 1) (q - 1).
(b) ggT {p, q} = 1.
(c) H wird yon p, q erzeugt.
(d) H wird yon zwei Elementen erzeugt.

Beweis. Sei ao, ..., ap_ 1 die Aphry-Folge yon H. N a c h B e m e r k u n g 1.1.2 erh~ilt m a n
auf G r u n d der Voraussetzung: f = ap_ 1 - (P - 1) > (p - 1) a 1 - (p - 1) = (p - 1) (q - 1)
und f = ( p - 1) ( q - 1)<:~ ap _1 = ( p - 1)aa. D a r a u s erhNt m a n nun mit K o r o l l a r 1.3.3
die Behauptung.

II. Wertehalbgruppen ebener irreduzibler algebroider Kurven

Im folgenden sei k stets ein algebraisch abgeschlossener K 6 r p e r und R der lokale

Ring einer irreduziblen algebroiden K u r v e fiber k, d.h. R ist ein eindimensio-
naler k o m p l e t t e r noetherscher lokaler Integrit~itsbereich mit k als Koeffizienten-
k/Srper. D e r ganze AbschluB R' yon R ist ein diskreter Bewertungsring, als
R - M o d u l endlich erzeugt und somit v o n d e r F o r m R' = k [[t]] fiir jedes Element
teR', das das m a x i m a l e Ideal von R' erzeugt (ein solches Element t heil3t auch
uniformisierender P a r a m e t e r yon R'). Die durch R' induzierte diskrete normierte
Bewertung des Quotientenk6rpers K von R bezeichnen wir im folgenden mit
w: K--, 2g u {oo}.
Definition IL0.1. G = w(R'-. {0}) heil3t die Wertehalbgruppe yon R.
G ist offensichtlich eine additive Unterhalbgruppe yon N mit O~G und
ggT G = 1.
Bemerkung IL0.2. (1) Ist f der Fiihrer yon G und F = R ' : R der Ftihrer yon R
in R', so gilt F = t I R ' ffir jeden uniformisierenden P a r a m e t e r t von R', d.h.
f = rain w (F).
(2) min G \ {0} ist die Multiplizit~it von R.
Beweis. Dies ist w o h l b e k a n n t (z.B. H e r z o g und K u n z [11]).
276 G. Angermiiller

Von nun an sei R der lokale Ring einer ebenen irreduziblen algebroiden
Kurve fiber k, d.h. wir verlangen zus/itztich, dab R die Einbettungsdimension
hBchstens zwei hat. Ist dann {x, y} ein Erzeugendensystem des m a x i m a l e n Ideals
von R, p = w ( x ) , so ist nach d e m WeierstraBschen Vorbereitungssatz R e i n freier
k [ [ x ] ] - M o d u l mit Basis 1 = yO, yl, ..., yp-1.

11.1. Die Ap~ry-Folge der Wertehalbgruppe

Satz 3. Es sei {x, y} ein Erzeugendensystem des maximalen Ideals yon R, p = w(x)
i
und fiir jedes i > 0 : M i = ~ k [ [ x ] ] y". Dann ist k [ [ x ] ] = Mo C_Ml ~_ " " ~ - M p _ l = R
n=O
und fiir die ApOry-Folge ao, ..., ap_ 1 yon G zu p gilt:
(1) {ai} = w ( M i _ l + y l ) \ w(Mi_O fi~r i= 1.... , p - 1,
i
(2) w ( M i \ { O } ) = U a , + p N fiAr i = 0 , . . . , p - l ,
n--O

(3) a o .... , ap_ 1 wiichst stark.

Beweis. Die erste Behauptung ist klar. Die B e h a u p t u n g e n tiber die Ap6ry-Folge
yon G zu p beweisen wit in mehreren Schritten:
(a) Es ist w (M i -1 + yi) ~ w ( M i _ 1) fiir i = 1,..., p - 1.
A n g e n o m m e n , ftir ein i mit 1 < i < p - 1 ist w ( M i _ l + y l ) ~ _ w ( M i _ l ) . D a n n sieht
m a n durch vollstgndige Induktion leicht, dab es ffir jedes n > 0 ein x, e Mi_ 1 mit
w ( y i - x , ) > n gibt. Also folgt y ~ = w - l i m x , , e M i _ l , da Mi_ 1 abgeschlossen ist.
n~o~
Dies ist aber ein Widerspruch zur linearen Unabh~ingigkeit der Folge yO, ..., yp-1
tiber k [[x]].
I m folgenden sei nun Y0 = 1 und y~e M~ _ 1 + Yi mit w (y~)(~w ( M i _ 1) (i = 1..... p - 1).
D u t c h I n d u k t i o n nach i sieht m a n sofort:
i

(b) M i= Z k [[x]] Yl fi~r i = 0 .... , p -- i.

n =O
Welter gilt:
(c) Die Folge w(yo) , ..., w(yp_l) wiichst stark.
Sei O < i < j < p - 1 . D a n n gibt es m, e M , _ 1 mit y ~ = m i + y ~, yj_~=mj_~+y ~-~
und y j = m j + y . Also folgt: y ~ y j _ i = m i m j _ i + m l y J - i + m j _ i y i - m j + y j = m + y j
mit m ~ M j _ 1 . Deshalb gilt:

w(yj) = w(yi Yj-i - m) > rain {w(y~ y~_i), w(m)} = w(yi yj_~) = w(y~) + w(yj_i).
(d) Fiir 0 <=i + j <=p - 1 gilt w (y~) ~s w (Xi) rood p.
O.B.d.A. sei O < i < j < = p - 1 . G~ibe es me2g mit w ( y j ) = w ( y i ) + m p , so w~ire
nach (c) m > 0, also w (yj) = w (Yi) + w (x m) = w (x mYl) ~ w (Mj_ 1) im Widerspruch zur
Wahl yon yj.
i
(e) Ffir i = 0 , . . . , p - 1 gilt w ( M i \ {0})= ~) w ( y , ) + p N .
n--O
Es ist w (mo \ {0}) = w (k [ I x ] ] \ {0}) = p N = w (Yo) + P N. Sei nun die Behaup-
tung richtig ffir alle Zahlen < i < p - 1 . Ist O<j<=i, h e N , so folgt: w ( y j ) + n p
Die Wertehalbgruppeeiner ebenen irreduziblenalgebroiden Kurve 277

= w ( x " y j ) e w ( M j \ {0})_w(Mi\{0}). Ist m e M o \ {0}, gibt es nach (b) m'eMi_l,

a e k [[x]] mit m = m' + a Yi. Nun gilt aber w (m') + w (a y~); denn sonst h/~tte man
nach der Induktionsannahme ftir ein n < i - 1 : w (y,) =-w (m') = w (a Y i ) - w (Yi) mod p
i
im Widerspruch zu (d). Also folgt w(m)=min{w(m'),w(ayl)}e U w ( y , ) + p N
nach der Induktionsannahme. ,=o
(f) Es gilt a~=w(yi) ( i = 0 . . . . . p - 1 ) .
p 1
Denn nach (e) folgt G = w ( M p _ l \ {0})= ~ w ( y i ) + p N , woraus sich nach (c)
i=0
und (d) die Behauptung aus der Definition der Ap6ry-Folge ergibt.
(1) erh~ilt man nun sofort aus (f), (2) aus (f) und (e) und (3) aus (f) und (c).
Satz 3 stammt yon Azevedo [4].

Folgerung II.1.1.Ist p = m i n G \ { O } und q~G mit p<=q<=minG\pN, so gibt

es ein Erzeugendensystem {x,y} des maxirnalen Ideals yon R mit w(x)=p und
w (y) = q.
Beweis. Offenbar gibt es ein Erzeugendensystem {x, y} des maximalen Ideals
von R mit w(x)--p. FiJr p = 1 ist die Behauptung klar; sei also p > 1. Dann gibt
es nach Satz3(1) y l ~ k [ [ x ] ] + y mit w ( y O = m i n G \ p N . Ist q = m i n G \ p N ,
leistet {x, yl} das Verlangte; ist q < m i n G \ p N , gibt es n ~ N mit q = p n und
{x, xn-k Yl} leistet das Verla!agte.
Daraus erh/ilt man nach Satz 3 (3)"

Korollar II.1.5. Die Ap~ry-Folge yon G wiichst stark.

Aus Korollar 1.3.3 erhglt man daraus:

Korollar II.1.3. Die Folge der Elemente yon G, bei denen der grOfite gemeinsame
Teiler verlorengeht, ist angenehm (vgl. Satz 1) und erzeugt G, ist also das kleinste
Erzeugendensystem yon G.
Ffir char(k)=0 wurde dies yon Azevedo [4] mit Hilfe yon charakteristi-
schen Paaren bewiesen.

Korollar II.1.4. Gist symmetrisch.

Dies wurde zuerst von Ap6ry [3] bewiesen.
Mit Korollar 1.3.4 und Folgerung II.l.1 sieht man weiter:
Korollar II.1.5. Ist {x,y} ein Erzeugendensystem des maximalen Ideals yon R
und f der Ffihrer yon G, so gilt: f > ( w ( x ) - l ) ( w ( y ) - l ) ; gilt Gleichheit oder
ggT {w(x),w(y)}=l, so wird G yon {w(x),w(y)} erzeugt. Wird umgekehrt G yon
zwei Elementen p, q erzeugt, so gibt es ein Erzeugendensystem x, y des maximalen
Ideals yon R mit w(x)=p und w(y)=q; weiter ist dann f = ( w ( x ) - 1 ) ( w ( y ) - 1 ) .

Korollar II.1.6. Unter den Voraussetzungen yon Satz 3 sei Yo = 1 und Yie Mi_l + yi
(i = 1,..., p - 1), derart, daft ffir 0 <=i 4:j <-_p - 1 gilt: w (Yi) ~- w (yj) rood p. Dann ist
ai=w(yi) (i= 1, ..., p-- 1).
278 G. Angermiiller

Beweis. N a c h Satz 3(1) ist nur zu zeigen, dab gilt: w(yi)~w(Mi_l) ( i = 1, ..., p - 1).
Nach Satz3(2) trifft aber w(Mi 1 \ { 0 } ) nur i - 1 verschiedene Restklassen
m o d p, woraus sich die Behauptung ergibt.
Die quadratisch Transformierten von R bilden eine aufsteigende Folge
R = R (~ ~_ R (~) ~_ ... ~_R (s) = R '

von R - U n t e r a l g e b r e n von R' mit der Multiplizit~itenfolge

rrt = m (~ ~ rrt O) >_ . . . >_ m (s) = 1

und der Folge von W e r t e h a l b g r u p p e n

G = G (~ ~ G (1) ~ .-. _~ G (~)= N

mit der Folge der Ftihrer

f = f(o~__>f ( ~ >_... >_ f ~ = 0.

Fiir die betrachtete Situation ist eine weitere Folgerung aus Satz 3 wichtig:
!
Satz 4. Ist a o . . . . . ap_~ die Apdry-Folge yon G und a'o . . . . . a;_~ die Ap~ry-Folge
yon G (1) zu p, so folgt: ai=a'i + i p ( i = 0 , ..., p - 1 ) .
Beweis. F a r p = l ist nichts zu beweisen; sei also p > l . Nach Folgerung II.l.1
kann m a n ein Erzeugendensystem {x, y} des m a x i m a l e n Ideals yon R w~ihlen
mit w ( x ) = p und w (y)= a 1 . Wegen a 1 - - p q~Gist dann y/x ~ R, also R a ) = k [Ix, y/x]].
i--1

Nach Satz 3 (1) gibt es Yle ~ k [ I x ] ] (y/x)" + (y/x) ~ mit w (Yl) = a'~ (i = 1.... , p - 1).
n=0
i--1

D a m i t erh~ilt m a n y~ = x ~y~e ~ k [ [ x ] ] y " + y~ mit w (y~)= a'~+ i p (i = 1.... , p - 1).

n=0
N a c h K o r o l l a r II.1.6 erh~ilt m a n daraus die Behauptung.
Satz 4 geht auf Azevedo [43 zuriick.
Bemerkung II.1.7. S a t z 4 und B e m e r k u n g 1.1.4 zeigen, dab G symmetrisch ist
genau dann, wenn G (1) symmetrisch ist. Diese Beobachtung liefert einen einfachen
Beweis (d.h. ohne Benutzung yon Satz 2) der Symmetrie yon G durch Induktion
nach der L/inge der Multiplizit~itenfolge yon R.
s

Korollar II.1.8. Es ist f = f(1) + r e ( m - 1) = ~ m(i)(m(i) - 1).

i=0
Beweis. N a c h Bemerkung 1.1.2 und S a t z 4 hat m a n f = a p _ ~ - p + l = a v _ ~t- p
+l+p(p-1)=f(1)+p(p-1), woraus m a n die B e h a u p t u n g durch I n d u k t i o n
nach s erh~ilt.

Bemerkung II.1.9. Nach K o r o l l a r II.1.8 ist f insbesondere eine gerade Zahl;

nach K o r o l l a r II.1.4 und Bemerkung 1.1.3 gilt genauer: f = 2 I N ' , G[ = 2 IG c~ [0,f[I.
Ist F der Ftihrer yon R in R', so ist f die Liinge des R - M o d u l s R'/F, iN \ Gt
die Liinge des R - M o d u l s R ' / R und I G c ~ [ 0 , f [ I die Liinge des R - M o d u l s R/F.
Dies erhiilt m a n aus der leicht zu beweisenden Aussage (Azevedo [4], H e r z o g
und K u n z [-11]): Sind M, N R-Moduln mit {p} 4=N ~_M ~_R', so ist [w (M) \ w (N) I
Die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve 279

die L ~ n g e d e s R - M o d u l s M / N . Auf diese Weise erh~ilt man, dab die L~ingen der
R-Moduln R ' / R und R / F tibereinstimmen (Gorenstein [10]). Nach Korollar II.1.8
erh~ilt man somit weiter, dab die Multiplizit~itenfolge von R die Folge der L~ingen
der R-Moduln R ' / R (i), d.h. die Folge der Singularit~itsgrade von R bestimmt und
umgekehrt durch diese Folge bestimmt wird.
Korollar II.l.10. Z w e i e b e n e i r r e d u z i b l e a l g e b r o i d e K u r v e n s i n d i i q u i s i n g u l i i r (ira
S i n n e y o n Z a r i s k i [-15], d.h. h a b e n die g I e i c h e M u l t i p l i z i t & e n f o l g e ) genau dann,
w e n n sie die g l e i c h e W e r t e h a l b g r u p p e haben.

B e w e i s . Mit Satz 4 sieht man sofort, dab zwei irreduzible ebene algebroide Kurven
die gleiche Wertehalbgruppe haben, genau dann, wenn dies bei ihren ersten
quadratischen Transformierten der Fall ist. Mit dieser Beobachtung beweist man
die Behauptung leicht durch Induktion.
Mit Satz 4 sieht man iJbrigens auch leicht, dab nicht jede Folge natfirlicher
Zahlen m o > m 1 >-.. > m ~ = l die MultiplizitStenfolge einer ebenen irreduziblen
algebroiden Kurve ist; ein Beispiel darer ist die Folge 5, 2, 1. W~re diese Folge
die Multiplizit~tenfolge einer ebenen irreduziblen algebroiden Kurve R, so w/~re
nach Korollar I5.1.8 G(1)={0} u [ 2 , ~ [ und die Ap6ry-Folge yon G wfirde die
Zahlen 7 und 13 enthalten, im Widerspruch zu Korollar II.1.3.
11.2. C h a r a k t e r i s t i s c h e Paare

In diesem Abschnitt zeigen wir, dab sich die charakteristischen Paare einer
ebenen irreduziblen algebroiden Kurve und das kleinste Erzeugendensystem der
Wertehalbgruppe gegenseitig bestimmen. Wir benutzen dabei die charakteristi-
schen Paare im Sinne yon Mob [12], der die klassische Theorie (d.h. char(k)=0)
auf beliebige Charakteristik verallgemeinert hat.
Im folgenden sei {x, y} ein Erzeugendensystem des maximalen Ideals yon R,
m = w (x), n = w(y) m i t m < n und m X n . Weiter seien (rl, s0, ... , (rh, Sh) die charakte-
ristischen Paare und m, n, q2, "-', qh die charakteristische Folge yon R bzgl. x, y.
Es gilt dann ggT {m, n}--s 2 ... Sh, ggT {m, n, q2 qi} =si+l... Sh (i=2 ..... h - 1 ) ,
. . . . ,

i
m=sl s2 ... Sh, n = r a s 2 .., s h und n + ~ q j = r i si+ 1 ... s h ( i = 2 . . . . . h - 1); insbeson-
i=2
dere bestimmen charakteristische Folge und charakteristische Paare sich gegen-
seitig. Ferner sei vo .... , vr (bzw. v~ .... , v'~) die Folge der Elemente yon G (bzw.
G(1)), bei denen tier grSBte gemeinsame Teller verlorengeht (= kleinstes Erzeu-
gendensystem yon G (bzw. G(I)), vgl. Korollar II.1.3), ggT{vo, ...,vi} = h i + 1 ... nr
(i = 0 ..... r - 1) und ggT {v~, ..., vl} = n I +i... n's (i = 0, ..., s - 5). Dann gilt vo = m,
Vl=n, n 2 nr=ggT{m,n}=s2
... ... s h und n l = s 1. Wir benStigen das folgende
Lemma:
Lemma II.2.l. E s t r i t t g e n a u e i n e r d e r f o I g e n d e n Fi~lle e i n :
(1) v o < v~ - v o . D a n n ist r ----s, v'o = Vo, v'i = v i - n 1 ... n i_ 1 Vo u n d n'i = n i (i = 1. . . . , s).
(2) v l - v o < V o , v i - v o ~ / V o . D a n n ist r = s , V ' o = V l - V o , V'l=vO, v'i=vl--n 1
9.. n i - 1 vo (i = 2 , . . . , s) u n d n'l = q - n l , n'i = ni (i = 2 . . . . , s).

(3) va-Vo[Vo. D a n n ist r = s + 1, v'o = v l - V o , v'i = v i + l - n l ... ni Vo u n d n ' i = n i + 1

(i= 1, ..., s); f e r n e r g i l t : v o < v ' l .
280 G. A n g e r m i i l l e r

Beweis. N a c h den S/itzen 2 und 4 ist die Behauptung klar bis auf n'i=ni+ 1
(i = 1.... , s) und v 0 < v[ in (3). Ftir die erste Behauptung geniigt es aber zu zeigen:
q - n I = 1, was m a n sofort aus (n 1 + 1) n 2 ... n,. = vo + ggT {v o, Vl} = vo + @1 - Vo) = vl
erh~ilt; also gilt: ( n l + l ) v o = n l v l und es folgt V ' l - v o = v 2 - n l V o - V o > n l v ~
- ( n l + 1) Vo = 0 .
D a m i t erhalten wir:

Satz 5. Es isr r = h , Vo=m, v l = n und vi=ni_l Vi_l +qi (i=2, ...,r); insbesondere
i--1
ist n i = s i und vi= ~ ( n j - 1 ) v j + r i ni+ 1 ... n,. Also bestimmen die charakteristische
j=l
Folge (bzw. die charakreristischen P a a r e ) yon R bzgI. x, y und das kleinste Erzeu-
gendensystem yon G sich gegenseitig.
Beweis. Wir beweisen die Behauptung durch I n d u k t i o n nach der Zahl der qua-
dratisch Transformierten yon R; im I n d u k t i o n s a n f a n g ist G = N und damit die
Behauptung klar. I m Induktionsschritt haben wir aufgrund der Induktions-
a n n a h m e die Gtiltigkeit der Behauptung ffir die erste quadratisch Transformierte
R (I) yon R; u m die Behauptung ftir R zu beweisen, unterscheiden wir nach
L e m m a II.2.1 drei F~ille:
(1) Vo <V 1 - v o. D a n n ist m, n - m , qa . . . . . qh die charakteristische Folge yon
R (1) bzgl. x, y / x (Moh [12], Prop. 2); also gilt r = s = h und

Ui~-lJi-l-n 1 ... n i l l ) o = n ' i _ l / 2 ' i _ l ~ q i - ~ - n l ... n i _ 1 / 2 0

= n i - l ( v i - 1 - n l ... n i - 2 / 2 o ) + q i + n l ... n i - 1 V o = n i - l v i - 1 +qi ( i = 2 . . . . . r).

(2) / 2 t - v o < v o , / 2 1 - v o X v o. Wie in (1) ist d a n n re, n - r e , q2 , ...,qh die cha-
rakteristische Folge von R (~) bzgl. x , y / x (Mob [121, Prop. 2); also gilt r = s = h ,
v 2 = V~ + n 1 vo = n[ v[ + q; + n 1 v o = (r1 - n l ) / 2 0 -F q2 + nl Vo = q Vo+ q2 = nl 121-~-q2 und
die gleiche R e c h n u n g wie in (1) zeigt vi = n i_1 vi-1 + ql (i = 3 . . . . . r).
(3) v l - V o [ V o. D a n n gibt es ein z mit R ( 1 ) = k [ [ x , y / x l l = k [ [ z , y / x ] ] und
n - m = w (y/x)~ w (z); weiter ist n - m, m + q2, q3 . . . . . qh die charakteristische Folge
yon R ~ bzgl. y/x, z (Moh [-12], Prop. 3). Also ist r - - s + 1 = h u n d

1)i=/2'i-1 -l-hi "" ni 1 I)0 = n ' i - 2 v ' i - 2 + q i + n x .-. n i - x / 2 0

= n i _ l ( v i _ l - - n I .., ni_2/2o)+qi+n 1 ... n i _ l / 2 o = n i _ i v i _ l + q i ( i = 2 . . . . . r).

Korollar 11.2.2. Die charakteristischen Paare yon R sind unabhgmgig yon den zur
Definition verwendeten erzeugenden E l e m e m e n x, y des maximalen Ideals yon R.
M o h [-12] beweist dies auf andere Weise; ftir c h a r ( k ) = 0 wird dies auch von
A b h y a n k a r [11 und Azevedo [41 bewiesen.
Korollar I1.2.3. Z w e i ebene irreduzible algebroide Kurven haben die gleichen cha-
rakteristischen Paare genau dann, wenn sie die gleiche Wertehalbgruppe haben.
Ftir c h a r ( k ) = 0 wird dies von Azevedo [41 bewiesen; dab die charakteristi-
schen Paare yon R die Wertehalbgruppe bestimmen, wird ftir char(k)Xm von
A b h y a n k a r und M o h [2] bewiesen. In diesem Fall k a n n m a n Satz 5 auch mit
T h e o r e m 7 . 1 von A b h y a n k a r und M o h 1-23 und Korollar 11.1.6 beweisen; in
Die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve 281

einer fi'iiheren Fassung dieser Arbeit wurde dies durchgeffihrt und die F o r m e l n
aus Satz 5 (in Unkenntnis der Arbeit M o h s [12]) zu einer Definition der charak-
teristischen Paare in beliebiger Charakteristik herangezogen.
Bemerkung II.2.4. Aus den Korollaren II.l.10 und II.2.3 folgt, dab zwei irreduzible
algebroide ebene Kurven fiquisingul~ir sind genau dann, wenn sie die gleichen
charakteristischen Paare haben. M o b [12] beweist dies ohne den Z u s a m m e n -
h a n g mit Wertehalbgruppen.

II.3. Eine Charakterisierung der Halbgruppen, die Wertehalbgruppen

ebener irreduzibler algebroider Kurven sind
Satz 6. Es sei H eine additive Unterhalbgruppe yon N mit Oe H, g g T H = 1 und k
ein algebraisch abgeschlossener KOrper. Dann sind die folgenden Aussagen iiqui-
valent:
(1) Die Apdry-Folge yon H wfichst stark.
(2) H ist die Wertehalbgruppe einer ebenen irreduziblen algebroiden Kurve fiber k.
Beweis. (2)~(1) K o r o l l a r II.1.2.
(1)~(2) Wir ftihren den Beweis dutch I n d u k t i o n nach den Fiihrer f von H.
Im Induktionsanfang f = 0 ist H = N , also die Wertehalbgruppe von k [ [ t ] ] .
Sei nun f > 0. Wit bemerken zun~ichst, dab H die Wertehalbgruppe einer ebenen
irreduziblen algebroiden Kurve tiber dem K S r p e r C der komplexen Zahlen ist.
Sei n~imlich Vo, ..., vr das kleinste Erzeugendensystem von H und ggT {vo .... , vi}
= n i + 1 ... n~ ( i = 0 , ..., r - 1); nach Satz 2 ist dann ql = v i - n i - 1 vi-1 > 0 ( i = 2 , ..., r).
Also ist dann v o, v1, q2 ..... qr eine Folge positiver Zahlen und damit die cha-
rakteristische Folge der komplexen ebenen irreduziblen algebroiden Kurve
[[tvo, tv~ + tv~+q2+ . . . + tv~+q2+...+qr]]. N a c h Satz 5 ist dann H die Wertehalb-
gruppe dieser komplexen Kurve. Sei nun H ' die Wertehalbgruppe der ersten
quadratisch Transformierten dieser Kurve; nach Korollar II.1.2 w~ichst die
Apdry-Folge von H ' stark und nach Korollar II.1.8 gilt ftir den Ftihrer f ' von
H ' : f ' < f . N a c h I n d u k t i o n s a n n a h m e ist deshalb H ' die Wertehalbgruppe einer
ebenen irreduziblen algebroiden Kurve R' fiber k. Sei w die v o m ganzen AbschluB
von R' induzierte diskrete normierte Bewertung yon K = Q u o t ( R ' ) . Bezeichnet
nun ao, ..., ap_~ die Aphry-Folge von H, so gibt es nach Folgerung II.l.1 und
L e m m a II.2.1 ein Erzeugendensystem x , z des maximalen Ideals von R' mit
w ( x ) = p = v o und w ( z ) = a l - p = v l - V o . N a c h S a t z 4 und S a t z 3 gibt es
i 1
ziE ~ k [ [ x ] J z J + z ~mit w (zl) = a i - i p (i = 1. . . . . p - 1). Ftir y = x z und R = k [[x, y ] ]
j=O i--1
gilt dann: Yl - xi zi ~ ~ k [ [ x ] ] yJ + yi und w(yi) = at ( i = 1.... , p - 1). N a c h Korollar
j-0
II.1.6 ist dann a o .... , ap ~ die Apdry-Folge der Wertehalbgruppe von R; also
ist H die Wertehalbgruppe yon R.
Im Fall c h a r ( k ) = 0 wurde von Bresinsky [9] rnit v611ig anderen M e t h o d e n
der folgende Satz bewiesen:
i--1
Sei t o . . . . . t~ eine wachsende Folge natfirlicher Zahlen mit tiq~ ~ N ti (i= 1 ..., r),
j=0
g g T { t o, ..., t~} = 1 und g g T { t o . . . . . ti} = n i + 1 ... nr ( i = 0 , ..., r - 1). Genau dann er-
282 G. Angermiiller

zeugt t o . . . . . t r die WertehaIbgruppe einer ebenen irreduziblen algebroiden K u r v e

fiber k, wenn gilt: n i > l ( i = l , . . . , r ) und ti+ l > n i t i (i=1 .... , r - 1 ) .

Die S~itze 2 und 6 zeigen, dab dies sogar ohne Beschr~inkung der Charakte-
ristik yon k richtig ist.

Literatur
1. Abhyankar, S.S.: Inversion and Invariance of characteristic pairs. Amer. J. Math. 89, 363-372
(1967)
2. Abhyankar, S.S., Moh, T.T.: Newton-Puiseuxexpansion and generalized Tschirnhausen trans-
formation I, II. J. reine angew. Math. 260, 4 7 - 8 3 (1973) and 261, 2 9 - 5 4 (1973)
3. Ap6ry, R.: Sur les branches superlin6aires des courbes alg6briques. C.r. Acad. Sci., Paris 222,
1198 - 1200 (1946)
4. Azevedo, A.: The Jacobian ideat of a plane algebroid curve. Thesis, Purdue University, Fort Wayne,
Indiana 1967
5. Bateman, P.T.: Remark on a recent note on linear forms. Amer. math. Monthly 65, 517-518
(1958)
6. Bertin, J., Carbonne, P.: Sur la structure des semi-groupes d'entiers et applications aux branches.
C.r.Acad. Sci., Paris, Stir. A 280, 1745 - 1748 (1975)
7. Brauer, A.: On a problem of partitions. Amer. J. Math. 64, 2 9 9 - 312 (1942)
8. Brauer, A., Seelbinder, B.M.: On a problem of partitions II. Amer. J. Math. 76, 343-346 (1956)
9. Bresinsky, H.: Semigroups corresponding to algebroid branches in the plane. Proc. Amer. math.
Soc. 32, 3 8 I - 3 8 4 (t972)
10. Gorenstein, D.: An arithmetic theory of adjoint plane curves. Trans. Amer. math. Soc. 72, 414 - 436
(1952)
11. Herzog, J., Kunz, E.: Die Wertehalbgruppe eines lokalen Rings der Dimension 1. S.-ber. Heidel-
berger Akad. Wiss. math. naturw. K1. 1971
12. Moh, T.T.: On characteristic pairs of algebroid plane curves for characteristic p. Bull. Inst. Math.,
Acad. Sinica 1, 7 5 - 9 1 (1973)
13. Nienhuis, A., Will, H.S.: Representation of integers by linear forms in non-negative integers.
J. Number Theory 4, 98 - 106 (1972)
14. Roberts, J. B.: Note on linear forms. Proc. Amer. math. Soc. 7, 4 6 5 - 469 (1956)
15. Zariski, O.: Studies in Equisingularity I. Amer. J. Math. 87, 507-535 (1965)

Eingegangen 13. September 1976