Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for groups in abstract algebra
How to use
Zainstaluj umiejętność w swoim katalogu Claude, pobierając pliki z repozytorium parcadei na GitHub.
Przygotuj zadanie z teorii grup — określ grupę G, operację * i elementy, które chcesz zbadać.
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".
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.
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)".
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.