Talk:Wallpaper group

Re: Guide to recognising wallpaper groups

At least for me, the biggest difficulty is recognizing which part of the pattern is the tile. After that, finding out the group is much easier. So maybe we should add a paragraph on how to identify the tile, ideally with example(s). Trapolator 04:03, 6 Jun 2005 (UTC)

Re: Illustrating plane isometries

A simple, easily remembered, illustration of plane isometries requires no images, merely a geometric sans-serif font.

• [d  ] Identity
• [dp] Rotation
• [dd] Translation
• [db] Reflection
• [dq] Glide reflection

I used this in the Isometries as reflections section of Euclidean plane isometry. KSmrq 14:00, 8 Jun 2005 (UTC)

regarding the recent makeover of this page

I have completely redone the wallpaper group page. I borrowed some pics and links but most of the text is new. Also there is LOTS of art.

I expanded the section on euclidean plane isometry-ies and moved it into its own article. It has some material in common with Coordinate rotations and reflections. I believe these articles could be profitably merged.

Things to do include:

• stuff on the "to do" list later on this discussion page
• still need to finish labelling the example patterns of Wallpaper group; I've only done the first few. I will finish this off in the next few days. I don't suppose anyone else will have much luck with it; I happen to have the book "Grammar of Ornament" here with me.
• there should be a discussion of lattices somewhere.
• the "stub" bits need to be filled out, especially relationship between informal and formal approaches. I've noticed the text is not very explicit on that point as it stands.
• needs pretty pictures illustrating the various types of euclidean isometries.
• needs REFERENCES

Dmharvey Talk 17:02, 4 Jun 2005 (UTC)

request for photographs of wallpaper groups

cmm pattern

p4g pattern

I hereby initiate a project to collect photographs illustrating the 17 wallpaper groups. (See examples to the side).

These patterns are used in all kinds of artistic situations, especially in architecture (bricks, tilings, pavings, etc) and in decorative art.

I am looking specifically for photographs. The article already has some "diagrammatic" representations, but I think the article could be made far more appealing if we show examples that people are familiar with in everyday life, and examples with artistic/aesthetic merit.

Also, in the next month or so, I intend to edit this article so it becomes more accessible to the non-mathematically inclined. It is an excellent example of a mathematical article that could have wide appeal.

Please deposit links to the images on this discussion page. When there are sufficiently many, I will put them in the article proper.

When you add an image, please try to identify which of the 17 patterns it corresponds to (see article), and include it in the filename. Please try to match the filename conventions I have used above. Also, give some indication in the comment field of the source of the image (e.g. "pattern on the oval office ceiling"). We might as well keep reasonably high-res versions available (the examples I have given are approx 1MB jpegs).

Make sure your photo includes a few "cells", so that the repetitive nature of the pattern can be easily seen. If possible, try to rotate the image into a sensible orientation, and make sure the brightness/saturation etc is reasonable. (I can do this myself if need be.)

Note that it is virtually impossible to get an exact representation. For example, in the p4g photo shown here, some of the tiles are slightly orange-coloured, in a manner not strictly matching the p4g description. But it's pretty close, and gets the general idea across.

If you think you can improve on one of the images already present, please go ahead! Call it for example "Wallpaper_group-cmm-2.jpg", etc.

I have made a small beginning with some of the easy ones, from my bathroom and garage (see thumbs).

Thank you so much. Dmharvey 21:32, 31 May 2005 (UTC)

other stuff to do

• historical links to follow up at http://www.mi.sanu.ac.yu/vismath/ana/ana6.htm, would be nice to include some of this
• need a page on the crystallographic restriction theorem, i.e. why is it that the only allowable rotations are of order 2, 3, 4, or 6. Also cover higher dimensional cases involving totient function.
• would be nice eventually to have a (possibly informal) discussion on how to prove that there are exactly 17 groups
• need an informal discussion of when two groups are considered isomorphic. After all it may be difficult for someone without group theory background to recognise why two completely different looking patterns are actually "the same", or why two similar looking patterns are actually "different".
• I think there is some kind of concept of geometric isomorphism which is a priori different from isomorphism as abstract groups; although if I recall correctly it turns out that they are the same concept; i.e. all the 17 groups are non-isomorphic even abstractly.
• would be nice if this article was more in sync with the frieze groups article.

Discrimination table

Although the text said the following table explained how to decide which group to assign to a pattern, a list was used. The list was compact in the source, but seemed awkward on the page. To try to make the decision tree easier to read, I have created a version as a table with nested tables. In an abundance of caution, should others violently disagree with the wisdom of this, I have left the previous list version in the source, commented out. Admittedly, just shuffling the deck chairs. :-) KSmrq 02:17, 11 Jun 2005 (UTC)

Thanks KSmrq, I think your table is a vast improvement in legibility. I might come back soon and change some of the labels/terminology in the table, to more closely match that used in the discussion earlier in the article. Dmharvey Talk 11:22, 23 Jun 2005 (UTC)

The most uncomfortable terminology is "rotocenter"; but alternatives sprawled out of control, so I stuck with it. Substitute "center of rotation" and you'll see what I mean. Incidentally, I found it much harder to format a table like this in Wikipedia syntax than I would in XHTML/CSS2. Admittedly, part of that was climbing the learning curve. KSmrq 05:43, 26 Jun 2005 (UTC)

Hey what happened to the table? It used to have grid lines, where did they go? Looked much better before. Dmharvey Talk 28 June 2005 16:15 (UTC)

Grid lines show up for me. Could be your browser or the new WikiMedia software. The lines do assist readability. 68.63.244.30 28 June 2005 17:23 (UTC)

orbifold notation examples

Hi KSmrq, are you sure the "cmm" example for the orbifold notation is correct? I find that after following your instructions for the first three symbols 2*2, I am already forced to have the entire cmm group, so it is not true that the last 2 represents an independent rotation. Dmharvey Talk 28 June 2005 18:07 (UTC)

Also could you please fix up the text to clarify exactly how the terms dihedral and cyclic are used in this context. Dmharvey Talk 28 June 2005 18:07 (UTC)

Sorry, I didn't notice your questions until now. I have added links for dihedral and cyclic, which may help a little.

