Matematyka.pl

No to teraz ja zapytam się o to, czy poniższa struktura jest grupą:
\(\displaystyle{ G\, =\, \mathbb{R}\times\mathbb{R}}\) z działaniem
\(\displaystyle{ (x,y)*(x',y')\ = \ (x+x',y+y'+x\cdot x')}\)

Jeśli jest, to
2. wyznaczyć element neutralny,
3. podać wzór na element odwrotny,
4. sprawdzić, czy jest przemienna oraz...
5. ... czy istnieją nietrywialne podgrupy skończone.

Pozdrawiam

\(\displaystyle{ (x,y)^{-1} = (-x,x^2-y)}\) , \(\displaystyle{ e=(0,0)}\)

... a co z punktami 4. i 5.?

przemiennosc widac ze tak! podgrupy skonczonej na razie nie widze, ale pomysle jeszcze....

mol_ksiazkowy pisze:podgrupy skonczonej na razie nie widze, ale pomysle jeszcze....

... wydaje mi się (tj. jestem prawie pewien), że takowej nie ma ...
Wskazówka: Jeśli jest podgrupa skończona, to musi istnieć element skończonego rzędu...

Sir George napisał:

... wydaje mi się (tj. jestem prawie pewien), że takowej nie ma ...
Wskazówka: Jeśli jest podgrupa skończona, to musi istnieć element skończonego rzędu...

racja, takowy zas nie istnieje , fajny przykład