my version of galois_group.py and new file artin_representations.py