As for cmm and 2*22, look at the fundamental region. (Tess is handy for this.) On its border we see three rotation centers, none of which is a symmetry image of the others. (I've modified the text a little to clarify.) One of them lies on a glide reflection axis intersection but not any mirror axis. The other two lie on intersecting 45° mirror axes.

Using the idea of a fractional Euler characteristic we can count the contribution of each notated feature. The first "2" counts as 1/2; the "*" counts as 1; and each following "2" counts as 1/4. The sum is exactly 2, as is required for a wallpaper orbifold. In fact, I've been contemplating filling the "proof of 17" stub with this idea, but am a little worried about the background required. The rule is that "n" before a "*" or "x" counts as (n−1)/n; after, half that. Both "*" and "x" themselves count as 1, and "o" counts as 2. So 4*2 (p4g) adds up as 3/4 + 1 + 1/4. Similarly, 3*3 (p31m) yields 2/3 + 1 + 1/3. KSmrq 10:51, 2005 July 25 (UTC)

Diagrams on Commons

p4mm as an example

I'm currently working on a german version of this article. For this, I created a new set of diagrams. As those images are on Wikimedia Commons, you could include them here as well. The diagrams are somewhat different than the ones currently used.

Main Advantages in my opinion are:

• Different equivalence classes of symmetry elements are colored (and rotated) differently
• Higher resolution, available as SVG as well
• F-shaped tile mark

I often use a smaller cell, which might not be rectangular in some cases, and which might also cut elemental cells in half. I do this because I think smaller cells are more intuitive, but if there is a reason why the diagrams as currently listed are better, I'd perhaps change my diagrams as well. What do you think?

If someone is interested in the XML and XSLT I used to create those images, I'm willing to release them under GPL, so feel free to ask. But beware, It's a crude job in some places, so don't expect too much.

Your diagrams are a huge improvement. I would definitely like them included in the english version, in fact to replace the current diagrams. Actually, I have a bigger job in mind: I think the "illustrations from architecture and art" need a separate page, with plenty of cross linking back and forth. Something like Wallpaper group (examples). Besides, I have a whole heap of further such examples sitting on my computer, waiting to be cleaned up. Unfortunately I don't have time right now to work on this, but please feel free to go ahead and start doing it, if you feel so inclined. Dmharvey Talk 19:59, 22 July 2005 (UTC)

Thank's for the praise. I will gladly exchange the existing images for my own, but as wikimedia servers are somewhat instable at the moment, I will do so probably next week. I was thinking about an extra examples page as well. As examples would need very little language specific text and would thus apply to all languages, perhaps such an example page would best be located on Commons as well. The images should be moved there in any case, I believe. I think I can do this as soon as I get access to the Commons bulk File upload service. -- Martin von Gagern 22:58, 22 July 2005 (UTC)

I agree that the example images should be on Commons. (I apologise for not uploading them there myself to begin with. I will do so from now on.) However, I think there should be a separate example pages on each wikipedia. The article should be part of the encyclopaedia(s) after all. Dmharvey Talk 13:30, 23 July 2005 (UTC)

I think it is sometimes helpful to have both versions, showing sometimes a different orientation, a different choice of fundamental domain, etc.--Patrick 22:46, 25 July 2005 (UTC)

Yes, the new pictures are an improvement; well done.

Coincidentally, I've recently discovered Tess is a wonderful tool for making symmetry examples, and wanted to make a new set of small images, based on "d" rather than "F". (I use "d" already on the Euclidean plane isometry page, for a few reasons.) The idea was to have a visible mnemonic; I cannot look at either Hermann-Mauguin or Conway notation and immediately picture the symmetry, and I'm sure many readers will have the same problem and thus appreciate a visual hint now and then. Especially, I thought it would be nice to accompany the classification table, so we can see all the patterns together.

An idea that just occurs to me is to trim my hints to the fundamental regions. That works nicely with Conway notation, keeps them small, and perhaps avoids duplication. I'm not sure the new pictures will work at the tiny size (inline?!) I'm contemplating. It might be nice to depict an orbifold instead of a fundamental region, but that's a graphics challenge. Meanwhile, using different colors for non-isomorphic features (centers, axes) may suffice.

One subtlety is that some of the groups allow axes of different lengths, and possibly at arbitrary angles; I'd like that depicted.

The examples themselves look clean to me, but the (old?) key looks like a crude scan, not SVG quality. Also, it doesn't quite visually match the images. It may be a temporary server problem, but p4g, p4m, and p6m are missing for me. KSmrq 11:50, 2005 July 25 (UTC)

The legend images are old, I think they have been removed some day, but for now, I think they are better than having just text describing the symbols.--Patrick 22:37, 25 July 2005 (UTC)

Re missing images: I fixed that, it was due to the use of group names with an extra m at the end.--Patrick 22:37, 25 July 2005 (UTC)

The files need to be uploaded to Commons with the correct name, and use of the alternate template removed. Otherwise consistency of the page becomes hard to maintain. I found this a problem when I tried to give all the images a descriptive tag, as web standards require. For the heck of it, I used the Conway notation, and found some minor issues: As I understand it, x should always come last, and should be lower case. KSmrq 06:10, 2005 July 26 (UTC)

I believe I read my notation with the additional m in some book as well, but I would not bet on this. I uploaded the files as SVG and used your naming scheme for this. So once the images can be migrated to use SVG, names would match notation. But before this can happen, MediaWiki bugs #5109 and #5110 need to be fixed. Otherwise, the proportions of the images are incorrect and the lines of glide reflection not dashed. I also fixed an error in the cm image pointed out by Patrick. If things turn out well, I might even get around to do SVG versions of the legend images. -- Martin von Gagern 01:40, 27 February 2006 (UTC)

It looks like this discussion ended somewhere in early 2006, but the article has been left in a state where every group has two different "cell diagram" images. Using one or the other would clean up and shorten the article. -LesPaul75_talk 22:18, 15 March 2011 (UTC)

I agree that the article is too long, and some of the images are poor. This is most true of the "computer-generated" images, which are sometimes hard to make out - I feel they should all be removed. Some of the other images are in my view too small-scale, with too many repeats - these could easily be improved, by constructing "zoomed-in" versions of them. Maproom (talk) 10:04, 16 March 2011 (UTC)

I went ahead and replaced the old "cell structure" images with the newer SVG versions. I also think you're right about the "computer-generated" images. They don't add much to the article beyond what the "cell structure" images already illustrate. -LesPaul75_talk 17:58, 21 March 2011 (UTC)

Shapes and colours?

Someone added the following:

Sometimes two categorizations are meaningful, one based on shapes and one also on colors.

No further explanation is given. I don't understand what is meant. Please expand or I will remove it. Thanks Dmharvey Talk 11:19, 24 July 2005 (UTC)

E.g. a red p and a black q can together form a symmetric image, but only if we ignore color.--Patrick 23:42, 24 July 2005 (UTC)

Similarly, ignoring colors the image shown is p4, otherwise p2, I think.--Patrick 23:47, 24 July 2005 (UTC)

Orientation of diagram vs. that of computer-generated images

It is a little confusing that the orientation of the diagram is sometimes different from that of the computer-generated image.--Patrick 10:49, 25 July 2005 (UTC)

The computer generated images are pretty much the only things left from the previous incarnation of this page. I don't mind if they disappear, especially if they get replaced by something matching the diagrams. Dmharvey Talk 18:11, 25 July 2005 (UTC)

Fidgeting

When I filled in the section on orbifold notation, I used the spelling "center". The rest of the article uses "centre", so I changed to that everywhere. Also, the word "rotocenter" was used in several places, and I changed that to "rotation centre", for both clarity and consistency. In the classification table, I changed my original "rotocenter" to "rot. centre"; it's not quite so pretty, but may be easier to understand — and it still fits.

The constant use of quotation marks around group names like "p3m1" seemed distracting in an article that uses them so often, so I switched to either italics or boldface, depending on context.

I promise, to atone for this silly fidgeting I will fill in another section stub. :-) KSmrq 11:37, 2005 July 26 (UTC)

Enumeration proof stub filled

Done! I'm not thrilled with my effort, but I sketched the pretty orbifold approach to enumerating the groups. My hunch is that a really satisfying, accessible, and complete proof through any route would be too long. Instead, I have inserted a provocative handwave. Is it ideal? Doubtful. Is it better than nothing? I hope so.

One benefit is that anyone can enumerate the groups, and can do a sanity check on orbifold notation. For example, is 2*2 a wallpaper group? No, the sum is 1/2+1+1/4, which is too small. Is 444 a wallpaper group? No, the sum is 3/4+3/4+3/4, which is too large. I know of no easy sanity check on crystallographic notation.

However, this topological approach offers no geometric insight. Most of the pleasure of wallpaper groups is in the geometry, and we often use them as a stepping stone to the full 3D crystallographic space groups. Sadly, I haven't found a way to condense a geometric approach to any acceptable length.

Caveat: I have not myself fully absorbed the orbifold ideas, thus I may not present them as they deserve.

But I do like filling the stub. :-) KSmrq 10:22, 2005 July 27 (UTC)

Something that isn't clear to me is why are 2,3,4,6,*,x,o the only "features" allowed? I can buy that once you restrict yourself to these, there are only 17 combinations that add up to 2 with that formula... but I'm left scratching my head as to whether we've missed possible wallpapers because of left out a "feature", called 'f', for example, so that 2f2 could be another wallpaper group. —Preceding unsigned comment added by 129.105.122.208 (talk) 15:53, 15 July 2010 (UTC)

Crystallographic notation

I would greatly appreciate another set of eyes on the description I've written of crystallographic (Hermann-Mauguin) notation. Have I told any lies? Is there a better way to explain it? What pictures, if any, should be added?

