
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
October 8th, 2009, 03:22 PM  #1 
Newbie Joined: Oct 2009 Posts: 14 Thanks: 0  Is the set of all glidereflections a group?
Hi, Is the set of all glidereflections a group? (Note: the group was never defined in the question) I assumed that the group consisted of all isometries. This was a question on a quiz I had two weeks ago. I said it was a group. Apparently I got it wrong though, and I wanted a clarification as to why I got it wrong. Or if my TA made a mistake and I got it right. I wanted to know if the 4 axioms that define a group (identity, inverse, closed under product, and associativity) are met for the set consisting of all glidereflections. I can see how inverse and closed under multiplication are met (assuming the group consists of all isometries), but is there an identity and is it associative (remember the set consists of only all glidereflections and I assumed the group consisted of all isometries)? Side Note: In our book, it says, "The set T of all transformations of the plane, along with transformation multiplication, is a group.' It goes on to cite 4 theorems (in relation to the 4 group axioms). I used this as the backbone to me showing the 4 axioms and why I thought the set of all glide reflections is a group. Any clarification is greatly appreciated! 
October 8th, 2009, 05:47 PM  #2 
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Is the set of all glidereflections a group?
I assume the set in question is that of all ordered pairs (vector, theta) which sends a point (x, y) to (x, y) + vector then flips it about theta. With that interpretation I would say "not a group" because the identity isn't a member. As the identity is the product of two members, it's not even closed under the operation... 
October 8th, 2009, 06:54 PM  #3  
Newbie Joined: Oct 2009 Posts: 14 Thanks: 0  Re: Is the set of all glidereflections a group? Quote:
 
October 8th, 2009, 07:36 PM  #4  
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Re: Is the set of all glidereflections a group? Quote:
If you reflect a "4", there's no way to translate it to make it a "4" again. A second reflection will put it back, though.  
October 8th, 2009, 08:48 PM  #5  
Newbie Joined: Oct 2009 Posts: 14 Thanks: 0  Re: Is the set of all glidereflections a group? Quote:
let element a be the glide reflection (composed of three reflections) that takes a figure somewhere. let element b be the glide reflection (composed of the same three reflections, but in the opposite order) that takes the figure back to it's original position (b=a^1). is that possible? does that show inverse? the only thing i can't think of is an identity element (is that what you are trying to show me?), and i don't know if associativity holds or not.  
October 8th, 2009, 09:45 PM  #6 
Senior Member Joined: Oct 2007 From: Chicago Posts: 1,701 Thanks: 3  Re: Is the set of all glidereflections a group?
I think, the set of all glide reflections is a subset of all isometries. I believe the reflection is forced there needs to be one. So you do not have closure, as the composition of two will be a translation. Otherwise, an isometry is a glide reflection. Anyway, you were onto the right idea, because the set of glide reflections generates the set of isometries. (This is my basis fol assuming the issue is one of closure) Edit: Definitely an algebra problem. Moved there. 
October 9th, 2009, 03:37 AM  #7 
Senior Member Joined: Oct 2007 From: Chicago Posts: 1,701 Thanks: 3  Re: Is the set of all glidereflections a group?
I'm merging this withe the thread I moved to the algebra section. Cheers. 
October 9th, 2009, 05:06 AM  #8 
Senior Member Joined: Jun 2009 Posts: 150 Thanks: 0  Re: Is the set of all glidereflections a group?
the group of all isometries of the plane... This is made up of 4 types of maps: translations, rotations, reflections, glidereflections The set of translations is a group. The set of translations and rotations is a group. All four together form a group. But the composition of two glidereflections is in general not a glidereflection, so by themselves the glidereflections do not form a group. 

Tags 
glidereflections, group, set 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Measuring Reflections  icor1031  Algebra  8  April 3rd, 2014 04:08 PM 
glide reflection help.  joker91  Algebra  6  May 23rd, 2012 02:05 PM 
Find A Formula For These Reflections  envision  Algebra  0  October 3rd, 2009 06:31 PM 
Glide Reflection in Spherical Geometry...  TTB3  Applied Math  0  March 3rd, 2009 03:54 PM 
Is the set of all glidereflections a group?  envision  Real Analysis  1  December 31st, 1969 04:00 PM 