Betragt en abelsk udvidelse af et fuldstændiggjort valueret legeme. Filtrationen af forgreningsgrupper i Galoisgruppen kan udstyres med en øvre nummerering som, via Herbrands sætning, er kompatibel med kvotientdannelse. Hasse-Arf's sætning siger da, at spring i forgreningsgrupperne udelukkende kan forekomme ved heltallige værdier af nummereringen. Hovedformålet med dette speciale er at præsentere et fuldt bevis for denne sætning. Det er frugtbart at begynde med det specielle tilfælde, hvor legemsudvidelsen er totalt forgrenet med en Galoisgruppe af primtalsorden. Ideen er at forbinde de successive kvotienter af forgreningsgrupperne, som koder for spring, med en følge af grupper af enheder i heltalsringen af det øvre legeme ved hjælp af en velvalgt afbildning. Det er muligt at give en særligt præcis beskrivelse af, hvordan normafbildningen virker på denne følge af grupper af enheder ved hjælp af et elegant kombinatorisk bevis, som jeg præsenterer i alle detaljer. Til slut nås frem til en eksakt følge, hvor spring i forgreningsgrupperne afspejles i opførslen af normafbildningen. Det er således naturligt at reducere Hasse-Arf's sætning til det cykliske, totalt forgrenede tilfælde og udnytte denne sammenhæng. Det er netop sådan, at beviset færdiggøres. Hasse-Arf's sætning er en essential ingrediens i beviset for eksistensen af Artin-repræsentationen af Galoisgruppen knyttet til legemsudvidelsen. Denne eksistens er ækvivalent med udsagnet om, at Artin-føreren af enhver karakter på Galoisgruppen er et ikke-negativt helt tal, og specialet afsluttes med et bevis for dette udsagn., Consider an abelian extension of a complete valued field. The filtration of ramification groups of the Galois group can be given an upper numbering that, via Herbrand's theorem, respects passage to quotients. The Hasse-Arf theorem states that jumps in the filtration can only occur at integers. The main goal of this thesis is to present a proof of this result. It is helpful to begin with the special case of a totally ramified extension with a Galois group of prime order. The idea is to link the successive quotients of the ramification groups, which encode the jumps, with a sequence of groups of units in the valuation ring via a well-chosen map. When the Galois group has prime order, it is possible to give a very precise description of the action of the norm map on these groups of units by means of an elegant combinatorial proof that I present in full detail. In the end, one arrives at an exact sequence where jumps in the ramification groups, in a sense, are mirrored in the behavior of the norm map on the unit groups. Therefore, it is natural to reduce the Hasse-Arf theorem to the cyclic, totally ramified case and exploit this connection, and this is exactly how the proof is completed. The Hasse-Arf theorem is an essential ingredient in the proof of the existence of the Artin representation on the Galois group. An equivalent statement is that the Artin conductor of any character of the Galois group is a non-negative integer, and the thesis ends with a proof of this statement.