Anyway, the section is finally filled. (That's two in two days!) Enjoy. KSmrq 20:32, 2005 July 27 (UTC)

It says "Here are all the names" and then 11 groups are listed.--Patrick 00:01, 29 July 2005 (UTC)

Thanks. I had copied the table from another site, not realizing it was incomplete. (Tess uses these pairs.) I have already fixed that problem, but it raised a question perhaps you understand. The group p2 is listed as short for p211, but p1, p3, p4, and p6 are different. Why is p6 not short for p611; or should it be? KSmrq 11:39, 2005 July 29 (UTC)

Thanks. I don't know.--Patrick 19:54, 29 July 2005 (UTC)

I see you found something to say about the distinction between p and c cells. Sadly, after reading it several times in context I still found it more confusing than helpful. The phrase you replaced does trouble me as well, being little more than a handwave. Honestly, we may never be able to say enough in a single short sentence. For now, your new material is commented out.

Ideally, any explanation should make sense in 3D as well, since this is crystallographic notation. (In 3D we have more cell types and the idea of closest-packing structures.) Part of the problem is that no rhombus is visible in the diagram(s) for cmm. Another is that the notation discussion considerably precedes the diagrams. Actually [sic], I have little confidence I could look at a pattern or its distilled cell and be able to apply the sentence, which bodes ill for our readers.

I vaguely remember that years back I sorted out something plausible and coherent for 3D, but I've not taken the time to try to resurrect it. One way to look at it is to imagine taking that rhombus as a p cell, then trying to notate the other symmetries; the whole 2-axis notation system falls apart. The central idea is not that the primitive cell has equal sides (a rhombus), but that the symmetries don't align with the cell sides. We'd have a problem empirically confirming a rhombus (from measurement error in lengths and angles); less so the symmetries. KSmrq 13:39, 2005 August 2 (UTC)

I think the figures of cm and cmm should show a rhombus, as I indicated on commons:Image talk:Wallpaper group diagram cmm.png; that is the smallest possible cell that is repeated by translation, while, as usual, having the translation vectors as its sides.--Patrick 22:33, 2 August 2005 (UTC)

The cm figure has a rhombus that is visible, though subtle. The cmm figure has no visible rhombus. On close inspection I can imagine that one is indicated by a darker shade of gray interspersed with the dots of the glide axes and hidden behind the cell boundaries, but that's rather close to a "polar bear in a snowstorm".

I've introduced an extended description of the cell distinction, split out as a separate paragraph. KSmrq 04:16, 2005 August 3 (UTC)

I don't know what you are trying to say: either that the groups have little to do with a rhombus, or that you agree that the figures should (more clearly) show a rhombus.--Patrick 07:14, 3 August 2005 (UTC)

Ah. First, the captions for cm and cmm refer to a rhombus, which is essentially invisible for cmm. If any text, whether caption or otherwise, is to refer to the rhombus, it should be visible. I believe a diamond shape will work for cmm as it did for cm, which might suffice.

The caption provisionally compensates for what is missing in the diagram. I have clarified it further. Surely you don't mean that important info missing from an image should also be missing from the text?--Patrick 20:32, 3 August 2005 (UTC)

Yes, the new caption helps. And, yes, I do mean the text should not refer to an invisible feature. If you feel that the information is important, and are not swayed by the reservations I expressed, then I expect you will want to amend the image and then augment the text. Remember, the previous attempt left me scratching my head in puzzlement, and I'm someone helping edit the article, not someone who knows nothing about wallpaper groups trying to read it. Are you incredulous, or confused, or something else with regard to my comments? Because I feel like I'm just repeating myself, which probably isn't that helpful. KSmrq 23:07, 2005 August 3 (UTC)

Second, the discussion of notation no longer refers to a rhombus, for reasons I gave above. If the cmm figure is modified, we then have the option to discuss that aspect of c cells. I'm all for visual references, so long as the language is clear and helpful. Unfortunately, the clause you introduced seemed (to me) to be confusing for discrimination and silent for explanation. For all I know, mine may seem the same for you! KSmrq 17:58, 2005 August 3 (UTC)

Another thing: "translation vector" seems clearer and more common than "translation axis" ("axis" is used for reflection and for 3D rotation, and for a line in the center). Also, there are two, but without explanation one is referred to as the "main". That seems odd.--Patrick 06:13, 4 August 2005 (UTC)

Thanks; good catch. Crystallography has conventions for choosing these axes, and choices for the cell origin as well. Axis, not vector, is the correct term in this context, so I suppose more explanation is required. It's a little frustrating, because we encounter the notation section at a point in the article where we have not yet (if ever) introduced the background needed for a proper discussion.

Anyway, briefly, we typically use the minimal translation vectors of a primitive cell as oblique axes, giving a non-orthonormal basis in which every lattice point has integer coordinates. In crystallography, positions of atoms making up a crystal are given with respect to this coordinate system. Here is an example of a calcite description:

  Calcite
  Graf D L
  American Mineralogist 46 (1961) 1283-1316
  Crystallographic tables for the rhombohedral carbonates
  
  4.9900 4.9900 17.0615 90 90 120 R-3c
  
  atom     x y   z
  Ca       0 0   0
  C        0 0 .25
  O    .2578 0 .25

The first three numbers give the lengths of the axes; the next three, the angles; then comes the space group, which in this case is based on a rhombohedral cell. (Of course, the rhombohedral symmetry partially constrains the axis lengths and completely constrains the angles.) The calcium atom is taken as the cell origin, the carbon is at a special fraction (1/4) of the z axis, and the oxygen is at a less special position with respect to the symmetry. Thus the action of the symmetry group yields the chemical formula CaCO₃, with more copies of the oxygen atom.

Now the challenge is, how to say just enough to explain wallpaper group notation without dragging in all of crystallography! KSmrq 17:38, 2005 August 4 (UTC)

I have reverted your (Patrick's) edit back to my original clause, "they permit the same method of symmetry description in the other cases", to convey the correct meaning. Your edit did not make it clearer, it changed it to something completely different. My meaning, apparently misunderstood, was that by using c we can say cm and mean that the mirror is perpendicular to the first cell axis, just as pm does, and similarly for cmm. Would you prefer that I say, "in the remaining two cases"? Or perhaps you can suggest a better wording, now that you know (I hope!) what I'm trying to say. KSmrq 07:00, 2005 August 6 (UTC)

Hmm; Conway notation is looking more and more appealing! I have attempted to clarify centred cells again, along with the axes. Still left wanting an explanation is "primary" axis. Sigh. KSmrq 08:36, 2005 August 6 (UTC)

Patrick, the description of primary axis choice is a definite improvement over nothing (which is what I had said); thanks. A problem or two remains. Your phrasing is

"if there is a mirror perpendicular to a translation axis we choose that axis as the main one"

This gives us no guidance for the groups pg (p1g1) and pgg (p2gg); and for p4g (p4gm) and p31m, it's confusing. I think the underlying cause of these difficulties is not our clumsy explanations, but the way the notation really works, which is a bit backwards. We know the groups and their symmetries, and use a notation that distinguishes the groups and that depends on a proper choice of axes. The axes in each case are chosen to make the notation work. Still, we're making progress. KSmrq 19:47, 2005 August 6 (UTC)

All this discussion really points to the inadequacy of the crystallographic notation. There is nothing canonical about it. Given a new group, you would not be able to guess accurately the name used for the last 100 years. The orbifold notation really does uniquely define a symmetry, in a way that can never be mistaken and can be calculated; it generalizes to all two-dimensional symmetries, of the plane, sphere, and hyperbolic plane, and the frieze groups. Jan 25 2006.

Problem with italics in headers

I noticed that when italics are used in a section header, after section editing one ends up at the beginning of the page instead of at the section. I find this very inconvenient. Therefore I suggest that we use normal text in section headers.--Patrick 21:56, 28 July 2005 (UTC)

Fascinating; that is an inconvenient bug. I'll follow your suggestion and change all the section headers to normal, as the context there sets off the group names anyway. (If Dmharvey doesn't object.) I'd still like to see consistent bold group names in the text. Do you disagree with that convention or just don't want to be bothered with doing it? KSmrq 12:01, 2005 July 29 (UTC)

Thanks for changing the headers. I do not find bolding very important because fortunately the codes are not normal words, except cm, but even that is not used once in the meaning of centimetre in the article. However, for uniformity I'll try to conform.--Patrick 19:50, 29 July 2005 (UTC)

Splitting the page

Hello KSmrq and Patrick, you've both been doing a lot of great stuff to this page. I wish I had time to edit now but I don't. I have been keeping an eye on progress though.

My two cents is: The article is now way too long.

My proposal to remedy this: Split into two articles. The main Wallpaper group article covering all the theory. A separate Wallpaper group (picture gallery) or Wallpaper group (examples) or something similar, with most of the example images. The main article will have, for each group, the cell diagram, perhaps one pretty example image (perhaps more if some aspect of the theory is best explained by example), and a link to the "examples page" saying "See more examples of this group...".

This will become even more imperative when I add more of the photos that are sitting on my hard drive crying out for inclusion....

Does anyone think this is a good idea?

Dmharvey Talk 13:13, 29 July 2005 (UTC)

Hah! We don't need you to tell us it's long; every time we edit we now get a warning. :-(

The bad news is, the warning is about long text, nevermind the download time for the pictures. Two images per group — one showing the cell structure, and one as an example — sounds fine, splitting the other images to a separate gallery page for each group. I'll give some thought to what might be done about the text. It could use a little reorganizing anyway. KSmrq 21:09, 2005 July 29 (UTC)

If we have a page for each group we can also have all text about that group there, partly copied, partly moved from the main page.--Patrick 21:28, 29 July 2005 (UTC)

The main page still needs a concise, coherent survey of all the groups. Visiting separate pages for image galleries is one thing; doing so when trying to compare groups or understand all 17 as a whole is not so appealing. Of course, the current long scroll makes that awkward as well, which is one reason I've been trying to design small images (maybe like Kali's icons, maybe not) and think about reorganization. Another thing I'd like is more group-theoretic discussion, such as the subgroup relations. KSmrq 22:24, 2005 July 29 (UTC)

Illustrations

While trying to sort out crystallographic axes, I noticed that the right-hand diagram for p3m1 should be rotated clockwise 30° so that the long diagonal becomes horizontal. The convention elsewhere is a vertical main axis, with perpendicular (horizontal) mirror. KSmrq 21:17, 2005 August 6 (UTC)

Apart from cm and cmm the convention seems to be that one of the translation vectors is horizontal.--Patrick 00:38, 7 August 2005 (UTC)

The left-hand illustration for p3m1 has a horizontal mirror line, and the discussion of axes says we should have a mirror perpendicular to the main axis. The right-hand illustration has neither a horizontal nor a vertical edge as mirror, though there is an internal vertical mirror. I can't swear to it, but I believe the vertical axis is a convention (outside Wikipedia). That's what Tess uses, though a sample of one is hardly conclusive evidence. Believe me, I understand tinkering with figures can be a pain; so I can sympathize if you don't want to change it. KSmrq 03:14, 2005 August 7 (UTC)

I think it is convenient to have the translation cell drawn the same for p3, p31m, and p3m1, as we have now. Anyway, the person to ask first would be the maker, Martin von Gagern.--Patrick 06:35, 7 August 2005 (UTC)

Article split up?

This article is getting a bit unwieldy!

I created a new article called List_of_Planar_Symmetry_Groups just to show the 17 groups themselves. (Quick&Dirty, but useful for reference!)

It probably wouldn't be a bad idea to move ALL the example images into 17 separate articles, one for each group. I'd do it someday, but a bit overwhelmed at the moment!

I just added articles for the 11 regular/semiregular tiling and symmetry groups for each. Like: Triangular_tiling

ANOTHER nice SHORT article would be for "Spherical symmetry groups" - page symmetry group is equally overwhelming and not clear at all. I'll do this myself when I collect some pictures of the fundamental domains....

Tom Ruen 10:55, 9 October 2005 (UTC)

Roger Penrose tiles?

I didn't see any reference to Roger Penrose tiling in this article. Penrose put forth many mathematical examples of filling a 2 dimentional plane in a non-repeating (aperiodic) way. I think at least a mention of his contemporary work would be appropriate here as this was the mathematical evelution (AFAIK). Jeff Carr 10:41, 22 January 2006 (UTC)

We don't cover nonperiodic tiling under wallpaper groups because wallpaper groups only describe periodic tilings. An article on tilings or tesselations could raise the issue, as could an article on projections of higher-dimensional periodicity. In fact, my recollection is that such mention is made. --KSmrq^T 14:09, 22 January 2006 (UTC)

miscellaneous

This is a very nice article and I have been enjoying the cultural examples of wall paper groups. I do have a few comments:

It would be nice to more systematically interleave the orbifold and international crystallographic notations. Also, the diagrams of the "cell structures" of the various groups seem a little misleading: (a) there is usually no canonical cell structure, but you are typically showing generators for the group, so that's no big deal, but (b) there is no difference between, say the symmetry denoted o (in the orbifold notation) and p1 (in the intl cr. notation) and it seems like they should have the same diagram. Same point for the other 16.

The thread above on the crystallographic notation prompts me to write this screed:

this discussion really points to the inadequacy of the crystallographic notation. There is nothing canonical about it. Given a new group, you would not be able to guess accurately the name used for the last 100 years. The orbifold notation really does uniquely define a symmetry, in a way that can never be mistaken and can be calculated; it generalizes to all two-dimensional symmetries, of the plane, sphere, and hyperbolic plane, and the frieze groups.

Those participating in this discussion may be interested to know that Conway will be publishing a beautiful book on the subject early in 2007 (I am a co-author). Also, Conway has a nice way to understand all the 3D space groups, which will be discussed really for the first time in that book. Jan 25 2006.

Dear madam/sir, I'm glad you like the page. Most of the "cultural examples" you speak of are my fault. (Well I didn't draw them obviously, but I collected and organised them). If you have any ideas for the page, you are of course quite welcome to make changes yourself! That's what the "edit" button is for! Don't worry if you get stuck with the wiki syntax, there are plenty of people hanging around here who will help you. You might consider creating an account, since it improves your anonymity slightly (i.e. we can't guess geographical location via your IP address :-)) And of course I'm looking forward to that book. Dmharvey 02:14, 26 January 2006 (UTC)

Formal definition

This is a beautiful article. But the formal definition doesn't make sense to me:

"A wallpaper group or plane crystallographic group is a type of topologically discrete group of isometries of the Euclidean plane which contains two linearly independent translations."

Everything is explained, except for the "type of". What does it mean for two groups of isometries of the plane to have the same type? Does it mean they are abstractly isomorphic as groups? Or is there something more subtle going on (like that they become the same group of isometries after rotation and rescaling)?

It would be nice if an expert could fix this up. Thanks. 24.82.85.97 19:43, 28 January 2006 (UTC)

Dear anon, that's an excellent point, there's something missing there. Here is my recollection of the situation (it's been a little while, and I don't have references handy). Your definition of "isomorphic" is the correct one, except that besides just rotations and rescalings, you need to include the whole group say $H$ that is generated by $GL_{2}(\mathbb {R} )$ and the translations of $\mathbb {R} ^{2}$. So, two wallpaper groups $G_{1}$ and $G_{2}$ are considered isomorphic if there exists some $h\in H$ such that $G_{1}=hG_{2}h^{-1}$, or alternatively, they are the same "up to scaling and arbitrary (invertible) linear transformations of the plane". The reason you need to include arbitrary linear transformations is that otherwise there will be infinitely many different versions of say p1, all with slightly different angles between the two independent translations. For similar reasons your definition needs to include the translations in $H$. Now, the amazing thing, is that after giving this correct "natural" definition, it turns out that two groups are isomorphic in the above sense if and only if they are isomorphic as abstract groups! Obviously you need to do a little bit of work to prove this. I believe there is a discussion of how this all works in the Grunbaum reference, but I'm not 100% sure. Dmharvey 20:13, 28 January 2006 (UTC)

Some of these things are also in Space_group#Group_theory (2D case).--Patrick 00:48, 29 January 2006 (UTC)

I added them here.--Patrick 09:19, 29 January 2006 (UTC)

Images showing a rhombus

(see also the section #Crystallographic notation)

The images for cm and cmm are now rhombuses. With regard to the orientation of the images: it is consistent with the other images in having one translation vector horizontal. However, I wonder if it is not easier to have the diagonals horizontal and vertical (e.g., all example images have such an orientation).--Patrick 14:41, 27 February 2006 (UTC)

A note on p1

User:KSmrq corrected a note I added on p1; thanks for that. Here's KSmrq's text: The two translations (cell sides) can each have different lengths, and can form any angle. Now, could one add something like the following: Thus, if the contents of the unit cell is asymmetric, it is irrelevant whether the shape of the unit cell is symmetrical. And why would I want this? Well, if this mathematical topic is applied to actual wallpapers (you known, things made of paper, glued on the reverse and all that), I find it a bit odd, and hence noteworthy, that

1. wallpapers with square unit cells, and
2. wallpapers with unit cells that are parallellograms with no symmetry at all

are grouped together.--Niels Ø 10:12, 10 April 2006 (UTC)

None of the other groups goes into such detail. The questions you raise are not special to p1. Please read the extensive discussion that precedes the consideration of individual groups.

However, it would be appropriate to note with each group to what extent its translation vectors are constrained. Specifically:

• p1 has independent lengths, any angle
• p2 has independent lengths, any angle
• pm has independent lengths, fixed angle
• pg has independent lengths, fixed angle
• pmm has independent lengths, fixed angle
• pgm has independent lengths, fixed angle
• pgg has independent lengths, fixed angle
• cm, cmm and all other groups have equal lengths, fixed angle

  for the 3-fold and 6-fold groups, the fixed angle is 120°, else 90°

Different groups can have the same cell shape. For example, p1 and p2 both can be any parallelogram, cmm and p4g are both squares, and p31m and p6 are both 120° rhombuses. This is one reason why the "Guide to recognising wallpaper groups" has no mention of cell shape. The symmetries of the pattern are what's important. --KSmrq^T 14:00, 10 April 2006 (UTC)

Belabored?

This is a nice article, but in my view it belabors its subject. I think that it would teach people more if we simplified the wording, and removed remarks which are redundant or nearly trivial. I spent some time this morning simplifying the article, but I think that more could be done.

Likewise I think that four photographic examples is plenty for each of the symmetry groups. The page is too "tall", partly because it has so many illustrations. Greg Kuperberg 17:29, 13 February 2007 (UTC)

I appreciate that you would like to improve the article; thanks for that. Unfortunately, you made a number of edits recently with mixed results. Use of a gallery in the intro was a good idea; I have retained that. Removing images is not such a good idea; the assortment is one of the strengths of the article. Removing a level of structure around the discussion of notation is also a step in the wrong direction. Then we come to the wording. I have high standards of writing, and most Wikipedia contributions fall short, including some parts of this article. However, we need to respect mathematics as well as rhetoric, and I was uncomfortable with what I saw happening. Lacking the time and lacking the inclination to nitpick every sentence change, I simply reverted all.

Please don't take the reversion as a slight; under other circumstances I would try to work with you paragraph by paragraph. Maybe we can come back to this in the future.

If you visit my talk page, you will see a number of examples of technical illustrations that dmharvey and I were collaborating to design for the article. Unfortunately, real life intruded (he's a doctoral student in mathematics at Harvard) before we settled on a final version. In other words, I have a long-term involvement in improving the article.

I've enjoyed some of my past joint efforts on this, and hope to have more as time permits. --KSmrq^T 07:56, 17 February 2007 (UTC)

Removing images is not such a good idea; the assortment is one of the strengths of the article.

I understand the general point that it's nice to have a lot of illustrations, moreover that this article in particular merits a catalogue of examples. In my opinion, the article goes overboard. You would surely agree that there is such a thing as too many examples; the question then is where to draw the line. I recommend removing some of the uglier or more indistinct examples. But I concede room for reasonable disagreement on this point and I do not mind this reversion so much.

Then we come to the wording. I have high standards of writing, and most Wikipedia contributions fall short, including some parts of this article. However, we need to respect mathematics as well as rhetoric, and I was uncomfortable with what I saw happening. Lacking the time and lacking the inclination to nitpick every sentence change, I simply reverted all.

Here, on the other hand, I think that you are being unfair. I am a professional mathematician and I certainly do have complete respect for the mathematics as well as the rhetoric. I made changes that I thought improved the explanations simultaneously at the lay level and at the technical level. I don't think that it's reasonable for you to revert these changes just because you lack the time and inclination to nitpick, because that is exactly what I did find time for. To be fair, you may not have realized how I thought about these changes.

On the subject of the structure of the notation, I strongly feel for technical reasons that the discussion is incorrectly structured and overstructured. My thinking on this point is not fully fleshed out, because I did not yet revise the obfuscated section on "why there are 17 wallpaper groups". That section, if revised, could be merged with the section on orbifold notation. But it will be difficult for me to edit this article if people undo changes just because they don't have time to think about them. Greg Kuperberg 19:00, 17 February 2007 (UTC)

Thanks for your thoughts. Perhaps we're not too far apart on what we're looking for. I did see some things I liked in your rewordings, so I don't mean to suggest it was all negative.

As I said, I saw enough places where I was uncomfortable that I (reluctantly) decided it was better to revert. I really would like to follow the one step back with two steps forward. In the real world, I've got some distractions just now, and in Wikipedia I'm trying to finish up a massive rewrite of one particular article. My head is full. Could we possibly come back to this in, say, a week?

When we do, I would love to hear your views on the notation subsections, and on the "why 17" explanation. Those are appealing for me to discuss because it's mostly my writing. "Obfuscated" surprises me; my sources were scarce and rather more difficult. I had always wanted an accessible explanation for the number, as I think many readers will, and I tried to condense the essence of the simplest argument I could find. I'm especially surprised that you propose merging this with a discussion of notation, as both the topics and audiences are distinct. If we can make things clearer for lay readers, that would be great.

Also, those revised graphics dmharvey and I were working on are long overdue, and this would be a stimulus for me to finish them off and put them in place. (The best ones do not appear on my talk page.) So, meet you back here on February 25? --KSmrq^T 09:37, 18 February 2007 (UTC)

So, why 17?

The "Why there are exactly 17 groups" subsection is not great for the layperson, as nowhere in its explanation does it actually say "There are 17 because". Indeed, the number 17 isn't even mentioned in that subsection! In a general encyclopedia, you really do need to show a little more working and not assume quite so much mathematical knowledge. Somewhere there needs to be something that shows explicitly where the 17 comes from, not leaving it to readers to infer. 81.153.111.37 00:25, 3 December 2007 (UTC)

I agree. It's been two years. Can somebody editing this page please put it in plain English, or if it just isn't that easy, change the section heading? Lime in the Coconut 20:52, 21 January 2010 (UTC)

Um, I can show where the number 17 comes from, but I don't think it will help much, because that's not the difficult part of the derivation. Anyway, here goes:

Let's start from the features with the highest value and work our way down. The possible features are:

Feature:	o	x	*	6	4	3	2	(*)6	(*)4	(*)3	(*)2
Value:	2	1	1	5/6	3/4	2/3	1/2	5/12	3/8	1/3	1/4

If the "no symmetry" feature "o" is there, that's 2 by itself, so no other features can be present.

1. o (2 = 2)

Next let's try "x". That's 1, so there's 1 left over. If there's another "x", we have

2. xx (1 + 1 = 2)

and if there's a "*", we have

3. *x (1 + 1 = 2)

Or there could be an "x" and multiple features that sum to 1. We can't have both "x" and "6" because that's already 1 + 5/6, and there's no feature whose value is as small as 1/6. Similarly, we can't have both "x" and "4" or "x" and "3", so the only group we can get this way is

4. 22x (1/2 + 1/2 + 1 = 2)

That's all the groups that contain either "o" or "x", so all the others must have only digits and "*". If there are two "*"s, then that's it for the group:

5. ** (1 + 1 = 2)

Now let's do the ones that have one "*". "6" can't be to the left of "*" because that's already 1 + 5/6, but "4" can be to the left of "*". In that case the remaining feature must be a "2" on the right, so we have

6. 4*2 (3/4 + 1 + 1/4 = 2)

We can have a "3" to the left of the "*", in which case the remaining feature must be a "3" on the right, so

7. 3*3 (2/3 + 1 + 1/3 = 2)

We can have a "2" to the left of the "*", and in this case there is more than one possibility. There is 1/4 left over, so there can be either another "2" to the left:

8. 22* (1/2 + 1/2 + 1 = 2)

Or there can be digits on the right, and it turns out the only possibility is

9. 2*22 (1/2 + 1 + 1/4 + 1/4 = 2)

Everything remaining must either start with a "*", or have just digits and no "*". Let's assume it starts "*6...". Then there can't be another "6" because that only leaves 1/6, which is less than 1/4 and nothing can be added to reach 2. Similarly there can't be a "4". But there can be a "3", in which case there must also be a "2", so we get

10. *632 (1 + 5/12 + 1/3 + 1/4 = 2)

It's impossible to have "*6..." and then no "3", because there's no way to make that add to 2, so let's now assume it starts "*4...". There is 5/8 left over, and the only way to make that is another "4" and a "2", yielding

11. *442 (1 + 3/8 + 3/8 + 1/4 = 2)

If it starts "*3...", then there is 2/3 left over and the only way to make that is two more "3"s:

12. *333 (1 + 1/3 + 1/3 + 1/3 = 2)

And finally if it starts "*2..." then there must be four "2"s total.

13. *2222 (1 + 1/4 + 1/4 + 1/4 + 1/4 = 2)

That exhausts the groups with a "*" and all the rest have only digits. If there is a "6", there can't be another "6" because that only leaves 1/3, which is too big for any feature as long as there's no "*" in sight. Similarly there can't be a "4". However, there can be a "6" and a "3" in which case there must also be a "2":

14. 632 (5/6 + 2/3 + 1/2 = 2)

It's impossible to have a "6" and no "3". If there is a "4", then there can be another "4" and a "2":

15. 442 (3/4 + 3/4 + 1/2 = 2)

We could try putting in both a "4" and a "3" but that just doesn't work out (try it). Similarly we can't have a "4" and a "2" without there being a second "4". So the rest of the groups don't have "4"s. If there's a "3" then the only possibility is

16. 333 (2/3 + 2/3 + 2/3 = 2)

and if there are only "2"s, then there must be four of them:

17. 2222 (1/2 + 1/2 + 1/2 + 1/2 = 2)

This exhausts the possible Conway orbifolds of genus 2 and therefore the planar symmetry groups. These seventeen are all there are and all there shall ever be. —Keenan Pepper 08:03, 22 January 2010 (UTC)

This still leaves a lot of questions for the layperson (such as myself). Why isn't, for example "x*" an 18th wallpaper group? (you only have "*x" listed above)? Also, this pretty much just transfer the question to, why are there only 7 features? 129.105.122.208 (talk) 15:59, 15 July 2010 (UTC)

See Orbifold#2-dimensional orbifolds which lists all the possible (non-hyperbolic) 2 dimensional orbifolds. You can enumerate all the possible orbifolds, and calculate their Euler characteristics, most will turn out to be hyperbolic, some are spherical and some, the one we are interested in, are parabolic. For example those with a feature 5,7,8,... or *5,*7,*8,... can't be parabolic as a triangle with these angles can't tile the plane.--Salix (talk): 17:29, 15 July 2010 (UTC)

That isn't very helpful, actually. It doesn't specify what is allowed for orbifold notation. From what I can tell, a proper orbifold notation is made of 4 parts:

1. An unordered group of integers (corresponding to gyration points that do not lie on mirrors)

2. A number of asterisks (corresponding to mirrors)

3. Another unordered group of integers (corresponding to gyration points that lie on mirrors)

4. An unordered group of x's and o's (x = sliding mirror, o = no symmetries)

Based on that definition, a notation of "x*" is not legitimate, and "326" is essentially the same as "632". This seems to answer the question asked. I'm not an expert here, but if others agree with my definition, I think it should be added somewhere. Uigrad (talk) 19:42, 14 March 2018 (UTC)

Why 17 redux

Having had the pleasure of being a coauthor of the "Symmetries of Things" can address a couple of issues raised here.

1) Why are the only features o,x,*, numbers. (Note, don't rule out 5, etc, a priori. This comes for free a little later) There are two kinds of feature, those that fix a point and those that don't. If a point is fixed, we can understand the feature that fixes it by looking at what happens to a little disk around it. It should be clear that all that's possible is to rotate the point, or reflect it, or have a whole bunch of reflections making a kaleidoscope there. For the rest of it, remember that we're recording the topology of the orbifold surface, and surfaces can be sorted out pretty straightforwardly by topology, into their constituent parts: cross-caps (x), handles (o) and boundaries (*). That's precisely what the notation is recording.

2) Why 17? The proof above is pretty long. Here's a faster way:

(a) If we stick with just rotations: these have cost 1/2, 2/3, 3/4, 4/5, 5/6, 6/7 etc. (i) Can't have 6/7 or higher: Clearly can't have two such, since at least 12/7 and smallest cost available is 1/2. Can't have one such either, since remaining cost is greater than 1 but no more than 8/7; 1/2+1/2 is too small and 1/2+2/3 is too big. Similarly can't have 4/5. So we're left with 1/2, 2/3, 3/4 and 5/6.

If we use 5/6, then we must have 1/2 and 2/3: 632

If we use 3/4, then we can only use 3/4+3/4+1/2: 442

If we now restrict ourselves to 1/3 and 1/2, clearly can't mix them, and we get 1/2+1/2+1/2+1/2 and 1/3+1/3+1/3 2222 and 333

Those are the only symbols with all rotations.

b) Now here's a great trick! Kaleidoscopic numbers, red in the book, those after *, cost half as much as rotation ones. Since * costs $1, and since half of $2 is $1, we can take any of the above symbols and get one with all numbers after *:

*632, *442, *333, *2222

Since the trick is reversible, these are the only symbols with a single * followed by all numbers.

c) An even cooler trick: Can swap any pair of identical numbers after the * for a single one in front of the star, costing twice as much. Thus *3 33 yields 3*3 and *22 22 yields first 2*22 and then 22*. Since the trick is reversible, these are the only symbols of the form numbers*numbers.

