Assigning Point Groups by Flowchart
Hold a molecule of in your hands. Three equatorial chlorines splay at . Two axial ones stab straight up and down. Now ask a simple question: which of the 32 crystallographic-plus-molecular point groups does this belong to? You could stare at it and guess. Or you could interrogate it with a fixed sequence of yes/no questions. These questions concern axes, planes, and centers of inversion. This process arrives at the unique answer every time. It works for every molecule, without ever relying on intuition or memorized shape-matching. That decision tree is the subject here. Point group assignment is not a matter of taste or pattern recognition. It is an algorithm. Like any algorithm, it can be executed identically by a novice and an expert. This requires following the steps in order and applying each geometric test honestly. The payoff for getting it right is large. The point group of a molecule is the single piece of information that unlocks several things. It reveals its vibrational selection rules, the symmetry-adapted linear combinations used to build molecular orbitals. It also reveals whether the molecule can be chiral, and whether it can have a permanent dipole moment. Every one of those downstream facts is read off a character table. But you cannot open the correct table without first knowing which group you are in. The big picture is this. The flowchart trades a search over "which of ~30 named groups looks like my molecule" for a short, ordered checklist. Is the molecule linear? Is it one of the five Platonic-solid special cases? Does it have a proper rotation axis at all? How many axes lie perpendicular to the principal axis? What mirror planes are present relative to that axis? Each branch point is answerable by direct inspection of bond angles and atom positions. There is no guesswork, no memorized silhouettes. This article builds that flowchart from the ground up. It justifies why the branches are ordered the way they are. Then it drives the flowchart through three full molecules of increasing subtlety. These range from water to to a staggered ferrocene-like sandwich. What follows assumes you already know what a point group is. It also assumes you know how to spot the principal rotation axis of highest order. The goal here is purely procedural mastery. Given any rigid molecular geometry, you should produce the correct Schoenflies symbol in a bounded number of steps. There should be no ambiguity and no backtracking.
- Point group assignment is a fixed decision tree, not pattern matching against remembered shapes.
- First triage: linear ( or ) and cubic/icosahedral special groups are peeled off before anything else.
- The next fork is the existence of any proper rotation axis; its absence sends you into the low-symmetry family (, , ).
- If a principal exists, the decisive question is whether perpendicular axes exist — this splits the "-type" branch from the "-type" branch.
- Within each branch, mirror planes (, , ) and axes refine the label to its final subscript.
- Order-of-operations matters: testing for before , or missing a hidden , are the classic sources of wrong answers.
- Key idea: every molecule's point group is determined by walking a strict, geometry-driven checklist — the answer is a logical consequence of what symmetry elements are physically present, never a matter of resemblance to a known example.
Where this lives today
Point group assignment by flowchart is not a museum exercise; it is the first move in nearly every symmetry-based analysis a working chemist or spectroscopist performs. In vibrational spectroscopy, the point group of a molecule determines exactly how many IR-active and Raman-active fundamental modes are expected, via the reducible representation of the Cartesian displacements decomposed against the character table of that specific group — get the point group wrong, and every subsequent selection-rule prediction is wrong too. This is routine in identifying metal-carbonyl isomers: 's trigonal-bipyramidal structure predicts two IR-active C–O stretches, a number directly checked against experimental infrared spectra to confirm the geometry rather than, say, a square-pyramidal alternative. In transition-metal and organometallic chemistry, sandwich compounds like ferrocene, staggered () versus eclipsed (), are distinguished exactly along the lines of the third worked example, with real energetic and reactivity consequences — the rotational barrier between conformers, small as it is, still shows up in variable-temperature NMR and in the fine details of photoelectron spectra. In main-group and coordination chemistry, correctly placing five-, six-, and seven-coordinate complexes into , /, or frames underlies the construction of ligand-field splitting diagrams, since the pattern of -orbital splitting is read directly from how the metal orbitals transform under that specific point group's operations. Beyond spectroscopy, point-group logic feeds directly into crystallography and materials science (the 32 crystallographic point groups constrain which space groups a material can adopt, in turn constraining piezoelectric and ferroelectric behavior — a material lacking a center of inversion, checkable by exactly this flowchart's early inversion/mirror questions, is a prerequisite for piezoelectricity). It also underlies computational chemistry practice: quantum chemistry packages exploit a molecule's assigned point group to block-diagonalize the Hamiltonian by symmetry, cutting computational cost for highly symmetric species like () or benzene () by orders of magnitude — software routines that automate exactly the flowchart described here as a first preprocessing step before any electronic structure calculation begins.
Ask the tutor: How would the flowchart classify a real, slightly puckered (non-planar) benzene-like ring — does small deviation from idealized actually change the assigned point group?
The physical picture
A molecule's point group is the complete set of symmetry operations — proper rotations , improper rotations , mirror reflections , and inversion — that map the molecule onto an indistinguishable copy of itself, all operations sharing at least one fixed point. The flowchart method never tries to enumerate that whole set directly. Instead it asks a sequence of targeted questions, each of which either terminates the search (assigning a group immediately) or narrows the remaining candidates, until only one group is consistent with all the answers. The logic of the ordering is worth understanding, not just memorizing. Linear molecules and the five high-symmetry polyhedral groups (, , , and their unrehearsed rotation-only cousins , , ) are structurally unlike everything else: they possess multiple axes with related by the point group itself, so the "one principal axis" logic that governs every other group breaks down. It is therefore efficient to identify these by their unmistakable geometric signatures — linear atoms, or a shape built from a tetrahedron, octahedron, or icosahedron — before applying any axis-counting procedure. Once those special cases are excluded, every remaining molecule has at most one axis of highest order (there can be more than one axis of a given lower order, but only one — or one set related by that axis — of the maximal order). This is the principal axis, and the entire rest of the classification is organized around it: how many axes sit perpendicular to it, and what mirror planes contain or bisect it.
Two structural facts justify the order of the branches. First, checking linearity and the polyhedral special cases early is cheap and avoids the axis-counting machinery misfiring on molecules where "the" principal axis is not unique. Second, within the generic branch, the perpendicular- test is placed before the mirror-plane test because it is the more discriminating question: it cleanly separates the -type groups (cyclic, only one axis "direction") from the -type groups (dihedral, an extra set of two-fold axes perpendicular to the main one), and only after that split does asking about , , or produce an unambiguous subscript.
The core ideas
The flowchart is not a set of arbitrary rules; it is a direct consequence of group-closure requirements. If a molecule has a principal axis and a set of axes perpendicular to it, the group generated by and one necessarily contains such 's (obtained by conjugating one by successive powers of ), which is why the test is "are there perpendicular 's," never "is there just one."
where:
- is the principal rotation by ,
- is a two-fold axis perpendicular to ,
- is the image of that axis after conjugation, i.e. the same axis rotated by about the principal axis.
Reading: because group elements must close under multiplication, a single perpendicular automatically drags along more, spaced evenly around the principal axis. This is why real molecules never show " out of " perpendicular two-fold axes — if you find even one, the full set of is guaranteed, and you are in a -type group. The second governing relationship concerns how , , and combine, which is what fixes the final subscript once the vs. branch is chosen:
where:
- is an improper rotation: rotate by , then reflect through the plane perpendicular to the axis,
- is the "horizontal" mirror plane, perpendicular to the principal axis,
- is the principal proper rotation.
Reading: whenever both and are present, is automatically present too (it is their product) — you never need to search for separately once you've confirmed . This is why the flowchart tests for directly rather than hunting for improper rotations from scratch; falls out for free. Finally, the count of vertical planes is pinned down by the dihedral angle between adjacent mirrors:
where:
- is the angle between two adjacent vertical mirror planes (whether or ) that both contain the principal axis,
- is the order of the principal axis.
Reading: for a or molecule with vertical mirrors, there are exactly of them (for /) evenly spaced at , which both confirms you've found all the mirrors and lets you predict where an unfound one should be if the count looks short.
Goal: show that testing for perpendicular axes before testing for mirror planes is not a stylistic choice but a logical necessity — reversing the order produces ambiguous or self-contradictory branch labels.
Step 1 — set up the two candidate branch families. Every point group with a unique principal axis falls into one of two mutually exclusive families: the "cyclic" family (, , , ), which contains only the operations generated by itself (plus possibly or 's), and the "dihedral" family (, , ), which additionally contains two-fold axes perpendicular to . These families are disjoint: no group simultaneously has "no perpendicular " and " perpendicular 's."
Step 2 — show mirror planes alone cannot distinguish the families. Consider a molecule with planes containing the principal axis. This is consistent with (cyclic family, no perpendicular ) and with or (dihedral family, which also has vertical mirrors, labeled or once perpendicular 's exist). Simply asking "are there vertical mirror planes?" therefore cannot tell you which family you are in — both families can show them. Trying to assign the subscript ( vs. vs. ) before knowing the family risks assigning to a molecule that is actually , since the mirror alone is compatible with both.
Step 3 — show the perpendicular-C2 test does cleanly separate them. The presence or absence of a axis perpendicular to is a purely rotational fact, independent of any reflection. By Step 1's disjointness, this single geometric test — do such axes exist, yes or no — routes the molecule unambiguously into exactly one of the two families with no overlap. Once the family is fixed, the subsequent mirror-plane question (does exist? do vertical mirrors bisect the 's, making them , or contain them, making them ?) has a single well-defined meaning within that family.
Step 4 — conclude the necessary ordering. Since mirror identification is only unambiguous after the cyclic/dihedral split, and since the perpendicular- test is what performs that split, the flowchart must query 's before finalizing based on mirrors. Historically-taught flowcharts that ask "how many mirror planes" first and "any perpendicular " second are prone to exactly this style of misassignment, particularly for molecules (staggered sandwiches) whose vertical mirrors are easily mistaken for -type 's if the perpendicular axes are overlooked.
Go deeper · Derivation B · 2 minWhy linear and cubic/icosahedral special cases must be tested before axis-counting
Goal: show that applying the generic "find the principal axis, count perpendicular 's" procedure directly to a linear or polyhedral molecule, without first screening for these special cases, leads to an ill-defined or incomplete classification.
Step 1 — linear molecules have infinite-order axes. In a linear molecule such as or HCN, the internuclear axis is a axis: rotation by any angle superimposes the molecule on itself. The formula and the conjugation relation both assume a finite ; setting makes "count the discrete perpendicular axes" meaningless, because for molecules there are, in effect, infinitely many 's continuously distributed perpendicular to the axis. The generic finite- branch simply has no well-formed answer here, so linear geometry must be diagnosed by inspection (are all nuclei collinear?) before the axis-counting logic is invoked at all.
Step 2 — cubic and icosahedral groups have no single principal axis. In (e.g. ), there are four axes (through each C–H bond) and three axes, all of the same status — none is "more principal" than another, because the group's own operations permute the four axes into one another. The entire logical apparatus of "the principal axis, and 's perpendicular to it" presupposes a unique, symmetry-distinguished axis to organize the rest of the analysis around. Applying the perpendicular- test to one of methane's four axes might make it look like a fragment, wildly undercounting the true symmetry, which includes three additional 's along the H–C–H bisectors and six planes not visible from a single-axis viewpoint.
Step 3 — the resolution is a shape-recognition pre-filter. Because both failure modes stem from the same root cause — the generic algorithm assumes exactly one axis of maximal, finite order — the fix is to check for these two structural signatures first: (i) are all atoms strictly collinear (linear test), and (ii) does the heavy-atom skeleton match a tetrahedron, octahedron, cube, or icosahedron, recognizable by having four, three, or more / axes related by other symmetry operations of the same molecule (polyhedral test). Both checks are visual/structural, performed before any axis-counting, exactly as positioned at the top of the flowchart.
Step 4 — conclude the necessary ordering. Since the axis-counting logic is undefined for and ill-posed for multiple equivalent high-order axes, both special families must be excluded by direct structural recognition before the generic principal-axis procedure is trusted to produce a correct, unique group label.
Worked examples
Example 1 (foundational): water, . Water is bent, with an H–O–H of (not or — an off-round number confirming this is not accidentally tetrahedral or trigonal geometry masquerading as bent). Step 1, linear? No — three atoms with a bond angle of , well short of . Step 2, cubic/icosahedral? No — only three atoms, no possibility of multiple equivalent / axes. Step 3, principal axis? The axis bisects the H–O–H angle, passing through O. Rotating by about this axis swaps the two H atoms and leaves O fixed — the molecule is indistinguishable after the operation. Order confirmed: , this is the highest-order axis present (no or higher is geometrically possible with only two terminal atoms). Step 4, perpendicular 's? Look for a second two-fold axis perpendicular to the first. Any axis lying in the molecular plane but perpendicular to the principal would have to map H onto O or O onto H — impossible for chemically distinct atoms. No such axis exists. Branch: family, not . Step 5, mirror planes. Two candidates: the plane containing all three atoms (call it , since it contains the principal axis), and the plane perpendicular to the H–H direction, also containing the principal axis and bisecting the H–O–H angle (call it ). Both contain the axis, so both are vertical mirrors, not (a true would have to be perpendicular to , i.e., in this case the plane containing just the two H's and perpendicular to the H–O–H bisector — but that plane does not contain O and is not a symmetry element of the actual bent molecule). Step 6, subscript check via the mirror-count formula. With , the formula predicts two vertical mirrors at to each other — exactly the molecular plane and the perpendicular plane through O, matching what was found by inspection.
Assignment: . As a limiting-case check: if the H–O–H angle were forced open to exactly (a hypothetical, since real water is bent), the molecule would become linear and reroute entirely into the branch at Step 1 — confirming the flowchart's linearity gate is doing real work and that is specific to the bent geometry.
Example 2 (applied): phosphorus pentachloride, , trigonal bipyramidal. in the gas phase has three equatorial Cl at to each other in a plane through P, and two axial Cl at to the equatorial plane, on opposite sides of P (axial–P–axial ). Step 1, linear? No — clearly a branched, non-collinear structure. Step 2, cubic/icosahedral? No — five ligands around one center is not a tetrahedron (4), octahedron (6), or icosahedron (12); no set of equivalent / axes related by other symmetry operations exists here. Step 3, principal axis? The axial–P–axial line is a axis: rotating about it permutes the three equatorial Cl cyclically while leaving both axial Cl fixed (since they lie exactly on the axis). Check higher order: is there a or ? No — five ligands split 3+2 cannot support a five-fold or four-fold rotation that maps the molecule onto itself, since the equatorial and axial sets are chemically/geometrically distinct (different P–Cl bond lengths, different angles) and cannot be permuted into each other. So is the maximal order. Step 4, perpendicular 's? Consider an axis passing through P and one equatorial Cl, lying in the equatorial plane, perpendicular to the axis. Rotating about this axis: the chosen equatorial Cl stays fixed, the other two equatorial Cl's swap with each other (they are apart, symmetric about the chosen one), and the two axial Cl's swap with each other (both perpendicular distance from this in-plane axis, related by the flip). This is a valid symmetry operation. By the conjugation relation, since , there must be such axes total, one through each equatorial Cl — and indeed there are, by the three-fold symmetry of the equatorial plane. Branch: family, with . Step 5, mirror planes. The equatorial plane itself (containing P and all three equatorial Cl, perpendicular to the axial–P–axial axis) is a candidate : reflecting through it swaps the two axial Cl (mirror images across the plane) and leaves each equatorial Cl in place (they lie exactly in the plane). This reflection maps the molecule onto itself. Since is perpendicular to and present, this is the deciding test.
Assignment: . Cross-check with the relation: since both and are confirmed present, must also be a symmetry element (rotate , then reflect through the equatorial plane) — and indeed this composite operation does map onto itself, consistent with 's character table, which lists without it needing to be independently rediscovered. Limiting case: if the two axial Cl were somehow chemically different from each other (say one replaced by F, giving an axial-F/axial-Cl asymmetric trigonal bipyramid), the reflection would fail (F cannot map onto Cl), collapsing the symmetry down to — showing the flowchart is sensitive to exactly the substitution that should break the mirror.
Example 3 (exam/competition level): a staggered sandwich (staggered ferrocene-type geometry, ). Consider a metallocene with two parallel cyclopentadienyl (Cp) rings, each a regular pentagon, related by a stagger (i.e., the top ring's vertices sit directly over the bottom ring's edge midpoints, rotated by exactly half the vertex spacing — this is the staggered, "anti-prismatic" conformation, as opposed to eclipsed ferrocene which is ). Step 1, linear? No. Step 2, cubic/icosahedral? No — a sandwich with two 5-membered rings is not one of the five Platonic families; there is no set of multiple equivalent or axes unrelated to a single stacking direction (only the one through the metal, perpendicular to both rings, is present). Step 3, principal axis. The axis through the metal center, perpendicular to both Cp rings, is : rotating maps each ring onto itself (cyclic permutation of its five carbons) and, because both rings share the same rotation axis and the stagger is uniform, maps the whole sandwich onto itself. No higher-order axis is possible (rings are 5-membered, capping at ). Step 4, perpendicular 's. Consider an axis through the metal, lying in the plane that bisects the M–ring distance, passing through one carbon of the top ring and — because of the stagger — through the midpoint of an edge of the bottom ring (not through a carbon). Rotating about this in-plane axis: it swaps the top and bottom rings (top ring's carbons map to bottom ring's carbons, since a flip exchanges "up" and "down"), and because the stagger angle is exactly half of , this flip is a genuine symmetry operation — each atom lands exactly on another atom's original position. By the conjugation relation with , there are such perpendicular axes (one for roughly every top-ring carbon position, spaced apart around the ). Branch: family, . Step 5, mirror planes — the subtle part. Is there a (horizontal mirror, perpendicular to , i.e., the plane exactly midway between the two rings)? Reflecting through this midplane would have to map the top ring onto the bottom ring directly. But the rings are staggered by : a carbon on the top ring sits over an edge-midpoint of the bottom ring, not over a carbon. A mirror reflection through the midplane preserves each atom's angular position (only flips its height), so it would try to map a top-ring carbon to an angular position where the bottom ring has no atom — this fails. No . Now check for (vertical planes, containing the axis, each bisecting the angle between two adjacent perpendicular axes found in Step 4). Such a plane, containing the principal axis and running "between" two of the 's, correctly reflects each carbon of the top ring to another carbon of the top ring, and independently each carbon of the bottom ring to another carbon of the bottom ring, consistent with the staggered geometry. Checking the angle: with , adjacent mirrors should sit at — matching the stagger angle exactly, which is the geometric fingerprint of a -type (dihedral, bisecting) plane rather than .
Assignment: . As the limiting-case check: rotate the top ring back by so the two rings become perfectly eclipsed (each carbon directly over a carbon). Repeating Step 5 now shows the midplane reflection does work (top ring maps onto bottom ring atom-for-atom), giving instead, and the vertical mirrors reposition to contain the 's directly () rather than bisecting them — the group becomes , the eclipsed-ferrocene case, exactly the well-known contrast between real ferrocene's two nearly isoenergetic rotamers.
Limiting cases, scope & common traps
| Situation | What the flowchart says | Why |
|---|---|---|
| in a bent AB molecule | Reroutes from to at Step 1 | Linearity gate must be checked first; axis order becomes undefined () otherwise |
| One perpendicular found, but you assume there might be "just one" | Always exactly of them | Group closure forces total via conjugation by |
| found | is automatically present | ; never search for independently once is confirmed |
| Substituent breaks a mirror (e.g., one axial ligand different in TBP) | Drops | Symmetry element must map atom onto a chemically identical atom, not merely a geometrically analogous position |
| Staggered vs. eclipsed sandwich | vs. | Presence of (eclipsed) vs. its absence with present instead (staggered) — same , same perpendicular count, different mirrors |
| Chiral molecule (propeller-shaped, no improper axes at all) | or (rotation-only groups), never with a or | Presence of any (including and ) is incompatible with chirality |
| Free rotation / fluxional molecules (e.g., ethane about C–C) | Assign point group to a fixed conformation (usually the lowest-energy one) | Point groups are defined for rigid nuclear frameworks, not time-averaged structures |
The chemist behind it
The Schoenflies notation that the flowchart's labels are drawn from — , , , the subscripts , , — was developed by the German mathematician Arthur Moritz Schoenflies in the 1890s, originally to classify the 230 crystallographic space groups, a problem he solved independently and nearly simultaneously with the Russian crystallographer Evgraf Fedorov. Schoenflies's notation was built for infinite periodic lattices, but it transferred almost unchanged to finite, discrete molecular symmetry once quantum chemists in the 1930s realized that the same closure and conjugacy arguments governing crystal symmetry govern the vibrational and orbital symmetry of individual molecules. The systematic application of group theory to molecular spectroscopy and bonding — the very context in which "assign the point group first" becomes a load-bearing step — was substantially the work of Hans Bethe, Eugene Wigner, and later, in the chemistry-facing form most students encounter, textbook authors like F. Albert Cotton, whose Chemical Applications of Group Theory (1963) codified much of the flowchart logic used today.
Origins · 1 minArthur Moritz Schoenflies and how this was discovered
Schoenflies trained as a mathematician under Ernst Kummer and Karl Weierstrass in Berlin, working initially on projective geometry before turning to the classification of symmetry groups in three-dimensional space. His 1891 derivation of the 230 space groups — done by pure group-theoretic reasoning, years before X-ray diffraction could experimentally confirm crystal structures — stands as one of the great feats of applied abstract algebra. The notation system he introduced for point-group operations, built around the rotation axis as the organizing element with reflections and improper rotations layered on top, proved so well-matched to molecular symmetry that it was adopted essentially unchanged by spectroscopists and quantum chemists decades later, long after its crystallographic origins.
Why can't I just memorize shapes like "trigonal bipyramidal = D3h" and skip the flowchart?
Shape-to-group memorization works only until a substitution or distortion breaks the idealized symmetry, which happens constantly in real molecules. A trigonal bipyramid with one axial ligand different from the other four (say with Cl axial) is no longer — the reflection fails because it would have to map Cl onto F, which is chemically forbidden. The flowchart still gives the right answer () because it re-tests every symmetry element against the actual atoms present, whereas memorized shape-labels silently assume idealized, fully substituted symmetry. Memorization is a useful shortcut for recognizing common idealized cases quickly, but the flowchart is what catches the exceptions.
How do I tell σv from σd once I already know I'm in a Dn group?
Both are vertical mirror planes containing the principal axis, so the distinguishing feature is their relationship to the perpendicular axes you found in the earlier step. If each mirror plane contains one of the axes (running directly along it), the mirrors are labeled , and the group is (assuming is also present, since notation is conventionally used together with -bearing groups). If instead each mirror plane bisects the angle between two adjacent 's, sitting exactly halfway between them, the mirrors are ("dihedral"), signaling , and no will be present. The angular test measured relative to the positions resolves any visual ambiguity.
Does the flowchart work for molecules with no symmetry at all?
Yes — that is precisely what the low-symmetry branch (reached when Step 3's "any proper ?" answer is no) is for. If no rotation axis of any order exists, you check for a single mirror plane (giving ), a center of inversion with nothing else (giving ), or neither (giving , the trivial group containing only the identity). Most real, non-idealized molecules — an arbitrary chiral organic natural product, for instance — fall into , and the flowchart correctly and quickly assigns them there rather than forcing a higher-symmetry label that doesn't actually apply.
What's the difference between the point group being Dnh and Dnd, chemically speaking?
The difference usually tracks a real physical difference in conformation, not just a labeling nuance. The clearest case is staggered versus eclipsed conformers of the same molecule or a closely related family — eclipsed ferrocene-type sandwiches are (mirror plane exactly between the rings) while staggered ones are (that mirror is destroyed by the stagger, replaced by bisecting planes instead). Since and molecules can be genuinely different rotamers of the same connectivity, correctly assigning which is which is often the entire chemical question — for instance, distinguishing calculated rotational barriers or interpreting variable-temperature spectra that report on interconversion between them.
Can a molecule be chiral and still have a Cn axis?
Yes, and this is a common point of confusion. Chirality is destroyed by the presence of any improper symmetry operation — a mirror plane (equivalent to ), a center of inversion (equivalent to ), or any higher — but proper rotations are perfectly compatible with chirality. A molecule in a pure rotation group, or (no subscript, no , no beyond what's implied), can and often is chiral: propeller-shaped , , sits in and exists as genuine enantiomers precisely because contains no improper operations at all.
How does the flowchart handle molecules that are fluxional, like PF5 undergoing Berry pseudorotation?
Point groups are strictly defined for a single, fixed nuclear geometry — a snapshot, not a time-average. For a fluxional molecule such as , which interconverts axial and equatorial fluorines rapidly via Berry pseudorotation, the flowchart is applied to one instantaneous structure (the equilibrium trigonal-bipyramidal geometry, ) even though NMR at room temperature shows all five fluorines as equivalent due to fast exchange on the NMR timescale. The point group correctly describes the static/instantaneous molecular symmetry; the apparent higher symmetry seen in a time-averaged spectrum is a separate, dynamical phenomenon layered on top, not a different point-group assignment.
Why does the order of testing σh before searching for Sn separately matter for efficiency, not just correctness?
Searching for an axis directly — an improper rotation combining a rotation with a perpendicular reflection — requires checking many candidate axes and angles from scratch, which is slow and error-prone by inspection. But the relation means that if you have already confirmed both a principal and a horizontal mirror (both comparatively easy, visual checks), the corresponding is mathematically guaranteed to be present as their product. The flowchart exploits this to avoid ever hunting for independently in the common branches; only needs a dedicated search in the rarer -only groups (like ), where no separate or standing alone would reveal it.