Dowód o grupie abelowej - proszę o pomoc
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Dowód o grupie abelowej - proszę o pomoc
Proszę o pomoc w zadaniu!
Element \(\displaystyle{ e}\) jest dla grupy \(\displaystyle{ (G, \cdot )}\) neutralnym.
Uzasadnij, że jeśli dla każdego \(\displaystyle{ a}\) z \(\displaystyle{ G}\) zachodzi \(\displaystyle{ a \cdot a = e}\) to grupa jest abelowa.
Wiem, że grupa abelowa różni się od grupy tym, że w niej działanie musi być przemienne, jednak nie mam pomysłu na to, co tu zrobić. Dzięki z góry za wszelką pomoc
Element \(\displaystyle{ e}\) jest dla grupy \(\displaystyle{ (G, \cdot )}\) neutralnym.
Uzasadnij, że jeśli dla każdego \(\displaystyle{ a}\) z \(\displaystyle{ G}\) zachodzi \(\displaystyle{ a \cdot a = e}\) to grupa jest abelowa.
Wiem, że grupa abelowa różni się od grupy tym, że w niej działanie musi być przemienne, jednak nie mam pomysłu na to, co tu zrobić. Dzięki z góry za wszelką pomoc
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Hmm trochę nad tym myślę, próbowałam rozpisać, ale nic tutaj nie widzę...
\(\displaystyle{ a \cdot b \cdot a \cdot b }\) jakbym udowodniła, że z tym warunkiem z zadania jest to to samo co \(\displaystyle{ b \cdot a \cdot b \cdot a}\) to byłoby udowodnione, że jest przemienne, ale nie wiem wciąż jak
Próbowałam wstawić do środka \(\displaystyle{ e}\), jakoś \(\displaystyle{ a \cdot e \cdot b \cdot a \cdot b}\) i coś kombinować, ale nie wychodzi. Myślę, że na pewno trzeba skorzystać z tego, że \(\displaystyle{ a \cdot a = b \cdot b = e}\)
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Dziękuję, chyba mam!
Czy to powinno być tak?
Dowód nie wprost:
Załóżmy, że \(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \neq (a \cdot b) \cdot (b \cdot a) }\)
Wtedy \(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \neq a \cdot (b \cdot b) \cdot a }\)
\(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \neq a \cdot e \cdot a}\)
\(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \neq a \cdot a}\)
\(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \neq e}\)
\(\displaystyle{ e \neq e}\)
sprzeczność
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Działanie w grupie abelowej musi być przemienne, więc założyłam, że nie jest przemienne i wyszła sprzeczność, więc jest przemienne.
Chyba, że lepszym dowodem byłoby po prostu...
\(\displaystyle{ (a \cdot b) \cdot (a \cdot b) = e }\) (z założeń zadania)
\(\displaystyle{ (b \cdot a) \cdot (b \cdot a) = e }\) (z założeń zadania)
więc \(\displaystyle{ a \cdot b \cdot a \cdot b = b \cdot a \cdot b \cdot a }\)
działanie jest przemienne, więc to grupa abelowa
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Że jest to grupa abelowa, czyli grupa, w której działanie \(\displaystyle{ " \cdot " }\) jest przemienne
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Dla dowolnego \(\displaystyle{ a, b \in G }\) zachodzi \(\displaystyle{ a \cdot b = b \cdot a}\)
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
\(\displaystyle{ abab = (ab)(ab) = e}\)
Ostatnio zmieniony 23 sty 2021, o 21:23 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- Użytkownik
- Posty: 28
- Rejestracja: 25 lip 2018, o 11:32
- Płeć: Kobieta
- Lokalizacja: Polska
- Podziękował: 5 razy
Re: Dowód o grupie abelowej - proszę o pomoc
Kurcze, przepraszam, dalej nie wiem..
Mnożę to przez \(\displaystyle{ a}\) to dostaję
\(\displaystyle{ (a \cdot b) \cdot (a \cdot b) \cdot a = e \cdot a}\)
Coś takiego. Co teraz?