# Thread:

1. ## counterexample, function help

Hey, I can't seem to get anywhere with this big question so if someone could work through this question with me so I understand that would be greatly appreciated.

a) If $g \in M_n$ give a counterexample to $g(x+y)=g(x)+g(y)$

b) Prove $g(\frac{1}{a}x_1 +...+ \frac{1}{a}x_a)=\frac{1}{a}g(x_1)+...+\frac{1}{a}g (x_a)$

c) Using part b, prove that if $G \le M_n$ is finite then $G$ fixes at least one element $k \in R^n$

I think for part c that if $|G|=a$, I can then pick some $x \in R^n$ and consider $x_i = h_ix$ for each element $h_1,...,h_a \in G$.
But I can't get any of part a,b or c anyway.

2. ## Re: counterexample, function help

what is $M_n$?

3. ## Re: counterexample, function help

M is the group of all rigid motions of the plane, n is dimension.

4. ## Re: counterexample, function help

do these rigid motions have to be origin-preserving? if not, then we can let g(x) = x + a, where a is any (non-origin) point in R^n.

then g(x+y) = x + y + a, whereas g(x) + g(y) = x + y + 2a.

5. ## Re: counterexample, function help

Originally Posted by Deveno
do these rigid motions have to be origin-preserving? if not, then we can let g(x) = x + a, where a is any (non-origin) point in R^n.

then g(x+y) = x + y + a, whereas g(x) + g(y) = x + y + 2a.
well M is the coarsest classification of orientation-preserving and orientation-reversing motion, and g(x)=x+a is a translation and thus, orientation-preserving. So you answer makes perfect sense, thanks.

Any thoughts on part b and c?

6. ## Re: counterexample, function help

I have thought of an approach for part c, but it does not use part b.

Any help here.

Thanks

7. ## Re: counterexample, function help

I have thought of doing it like [tex]g(\frac{1}{a}
sorry gys my computer is stuffing up and my working is wrong, any help

8. ## Re: counterexample, function help

If G is finite then every element of G must be a rotation or a reflection. So I get the rough idea behind part c, but I can't get part b.

Any help at all?
Thanks
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 11, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8519014716148376, "perplexity_flag": "middle"}