d) Finally, any * not followed by numbers can be converted to a x without trouble, hence 22x My favorite symmetry. Again reversible, so again, that's it. Since * and x are too expensive to have two of with numbers in the same symbol, and o can't be combined at all, that's it for numbers. xx, **, x* and o round out the list.

What actual groups are these?

Something I would like to see here is a listing of what groups these actually are, abstractly. What groups they are isomorphic to, if you like. For example, I think that p1 is Z×Z, and has presentation <x,y|xyx⁻¹y⁻¹>; p2 is (Z×Z)⋊C₂, and has presentation <x,y,t|xyx⁻¹y⁻¹,xtxt,ytyt>, etc. (Don't trust me, I may have got this wrong; but these are examples of the kind of information I would expect to see, for all 17 wallpaper groups.)

I think this mathematical information would be more useful and relevant than the multiple images to illustrate every wallpaper group. Ok, the images are very pretty, and it would be nice to keep them; maybe they could live inside "hide" boxes, so that readers who are more interested in the mathematics only get to see one image for each wallpaper group. Maproom (talk) 11:40, 10 July 2008 (UTC) Maproom (talk) 11:40, 10 July 2008 (UTC)

I would also like to see such a listing. JackSchmidt (talk) 14:11, 10 July 2008 (UTC)

OK, but let's not assert that the only mathematical content here involves the abstract groups. The subject of wallpaper groups is a mathematical subject, namely: realizing abstract groups as certain groups of motions in the plane. The images are essential to understanding this subject, and it would be inappropriate to hide them. Ishboyfay (talk) 20:47, 30 October 2009 (UTC)

I agree with Ishboyfay. It would be very good to add the isomorphic groups, but please do not hide the figures. The real world connection for this topic is important and having several examples is very helpful for visualizing the transformations. Remember too that your audience includes more than just mathematicians. --seberle (talk) 22:41, 30 October 2009 (UTC)

p3m1 and p31m

The "computer generated" examples for p31m and p3m1 seem to be switched, according to the definitions. Can someone verify this? --Lasunncty (talk) 01:07, 14 August 2008 (UTC)

Yes I think your right. The key difference is that one has a three fold rotation without a reflection through the point. I've now delinked the images. Well done for spotting it, only 4 year in error! --Salix alba (talk) 23:18, 14 August 2008 (UTC)

p4 examples

One of the examples needs to be fixed. Someone has added an "Errata". First of all, it should be "Erratum". Secondly, there shouldn't be any errata at all. If the example is misclassified, please move it to the correct category.--seberle (talk) 01:21, 26 September 2009 (UTC)

Merge with Symmetry combinations

The term Symmetry combinations seems to be a neologism coined by the article's creator and the resulting article is a content fork of this article, though written at a slightly more elementary level.--RDBury (talk) 12:15, 12 February 2010 (UTC)

Some symmetry combinations imply translational symmetry in two dimensions, so there is some overlap. However, treatment of individual wallpaper groups is not repeated.--Patrick (talk) 19:40, 12 February 2010 (UTC)

The symmetry combinations article is entirely unsourced and appears to violate WP:NOR. Any verifiable content in the article should be moved here, and the rest should be deleted. Jim.belk (talk) 16:48, 15 November 2010 (UTC)

I've now proposed it for deletion. Not sure that there is anything in it which is not already covered here. --Salix (talk): 18:24, 15 November 2010 (UTC)

Degree symbols?

In several places, the ° symbol is displayed oddly in my browser (FF4). An example is this table. I'll copy/paste it here: °̊ (wiki seems to accept it...) Is this some sort of mathematical "double degree" notation that I don't recognize, or just an editing error, or is Firefox doing something strange with the generated HTML? -LesPaul75_talk 17:58, 27 April 2011 (UTC)

" °̊ " is two unicode characters: a degree symbol, and a "combining ring above" (\u030a). No idea how it got that way, but I think I just fixed it by replacing them with simple degree symbols. —Keenan Pepper 16:17, 29 April 2011 (UTC)

A template used on this page has been nominated for deletion

See Wikipedia:Templates_for_discussion/Log/2011_September_15#Template:Wallpaper_group_list. --99of9 (talk) 05:28, 21 September 2011 (UTC)

What is the "F" shape in the pictures

Can someone please give an explanation of the "F" shape in the tiles. It is used in a lot of illustrations, it tantalizingly seems to contain some information, but it is never explained anywhere what that information is. It is especially frustrating because it isn't the sort of thing one can successfully google. It would probably be a good idea to explain it in the article. 76.175.173.23 (talk) 05:22, 6 October 2012 (UTC)

The "F" shape on a tile is there to destroy any internal symmetry of that tile, and to show how the symmetries of the group relate that tile to the other tiles. So the orientation of the first "F" in a diagram is arbitrary, what matters is how it relates to the orientation of the other "F"s. I have no view on whether, or how, this shoild be explained in the article. Maproom (talk) 08:23, 6 October 2012 (UTC)

I think it should be better explained. I have a maths background (but not in group theory) and it has taken me awhile to understand the diagrams. They also say "on the right" for the diagrams when I think they mean "on the left." Overall the intro to the group diagrams is confusing and not well explained. Daaxix (talk) 03:11, 16 January 2017 (UTC)

Deeply confusing

This is wallpaper

I must say I found this article deeply confusing and unhelpful. That may be because I am interested in wallpaper and not in mathmatics. None of the huge number of illustrations are much use to describe the actual issues in large pattern wallpaper design at all. What group is the picture illustrated here? Is "wallpaper group" really the WP:COMMONNAME for these things? Johnbod (talk) 02:24, 22 December 2012 (UTC)

This picture shows wallpaper with group p1. As the article says, "The group p1 contains only translations; there are no rotations, reflections, or glide reflections." If you choose some feature of the wallpaper in the picture, say one of the largest flowers, and look for a rotated version of it (the same flower a different way up), you don't find one; so there are no rotations. And if you look for a mirror-image of it, you also don't find one; so there are no reflections (either straightforward or glide). p1 is the only wallpaper group with no rotations and no reflections.

"Wallpaper group" is what mathematicians call these things. And non-mathematicians don't normally talk about "groups" in this sense.

It might be useful if the article contained what botanists call a key, which a reader could use to identify the wallpaper group of any particular wallpaper. It would probably start with the question "does the wallpaper have any rotational symmetry?" Maproom (talk) 10:47, 22 December 2012 (UTC)

Ok, that's some help. A key would be useful. Johnbod (talk) 16:20, 22 December 2012 (UTC)

I realise now that the article already provides a key. It forms the section Guide to recognizing wallpaper groups. Maproom (talk) 20:45, 2 January 2013 (UTC)

Herringbone examples.

My understanding is that a given wallpaper cannot be classified in two different ways. That this classification scheme creates a partition of all wallpapers, is this correct. If so, then there is an issue with the images on the page. Group p2 and Group pg have the same image used as examples for both. Cliff (talk) 19:39, 10 March 2014 (UTC)

Look at the closeup images - the Egyptian mats differ in details, that's why each one belongs to a different group.--Krótki (talk) 07:32, 11 March 2014 (UTC)

cm Unit cell picture

The section on crystallographic notation describes how the letter c denotes a face-centred cell. However the cm cell picture shows only the primitive cell. Would it be useful to have a picture that showed clearly the face-centred cell from which the name is taken? Ben476 (talk) 20:43, 20 October 2014 (UTC)

two small errors in the section "Notations for wallpaper groups"

I think there are two small errors or typos in the section mentioned in the header:

1. "[...] four letters or digits; more usual is a shortened name like c2mm or pg." --> should read as "[...] four letters or digits; more usual is a shortened name like cmm or pg.", i.e. the short notation drops the '2' of c2mm.
2. if I understand it correctly, the bold and blue (with links) symbols are the short and the bold and black symbols in brackets are the full/long symbols? If that is true, then the two entries

• p4mg (p4mm): Primitive cell, 4-fold rotation, glide reflection perpendicular to main axis, mirror axis at 45° and
• c2mm (c2mm): Centred cell, 2-fold rotation, mirror axes both perpendicular and parallel to main axis

should be corrected to:

• p4mg (p4g): Primitive cell, 4-fold rotation, glide reflection perpendicular to main axis, mirror axis at 45° and
• c2mm (cmm): Centred cell, 2-fold rotation, mirror axes both perpendicular and parallel to main axis

I would be happy, if somebody could confirm and made changes accordingly.

kind regards
Frank --Kohaerenz (talk) 11:38, 14 November 2015 (UTC)

Deeply confusing

Read section p3 (my comment in bold)

Imagine a tessellation of the plane with equilateral triangles of equal size (Ok, equal size), with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal (Oops! Triangles are not equal size?), while both types have rotational symmetry of order three, but the two (Triangles? Groups?) are not equal, not each other's mirror image, and not both symmetric (if the two (Triangles?) are equal we have p6, if they are each other's mirror image we have p31m, if they are both symmetric we have p3m1; if two of the three (Tree? Where from? Three type of Triangles? As I read above, we talk about only two types of triangles... Groups? Why three, not four, five, six?) apply then the third also, and we have p6m). Jumpow (talk) 16:55, 23 May 2016 (UTC)

