Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people, just like you, are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions

Determining isomorphic summetry groups

Posted on 2011-03-17
Last Modified: 2012-06-21
I have three shapes, the group for each shape is a symmetry group. I need to determine which two groups are isomorphic.

The shapes are a triangle, a square, and a four pointed star (which is essentially a square with a triangle stuck on each side).

Visually the square and the four pointed star appear to be isomorphic, but how to I show this?
Question by:purplesoup
  • 4
  • 2
LVL 37

Expert Comment

ID: 35158523
What do you mean by "the group for each shape"? Isomorphism just means "structually the same" so it kind of depends on definition. Usually, in math, things are considered isomorphic if you can "morph" one into the other without making any significant changes. With geometric shapes, I would assume that isomorphic was used to mean that they were the same regardless of scaling or rotation. So if the group is all the same except some are bigger or rotated, I would say they are isomorphic.
If the proportions or angles are different they are not.

Author Comment

ID: 35158959
I mean symmetrical operations performed on the shape - so the points of the shape are numbered, and then transformed through various axis of symmetry.

The star and the square have the same axis of symmetry so I think they are isomorphic, but I don't know what would constitute an acceptable proof for this.
LVL 37

Expert Comment

ID: 35159002
Just list the symmetrical operations required.
Free Tool: Postgres Monitoring System

A PHP and Perl based system to collect and display usage statistics from PostgreSQL databases.

One of a set of tools we are providing to everyone as a way of saying thank you for being a part of the community.

LVL 84

Expert Comment

ID: 35160541
The square and the star are both D4

Author Comment

ID: 35165999
I don't know what D4 is.

Is listing symmetrical operations a proof of isomorphism? The examples I have seen of showing two groups are isomorphic is to map each element from one group to the other group.

If listing symmetrical operations (e.g. reflections) is a good proof, the way I have seen symmetrical operations denoted is to mark them (e.g. reflections) on a diagram and label them with letters.

If this was done on both shapes, would mapping the letters of different operations be an acceptable way of showing isomorphism?
LVL 37

Accepted Solution

TommySzalapski earned 500 total points
ID: 35167586
Yes. That is how I would do it. That might not be considered a rigorous proof, but I'm positive you don't need one.
For one thing you've been using words like 'determine' and 'show' which imply that you don't need a super formal proof. Also, if the shapes aren't formally and rigorously defined then you can't anyway. The method you propose is the best (in my opinion) for this particular question.
LVL 37

Expert Comment

ID: 35167617
From http://jwilson.coe.uga.edu/EMT668/EMAT6680.2002.Fall/Nazarewicz/7210_final_2/7210_Project/index.html
An object with D4 symmetry would have four rotations, each of 90 degrees, and four reflection mirrors, with each angle between them being 45 degrees.

So since both objects have the same symmetry, they should be isomorphic. But this is an observation, not a proof, and if you haven't been given that as a tool, then you probably shouldn't use it (assuming this is an academic excercise).

Featured Post

Networking for the Cloud Era

Join Microsoft and Riverbed for a discussion and demonstration of enhancements to SteelConnect:
-One-click orchestration and cloud connectivity in Azure environments
-Tight integration of SD-WAN and WAN optimization capabilities
-Scalability and resiliency equal to a data center

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

Suggested Solutions

Title # Comments Views Activity
CAGR Calculation For SIP 13 83
Revenue table 8 108
Calculating Z-SCORE inside Excel. 4 101
Permutation and Combination - Number of selection of r things 2 22
A Guide to the PMT, FV, IPMT and PPMT Functions In MS Excel we have the PMT, FV, IPMT and PPMT functions, which do a fantastic job for interest rate calculations.  But what if you don't have Excel ? This article is for programmers looking to re…
This article provides a brief introduction to tissue engineering, the process by which organs can be grown artificially. It covers the problems with organ transplants, the tissue engineering process, and the current successes and problems of the tec…
Although Jacob Bernoulli (1654-1705) has been credited as the creator of "Binomial Distribution Table", Gottfried Leibniz (1646-1716) did his dissertation on the subject in 1666; Leibniz you may recall is the co-inventor of "Calculus" and beat Isaac…
Finds all prime numbers in a range requested and places them in a public primes() array. I've demostrated a template size of 30 (2 * 3 * 5) but larger templates can be built such 210  (2 * 3 * 5 * 7) or 2310  (2 * 3 * 5 * 7 * 11). The larger templa…

856 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question