Deakstadieđáhus: Discrete gauge theory