I agree. That paragraph initially looks promising, but descends into gibberish. Maproom (talk) 22:42, 25 May 2018 (UTC)

New introduction?

The following material was added before the introduction by user:2402:3a80:6ab:2bee:8cf5:45d1:c8f3:1122 so that the article in effect had a new long introduction followed by the old short introduction, including repeated material. I have reverted to the old short introduction, but it may be a good idea to integrate parts of the following text in a proper fashion.

Wallpaper groups categorize patterns by their symmetries. Subtle differences may place similar patterns in different groups, while patterns that are very different in style, color, scale or orientation may belong to the same group.

IntroductionConsider the following examples:

Example A: Cloth, Tahiti

Example B: Ornamental painting, Nineveh, Assyria

Example C: Painted porcelain, China

Examples A and B have the same wallpaper group; it is called p4m in the IUC notation and *442 in the orbifold notation. Example C has a different wallpaper group, called p4g or 4*2 . The fact that A and B have the same wallpaper group means that they have the same symmetries, regardless of details of the designs, whereas C has a different set of symmetries despite any superficial similarities.

A complete list of all seventeen possible wallpaper groups can be found below.

Symmetries of patterns

A symmetry of a pattern is, loosely speaking, a way of transforming the pattern so that it looks exactly the same after the transformation. For example, translational symmetry is present when the pattern can be translated (shifted) some finite distance and appear unchanged. Think of shifting a set of vertical stripes horizontally by one stripe. The pattern is unchanged. Strictly speaking, a true symmetry only exists in patterns that repeat exactly and continue indefinitely. A set of only, say, five stripes does not have translational symmetry—when shifted, the stripe on one end "disappears" and a new stripe is "added" at the other end. In practice, however, classification is applied to finite patterns, and small imperfections may be ignored.

