Vitalsource Technologies, Inc. Abstrakte Galois-Theorie