fields

Problem-solving strategies for fields in abstract algebra

1. Zainstaluj umiejętność w swoim środowisku Claude'a, klonując repozytorium i umieszczając folder skills w katalogu .claude.

2. Gdy pracujesz nad problemem dotyczącym ciał, określ, co chcesz sprawdzić: czy dana struktura jest ciałem, jakie są właściwości rozszerzenia ciała, jaka jest charakterystyka, czy element jest algebraiczny.

3. Aby sprawdzić, czy F jest ciałem, użyj komendy weryfikującej aksjomaty: upewnij się, że (F, +) jest grupą abelową z zerem, (F \ {0}, *) jest grupą abelową z jedynką, oraz że zachodzi prawo rozdzielności.

4. Do obliczenia wielomianu minimalnego elementu (np. pierwiastka z 2) względem danego ciała, użyj narzędzia SymPy z parametrem zmiennej, np. dla sqrt(2) względem zmiennej x.

5. Jeśli musisz rozwiązać równanie algebraiczne, wykorzystaj solver SymPy, podając równanie i zmienną, aby znaleźć pierwiastki i relacje algebraiczne.

6. Dla analiz wymagających bardziej zaawansowanej weryfikacji logicznej (np. dowodzenia właściwości ciała), odwołaj się do narzędzia Z3, które wspiera formalne dowody.