groups

Umiejętność wspierająca pracę nad problemami z teorii grup. Zawiera drzewo decyzyjne do weryfikacji aksjomatów grupy, testowania podgrup, dowodzenia homomorfizmów oraz analizy rzędu elementów i struktury grupy. Wykorzystuje narzędzia Z3 do dowodów formalnych i SymPy do uproszczeń algebraicznych. Idealna dla studentów i naukowców pracujących z abstrakcyjną algebrą.

1. Zainstaluj umiejętność w swoim katalogu Claude, pobierając pliki z repozytorium parcadei na GitHub.

2. Przygotuj zadanie z teorii grup — określ grupę G, operację * i elementy, które chcesz zbadać.

3. Aby sprawdzić, czy zbiór G tworzy grupę, przejdź przez cztery warunki: zamkniętość (czy a*b należy do G dla wszystkich a, b w G), łączność, istnienie elementu neutralnego e oraz istnienie elementów odwrotnych. Możesz uruchomić weryfikację formalną poleceniem z3_solve.py prove "group_axioms".

4. Jeśli pracujesz z podgrupą H, wykaż że jest niepusta (zwykle poprzez pokazanie, że zawiera element neutralny) i że dla wszystkich a, b w H iloczyn ab^(-1) należy do H. Użyj z3_solve.py prove "subgroup_criterion" do formalnego dowodu.

5. W przypadku homomorfizmu φ zweryfikuj warunek φ(ab) = φ(a)φ(b) dla wszystkich elementów. Pozostałe własności (φ(e₁) = e₂ i φ(a^(-1)) = φ(a)^(-1)) wynikają automatycznie. Do uproszczeń algebraicznych użyj sympy_compute.py simplify "phi(a*b) - phi(a)*phi(b)".

6. Analizuj strukturę grupy poprzez rząd elementów (najmniejsze n takie że a^n = e) i rząd grupy (liczba elementów). Pamiętaj o twierdzeniu Lagrange'a: rząd podgrupy H dzieli rząd grupy G.