Sometimes two categorizations are meaningful, one based on shapes alone and one also including colors. When colors are ignored there may be more symmetry. In black and white there are also 17 wallpaper groups; e.g., a colored tiling is equivalent with one in black and white with the colors coded radially in a circularly symmetric "bar code" in the centre of mass of each tile.

The types of transformations that are relevant here are called Euclidean plane isometries. For example:

If we shift example B one unit to the right, so that each square covers the square that was originally adjacent to it, then the resulting pattern is exactly the same as the pattern we started with. This type of symmetry is called a translation. Examples A and C are similar, except that the smallest possible shifts are in diagonal directions.

If we turn example B clockwise by 90°, around the centre of one of the squares, again we obtain exactly the same pattern. This is called a rotation. Examples A and C also have 90° rotations, although it requires a little more ingenuity to find the correct centre of rotation for C.

We can also flip example B across a horizontal axis that runs across the middle of the image. This is called a reflection. Example B also has reflections across a vertical axis, and across two diagonal axes. The same can be said for A.

However, example C is different. It only has reflections in horizontal and vertical directions, not across diagonal axes. If we flip across a diagonal line, we do not get the same pattern back; what we do get is the original pattern shifted across by a certain distance. This is part of the reason that the wallpaper group of A and B is different from the wallpaper group of C.

