Ampere law — the series
-
The field that wraps a current
Ampère's law says that going once round a closed path and adding up the field counts the current threaded through it, and nothing else about the path survives into the answer. Four different loops round one wire return the same number to five decimal places — which is exactly why the law is both easy and treacherous.
-
The field outside the solenoid, which is not zero
Ampère's law says the field outside a solenoid vanishes, and every step of that argument is exact — for a winding of infinite length. A real one is a bar magnet seen from outside, its external field falls as the inverse square of its length rather than to nothing, and the "exactly zero" that makes the derivation so satisfying is the one part of it a laboratory cannot have.
-
The law that is always true and rarely useful
Ampère's law holds for every loop and every current. Apply it to a wire of finite length and it gives an answer that is wrong by half — until the displacement current of the charge piling up at the wire's two ends is put back in, whereupon the two terms sum to μ₀I exactly at every length. The law was never approximate. It was never a computation either.
-
The field that points against the magnet it is in
There are two magnetic fields in use and the difference between them is which currents a loop is allowed to count. The consequence nobody expects on being told the definitions: inside a permanent magnet H points the other way from B. It has to — a loop inside the magnet threads no wire, so its H circulation is zero, and the only arrangement left has H running backwards.
-
A potential that does not come back to itself
Where no current flows, the magnetic field has no circulation round any small loop, so it is the gradient of something and a magnetic problem becomes an electrostatic one. The catch is not that the potential fails to exist. It is that walking once round a wire lowers it by the current, and walking round again lowers it by the current again — so Ampère's law survives the translation as a statement about what the path encircles rather than about where it went.