Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Problem-solving strategies for rings in abstract algebra
How to use
Zainstaluj skill w swoim środowisku Claude, dodając go do katalogu .claude/skills/math/abstract-algebra/rings. Upewnij się, że masz dostęp do narzędzi Bash i Read.
Przed rozpoczęciem pracy przejrzyj drzewo decyzyjne: najpierw ustal, czy struktura R spełnia aksjomaty pierścienia (grupa abelowa względem dodawania, mnożenie łączne, prawa rozdzielności).
Aby sprawdzić, czy R jest pierścieniem, użyj komendy Z3: uruchom z3_solve.py z argumentem prove "ring_axioms". Narzędzie zweryfikuje wszystkie wymagane warunki.
Jeśli chcesz zbadać właściwości pierścienia (przemienność, istnienie jedności, brak dzielników zera), zastosuj odpowiednie testy z sekcji Ring Properties, używając z3_solve.py prove "integral_domain" dla dziedzin całkowitości.
Do analizy ideałów i ich mnożenia użyj sympy_compute.py simplify "r*a", aby uprościć wyrażenia algebraiczne związane z ideałami głównymi i operacjami w pierścieniu.
Dla homomorfizmów pierścieni zweryfikuj ręcznie trzy warunki (addytywność, multiplikatywność, zachowanie jedności) lub użyj Z3 do formalnego dowodu, jeśli struktura jest wystarczająco sformalizowana.