--Nø (talk) 15:37, 25 May 2018 (UTC)

Thank you for preserving this alternate text. I've just rearranged and reworked the lede to clarify it for a lay audience, and tried to incorporate some of these themes. I referred to p1 in it, and think that adding the more familiar p1 image [1] would be good, but I'm not quite sure how to do that. I think the lede could still use more work, e.g. to clarify what it means to be talking about groups here, not just symmetries. ★NealMcB★ (talk) 15:56, 3 February 2020 (UTC)

What patterns

Various repetitive patterns of a same wallpaper.

A lot of occurrences of “patterns” in the current article,  two occurrences before its first images.  And never we do know really which repetitive patterns they are.  To begin it should be written that any repetitive pattern of the article will have a minimum area,  and that patterns of minimal area can have different shapes.  So a shape of pattern of minimal area will be choosen for each type of wallpaper.

On the present image,  various patterns are parallelograms constructed each from two translations under which the wallpaper is invariant.
  Arthur Baelde (talk) 11:34, 9 January 2022 (UTC)

In short, I propose to describe at the beginning of article what is a repetitive pattern for the article, and insert the present image.  To have a minimal area,  a parallelogram‑shaped pattern shall be contructed from two translations that generate the group under which the wallpaper is invariant.
  Arthur Baelde (talk) 16:30, 11 January 2022 (UTC)

