grupa...?

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 13 wrz 2006, o 15:25

zbadaj, czy struktura złozona z wszystkich par dwoch róznych liczb rzeczywistych..., z działaniem określony poniżej jest grupą...? Jesli tak, to znajdz element neutralny, odwrotny...., zbadaj abelowość, oraz znajdż o ile to możliwe nietrywialna podgrupę skończoną.

boo007 · Post autor: **boo007** » 13 wrz 2006, o 15:52

mol_ksiazkowy pisze: z działaniem określony poniżej jest grupą...?

jakoś nie widzę tego działania

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 13 wrz 2006, o 18:20

\(\displaystyle{ (x, y)*(x', y') = (xx' + yy', xy' + x'y)}\)

boo007 · Post autor: **boo007** » 13 wrz 2006, o 20:49

Trochę pisania jest, a ja nie mam czasu, zostala mi do sprawdzenia łączność i element odwrotny (na kartce). I na końcu nietrywialna podgrupa skończona. Zrobię po niedzieli ( jak zdąże przed kimś innym ).

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 13 wrz 2006, o 21:01

ok, spoko, napisz co masz, tj element neutralny, wzor na odwrotny no i czy to działanie jest poprawnie określone, abelowosc bedzie?, a jest podgrupa rzedu dwa , moze i inne...?!

boo007 · Post autor: **boo007** » 13 wrz 2006, o 22:14

Sprawdzam, czy działanie nie wykracza poza zbiór:
(x, y) i (x', y') należą do grupy
\(\displaystyle{ (x, y)*(x', y') = (xx' + yy', xy' + x'y)}\)
Jeśli działanie nie wykracza poza zbiór to spełnione jest:
xx' + yy'≠ xy' + x'y
czyli
x(x'-y') ≠ y(x'-y')
x≠y i x'≠y'

Element neutralny to (1,0)

Element odwrotny, szukam elementu odwrotnego do (a,b), korzystam z tego, że \(\displaystyle{ (a,b)*(a,b)^{-1}=e}\)
\(\displaystyle{ (a,b)^{-1}=(x,y)}\)
\(\displaystyle{ (a, b)*(x, y) = (ax + by, ay + xb) =(1,0)}\)
\(\displaystyle{ (x,y)=(\frac{a}{a^2-b^2},\frac{-b}{a^2-b^2})}\)

Łączność
\(\displaystyle{ ((x, y)*(x', y'))*(a,b) = (xx' + yy', xy' + x'y)*(a,b)=\\=(axx'+ayy'+bxy'+bx'y,axy'+x'ya+bxx'+byy')=\\=(x,y)*(ax'+by',ay'+bx')=(x,y)*((x',y')*(a,b))}\)

Czyli jest to grupa.

Abelować będzie (wystarczy zamienić primy w definicji działania

)

Podgrupa może po niedzieli.

ps. zadanko takie jakby "zespolone"

Sir George · Post autor: **Sir George** » 14 wrz 2006, o 12:49

Moje trzy grosze...

Zauważ, że odwzorowanie \(\displaystyle{ (x,y)\, \mapsto \, ft(\begin{array}{cc}x&y\cr y&x\end{array} \right)}\)
jest homomorfizmem w grupę macierzy 2x2 z mnożeniem...

[ Dodano: 14 Wrzesień 2006, 16:36 ]
a propos nietrywialnej podgrupy skończonej: widać, że tworzy ją np. zbiór: \(\displaystyle{ \left\{\, (1,0)\, , \, (0,1)\, \right\}}\).

Pozdrawiam...

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 14 wrz 2006, o 21:07

ok!!, i takze \(\displaystyle{ H=\left\{\, (1,0)\, , \, (-1,0)\, \right\}}\).

Sir George · Post autor: **Sir George** » 15 wrz 2006, o 14:23

Hmm... jest problem: jaki jest element odwrotny do (1,-1) ?

IMHO to nie jest grupa...

boo007 · Post autor: **boo007** » 15 wrz 2006, o 16:12

tak to jest jak się robi zadania dzień przed egzaminem

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 15 wrz 2006, o 16:36

oj! heh... to moze wezmy ....\(\displaystyle{ G=\{(x,y): |x| |y|} |}\)bedzie ok?!

Sir George · Post autor: **Sir George** » 15 wrz 2006, o 17:36

mol_ksiazkowy: taajest, to jest myśl... a dokładniej \(\displaystyle{ x^2-y^2 \, \, 0}\)

(co widać z reprezentacji macierzowej)

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 20 wrz 2006, o 11:57

boo07 napisał:

ps. zadanko takie jakby "zespolone...

no wlasnie, ale we wzorze na element odwrotny jest "minus"a nie plus, i stad te małe klopoty...