User:IssaRice/Generators and relations of dihedral groups - Revision history

IssaRice at 06:06, 1 January 2020

2020-01-01T06:06:46Z

← Older revision		Revision as of 06:06, 1 January 2020
Line 10:		Line 10:
	For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

	Why is it obvious that x and y generate the group? the vertices of the n-gon have to come in order, so there is a clockwise version and a counter-clockwise version to order the vertices, and a reflection can take us between them. then for each case, all we can do is decide where the first vertex lands -- once we do that, everything else has to count up (in either clockwise or counter-clockwise direction). there are n choices for the first vertex. so there are 2n total symmetries.		Why is it obvious that x and y generate the group? the vertices of the n-gon have to come in order (otherwise you are disfiguring the n-gon somehow), so there is a clockwise version and a counter-clockwise version to order the vertices, and a reflection can take us between them. then for each case, all we can do is decide where the first vertex lands -- once we do that, everything else has to count up (in either clockwise or counter-clockwise direction). there are n choices for the first vertex. so there are 2n total symmetries.

IssaRice at 05:57, 1 January 2020

2020-01-01T05:57:13Z

← Older revision		Revision as of 05:57, 1 January 2020
Line 10:		Line 10:
	For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

	Why is it obvious that x and y generate the group? the vertices of the n-gon have to come in order, so there is a clockwise version and a counter-clockwise version to order the vertices, and a reflection can take us between them. then for each case, all we can do is decide where the first vertex lands -- once we do that, everything else has to count up (in either clockwise or counter-clockwise direction).		Why is it obvious that x and y generate the group? the vertices of the n-gon have to come in order, so there is a clockwise version and a counter-clockwise version to order the vertices, and a reflection can take us between them. then for each case, all we can do is decide where the first vertex lands -- once we do that, everything else has to count up (in either clockwise or counter-clockwise direction). there are n choices for the first vertex. so there are 2n total symmetries.

IssaRice at 05:55, 1 January 2020

2020-01-01T05:55:00Z

← Older revision		Revision as of 05:55, 1 January 2020
Line 9:		Line 9:

	For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

			Why is it obvious that x and y generate the group? the vertices of the n-gon have to come in order, so there is a clockwise version and a counter-clockwise version to order the vertices, and a reflection can take us between them. then for each case, all we can do is decide where the first vertex lands -- once we do that, everything else has to count up (in either clockwise or counter-clockwise direction).

IssaRice at 05:46, 1 January 2020

2020-01-01T05:46:22Z

← Older revision		Revision as of 05:46, 1 January 2020
Line 8:		Line 8:
	* <math>i_3\ne 0</math> -- we have <math>x^{i_1}y^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. by an <math>i_2</math>-times application of the relation <math>yx =xy^{n-1}</math>, we get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.		* <math>i_3\ne 0</math> -- we have <math>x^{i_1}y^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. by an <math>i_2</math>-times application of the relation <math>yx =xy^{n-1}</math>, we get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.

	~~for~~ a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		For a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers by the algorithm above. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

IssaRice at 05:45, 1 January 2020

2020-01-01T05:45:07Z

← Older revision		Revision as of 05:45, 1 January 2020
Line 6:		Line 6:

	* <math>i_3=0</math> -- we have <math>x^{i_1}y^{i_2}y^{i_4}</math>, and this simplifies to <math>x^{i_1}y^{i_2 + i_4}</math>. now just use <math>y^n=e</math> to simplify.		* <math>i_3=0</math> -- we have <math>x^{i_1}y^{i_2}y^{i_4}</math>, and this simplifies to <math>x^{i_1}y^{i_2 + i_4}</math>. now just use <math>y^n=e</math> to simplify.
	* <math>i_3\ne 0</math> -- we have <math>x^{i_1}y^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. ~~use~~ the relation <math>yx =xy^{n-1}</math> ~~<math>i_2</math> times to~~ get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.		* <math>i_3\ne 0</math> -- we have <math>x^{i_1}y^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. by an <math>i_2</math>-times application of the relation <math>yx =xy^{n-1}</math>, we get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.

	for a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		for a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

IssaRice at 05:41, 1 January 2020