Here, a wallpaper is...

In this edit, the beginning of the lead was changed from

Here a wallpaper is a drawing that covers a whole Euclidean plane by repeating a motif indefinitely ...

to the same without the "Here". But obviously, a wallpaper is a finte roll of paper with a printed pattern to be glued to a wall. I don't find the "Here" a good solution, but I don't think we can simply do without.

Perhaps we should rewrite? Maybe we should start by saying what a "Wallpaper group" is, not what a wallpaper is - not saying that a wallpaper group is the symmetry group of a wallpaper, but rather that it is the symmetry group af a "repetitive plane pattern", or the like. Following that, we could say something like

Thus, in this context, a wallpaper is a pattern that covers a whole Euclidean plane by repeating a motif indefinitely.

Thoughts?--Nø (talk) 10:48, 13 May 2022 (UTC)

What group is this?

Tessellation with Texas-shaped tiles.

Actual shape of Texas, for comparison.

Many years ago, while in a large city in Texas, I encountered a small plaza paved with Texas-shaped flagstones. I just spent some time figuring this out, and created this image.

I am having trouble determining what group it's in. According to the table in Wallpaper group#Guide to recognizing wallpaper groups, this tiling has 180° rotations in half the tiles, and no reflections, but it does have a glide, with each row of the same color displaced a little bit to the left of the one below it. Because it has no glide reflection, the table says it's in group p2 (2222).

However, I note that each pair of red and blue tiles can be considered a single tile, in which case there is no rotation or reflection at all, which would make this group p1 (o) using an oblique cell structure. In fact, that is how I created the image, first by creating a pair or red and blue tiles, and then using that pair as a single larger tile.

Which would it be? I'd like to include this as an example if possible. ~Anachronist (talk) 19:33, 13 March 2024 (UTC)

This tiling does not have 180° symmetry. If you rotate it by 180°, it is no longer the same picture.

As for including it as an example, I think a photo of the actual flagstone tiling would be more fittng for an encyclopedia. We already have two artificially-generated exampes under p1. --Krótki (talk) 05:57, 14 March 2024 (UTC)

Ignoring the colours, focusing on the outline of the Texases only, the figure has an 180° symmetry that takes a red Texas into a blue Texas, and it is p2.

Including the colours, it only has a parallellogram (oblique) unit cell (possibly square), and no further symmetry; thus p1.

Convention would be, for such a diagram, to consider it p1 - but it is one of the things often left unsaid when discussing symmetry groups that makes the subject confusing (for me, at least - and I may have gotten it wrong!) Another confusing thig is that it is p1 whether the unit cell is square (i.e., highly symmetric in shape) or a parallellogram (minimal symmetry) - unless the content of the unit cell is symmetrical, the symmetry of the cell's shape is considered irrelevant for this classification. Nø (talk) 09:32, 14 March 2024 (UTC)

@Krótki: I don't understand your comment. If I rotate it by 180°, I get exactly the same picture. Especially if the colors are removed. I did this from memory, it was many years ago. Looking around, I found this on Reddit (and I must say I think my Texas tile is a better approximation of the state's shape than that Texas tile), but I have no idea of Reddit's licensing terms and it's unlikely we could use that photograph.

@Nø: Yes, you basically stated the source of my confusion, and why I started this discussion. ~Anachronist (talk) 14:40, 14 March 2024 (UTC)

No. The tiling has 180° symmetry not especially if the colours are removed, but only if the colours are removed. Nø has basically said the same thing, and I guess his explanation seems sufficient. Is there anything left to explain here? --Krótki (talk) 17:13, 14 March 2024 (UTC)

Nø's explanation basically said the same thing I did in my initial comment, that depending on how you look at it, the group is p1 or p2. My question remains unanswered. Suppose this image was to be included in the article. Where would it fit? In p1 or p2? ~Anachronist (talk) 17:34, 14 March 2024 (UTC)

Clearly, as conventions are, it would be p1 only. It is, I believe, not a figure that would add anything valuable to the article, though. Nø (talk) 17:58, 14 March 2024 (UTC)

This has nothing to do with conventions. The assignment to a wallpaper group is directly and only based on the image's rotational and mirror symmetries, and the Guide to recognizing wallpaper groups section is supposed to help you with this assignment. This image either has no rotational symmetry (if you take colours into account) or has 180° rotational symmetry (if you would remove them), and that property alone determines whether it may belong to p1 or p2.

For any given wallpaper image, you can select an infinite number of differently-shaped "unit cells", with a various amounts of symmetry in their shape, and all of them will share the property of being able to re-build the original pattern by repeating the cell. Image 2 in the What this page calls pattern section gives an example of two different "unit cells" with an area "a" on a Pythagorean tiling, one with symmetry, the other without. The shape of a "unit cell" has absolutely no bearing on what group the particular pattern belongs to. --Krótki (talk) 10:16, 15 March 2024 (UTC)