2020-01-01T05:41:54Z

← Older revision		Revision as of 05:41, 1 January 2020
Line 6:		Line 6:

	* <math>i_3=0</math> -- we have <math>x^{i_1}y^{i_2}y^{i_4}</math>, and this simplifies to <math>x^{i_1}y^{i_2 + i_4}</math>. now just use <math>y^n=e</math> to simplify.		* <math>i_3=0</math> -- we have <math>x^{i_1}y^{i_2}y^{i_4}</math>, and this simplifies to <math>x^{i_1}y^{i_2 + i_4}</math>. now just use <math>y^n=e</math> to simplify.
	* <math>i_3\ne 0</math> -- we have <math>xy^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. use the relation <math>yx =xy^{n-1}</math> <math>i_2</math> times to get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.		* <math>i_3\ne 0</math> -- we have <math>x^{i_1}y^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. use the relation <math>yx =xy^{n-1}</math> <math>i_2</math> times to get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.

	for a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.		for a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.

IssaRice: Created page with "problem II.2.5 (p. 57) in Aluffi's Algebra: Chapter 0. As suggested by the hint, take $x$ to be a reflection through the center and some vertex, and $y$ ..."

2020-01-01T05:40:59Z

Created page with "problem II.2.5 (p. 57) in Aluffi's Algebra: Chapter 0. As suggested by the hint, take <math>x</math> to be a reflection through the center and some vertex, and <math>y</math>..."

New page

problem II.2.5 (p. 57) in Aluffi's Algebra: Chapter 0.

As suggested by the hint, take <math>x</math> to be a reflection through the center and some vertex, and <math>y</math> to be a counter-clockwise rotation of <math>2\pi/n</math>. Doing the same reflection puts the n-gon back in place, so <math>x^2 = e</math>, and rotating <math>n</math> times also puts the n-gon back in place, so <math>y^n = e</math>. Finally, doing the suggested hand trick suggests <math>xyxy=(xy)^2=e</math> (here we start applying the operations on the left, so this is the opposite of the usual functional application notation). But written in this form, it's not so obvious that this all we need to determine the group. So it would be nice if we could convert <math>(xy)^2=e</math> to an expression involving <math>yx</math> on one side (this allows us to flip x and y whenever they appear in the wrong order). Playing around, we get <math display=block>\begin{align}x(xyxy)y^{n-1} &= x(e)y^{n-1} \\ (x^2)(yx)y^{1 + n-1} &= xy^{n-1} \\ yx &=xy^{n-1}\end{align}</math>

Now given <math>x^{i_1}y^{i_2}x^{i_3}y^{i_4}</math>, we can simplify the powers on x using <math>x^2=e</math> and the powers on y using <math>y^n=e</math>, so we can assume we've done that, and are left with a power of 0 or 1 on each x, and a power that's some integers in <math>[0,n)</math> on the y. splitting into cases based on <math>i_3</math>:

* <math>i_3=0</math> -- we have <math>x^{i_1}y^{i_2}y^{i_4}</math>, and this simplifies to <math>x^{i_1}y^{i_2 + i_4}</math>. now just use <math>y^n=e</math> to simplify.
* <math>i_3\ne 0</math> -- we have <math>xy^{i_2}xy^{i_4}</math>. focus on <math>y^{i_2}x</math>. use the relation <math>yx =xy^{n-1}</math> <math>i_2</math> times to get <math>xy^{i_2(n-1)}</math>. for example, if <math>i_2=3</math>, we would have <math>y^3x = y^2(yx) = y^2 (xy^{n-1}) = y(yx)y^{n-1} = y(xy^{n-1})y^{n-1} = (yx)y^{2(n-1)} = (xy^{n-1})y^{2(n-1)} = xy^{3(n-1)}</math>. so in the end we get <math>x^{i_1}y^{i_2}xy^{i_4} = x^{i_1}xy^{i_2(n-1)}y^{i_4}</math>. now simplify using the rules involving just x and y.

for a product involving more than four powers of x and y, just work on it four powers at a time. do the first four, which turns into just two powers. then bring in the next two, and simplify using the same algorithm above. then the next two, and so on. if the final power has just x, we can always pretend y has exponent 0.