“Exactly, except in mathematics, you’ll think you’re a genius, but what comes out will be rubbish. Now, how precisely do you imagine that this is going to be useful?”
A good question—but I was prepared.
Mathematics, I’ve realized from Simon, is a branch of painting. You can go to fine-art classes, take a first-class degree, study the masters from caveman to Rolf Harris, practice musculature and composition until your thumbs split…and still be bad at painting: your faces, technically perfect, are dead. Your gestures, flawless from the anatomical point of view, chopped out of cardboard. Your compositions, correct according to every authority since the Greeks and the Golden Section, without suggestion. You have no feel for vigor, unexpectedness, life. You are brilliantly trained, and the best stroke you could make would be to dump your brush in the vegetable grinder. Ditto, mathematics: unless you have natural talent, everything you do will be insipid, mechanical and lack adventure. A hypnotist cannot suddenly create natural talent, but he can give one an obsession. If I could wake up in this peculiar Queen Anne armchair in half an hour’s time, slavering to spot geometrical and numerical patterns, then I might also lie awake at night rabid with desire to characterize and make sense of these patterns. And that, I enthused to Andrew, grasping the air in my arms as though I were making off with an enormous coconut—the fruit of my delicious idea—is the essence of mathematical inspiration.
Andrew gave me a puzzled look, leaned to one side and made a mark on a pad of paper.
Mathematicians are aware if they’re creative or not, I hurried on. When they discover that they are not, it shudders their soul. I have friends with PhDs in number theory who wince with embarrassment whenever someone calls them “a mathematician,” because they know they are not worthy. They are to the authentic artist of mathematics what a weekend watercolorist is to Cézanne. At Trinity College in Cambridge, there was a man who scored a double first in his undergraduate degree, took his PhD in the flash of an eye, and still gave up in despair and became a tuba player. Since the age of twelve he’d doubted himself: under the sheets with a flashlight in his bedroom, he had not been able to pass a well-known childhood test of genius, i.e., to prove that the solution to any equation of the form
ax2 + bx + c = 0
must be, for reasons known otherwise only to God and magicians,
This man therefore believed—I lowered my arms at last, exhausted already by the algebra—that he could not ever be imaginative enough to call himself a proper mathematician.
Andrew tapped his fingers, beetled his brow—and made another mark on his pad of paper.
I’d read about how hypnotherapists work. Like biographers and mathematicians, they have to find the kinks in the surface of your problem before they can burrow into it. They pick on any catchy and summarizing phrases you tell them during the twenty-minute warm-up period, then repeat these over and over again in the sleepy bit to help drive you “under.”
“Simplicity,” I summarized. “What drives Simon is a search for simplicities. I asked him for a question to test whether somebody has mathematical talent. He proposed, ‘Why is 11 × 11 equal to 121, and 111 × 111 = 12321 and 1111 × 1111 = 1234321?’ Why, in other words, is that pretty rise and fall of the digits preserved?
“‘It’s not a question of why,’ I’d snapped, ‘they just do it.’”
But it is a question of why—and “why” is a question of discovering what is the simplest way to think about—visualize—sequences of 1s so that when you multiply them together you can see that obviously they must produce this charming answer with the bulge in the middle. I don’t know the reason. I can’t do it. 11 is just 11 to me, a pair of dumpy number 1s. I’d need to get out my pen and paper and devise ornate, well-trained formulas to parse 11 or 111 or 1111 into columns of units—tens, hundreds, etc.—then ram them together in a multiplicative frenzy that would leave x’s and y’s groaning all over the page. That would be my answer. But Simon does the opposite: he thonks down his pen; he sits back; he folds his hands behind his head; he makes one of his ghastly attempts at a whistling noise. The one thing all good mathematicians hate is honest labor. Instead of calculation, his mathematics requires an ability to see things in a different light, like those optical-illusion games in which you have to blur your eyes to turn a splatter of dots into a three-dimensional picture of an advancing stegosaurus.
“Right, Alexander! Feet flat on the floor. Relax and close your eyes. Ten…math is about finding simplicities…patterns…” Andrew begins in a church-crypt murmur. “…nine…don’t divide up rows of ones and ram them together…”
That’s when the trouble starts: I can’t close my eyes. They flicker like beetle wings. Every inch of me starts to itch; every object on the street bellows. That isn’t a van honking, it’s a barricade of French juggernauts. That’s not a scratch in my ear, it’s a weevil boring toward my eye. Instead of feeling sleepy, I’ve jumped in the opposite direction: I’m less hypnotized than ever.
“…eight…simplicities are everywhere and simple and you want to find them,” counts Andrew.
A jackhammer starts up. Ants are making a nest in my nose. Most of us experience mild hypnotic states every day. Tests have shown that people blink less when they’re shopping—they’ve entered a state of mild hypnosis.
“…seven…simplicity is joyful…”
But not for me. Andrew could go on counting down until he squeezed out the other side of zero and climbed to minus 1,000. I’ve never realized until now how infuriating the world is. Traffic noises fly through the window and bounce about the room like fifteen grasshoppers. Balloons filled with babies’ voices burst against the glass.
“…six…patterns such as ‘two to the power of twenty-three spells sissors’…five…”
I try imagining the street full of integral signs climbing drainpipes, number sevens strap-hanging in buses, prams carrying Platonic solids—anything to get me into the world of math and escape this hyper-wakefulness.
“…four…next time you see a car number plate you will want to factorize it…three…”
Hypnotizability has nothing to do with intelligence. Roughly 10 percent of people are good hypnosis subjects. The Nobel Prize winner Richard Feynman describes a hypnotist sitting him down and saying, “You can’t open your eyes,” and Feynman couldn’t:
I said to myself, “I bet I could open my eyes, but I don’t want to disturb the situation: Let’s see how much further it goes.”
It was interesting: you’re pretty sure you could open your eyes. But, of course, you’re not opening your eyes, so in a sense you can’t do it.
Richard Feynman, Surely You’re Joking, Mr. Feynman! (1985)
“…two…your eyes are very heavy, so heavy…one…so very heavy, it is impossible now for you to open them…” Andrew concludes in a soporific clincher.
I open my eyes, giggling with embarrassment for both of us.
One useful approach with therapeutic hypnosis is to find a structure, already present in the client’s mind, then doll it up with fresh encouragement and new suggestions.
Not long ago, a ten-year-old stepped into Andrew’s office—extraordinarily, he had exactly the same grouse as mine.
“I want to do sums better.”
It’s not such a peculiar thing to ask for.
“What are you good at already?” Andrew asked. “And why?”
“Stories. Words come to me through a door.”
“What color is the door?”
“Red. With a big gold handle.”
So Andrew put him in a trance, took him back to the door and started asking mathematical questions: “What’s two times two?” A four sauntered out.
“It was blue,” remembers Andrew.
“Three times three?”
Nine made an entrance, dressed in green.
“Two times four?”
Eight stepped forth. Pink.
“And this was not a weird child,” said Andrew. “Just an ordinary you
ng boy.” Numerals had been hiding on the other side of the door all along. Hypnosis simply made them less bashful.
“I, um, ah,” I said, slapping my palms together to give me courage when I got back from hypnosis, “have been studying Cayley’s mathematics myself a little, as it happens.”
“Hnnn,” grunted Simon.
We were walking in Cambridge along the Backs—the section of the river that runs behind the ancient colleges—and turned off it up the path leading past the library, on to the outcast newer colleges and university cricket pitch.
“I gather that though Cayley published papers of great length, many are now considered somewhat arcane,” I said.
“Aaaagh,” from Simon.
“It’s his shorter notes that are thought to have captured the deepest insights. A vindication of his belief that the best work of a mathematician, like that of a biographer or artist, was often that done in five minutes.”
“As I say, I don’t know that he did say that.”
“I know you don’t know. That’s why I’m telling you. He did.”
“If you say so.”
“I do say so.”
“Hnnnn.”
“For example,” I kept going, “the idea in Group Theory that is named after him: Cayley’s Theorem. That was one of those flash-of-insight triumphs.”
“What’s Cayley’s Theorem?”
“What’s Cayley’s…! Simon, you haven’t lost your marbles to that extent! Cayley’s Theorem: a fundamental theorem of Group Theory.”
“Never heard of it.”
“Well, let’s see, how does it go?” I gathered in a pedagogic breath. “Yes, I think that would do it…” I added in a tone of subtle calculation. In fact, I had spent several hours memorizing it that morning from Schaum’s Outlines (“The perfect aid for better grades!”) “Let S be a semigroup with Identity…”
For those of you not familiar with this language, note my use of the term “Identity.” Since hypnosis, I have had insight into Identity. Identity is much more important to Groups than it is to humans. Humans can have multiple identities, fractured identities, confused identities; identities that they’ve accidentally put in the dustbin and someone has stolen; identities that have wandered off to Thailand and for which the owner has to take six months’ sick leave to rush after and find. With Groups the situation is simple: a Group must have a very clearly defined object called an Identity Operation, or it is not a Group. Any Group Identity Operation claiming to be complex, split or misunderstood is simply a liar. It should be instantly locked up.
For Groups an Identity Operation is one that does precisely bugger-all. It’s a scandal even to dignify it with such an energetic word as “Operation.”
The Identity Operation.
An Identity Operation leaves an object in exactly the same state as before. That’s how lazy it is. With Square, you can do various things that will leave a square looking the same as before; but you know, secretly, that these things have involved furtive twists and flips and turns. There’s only one operation that actually represents doing nothing to a square:
That’s the Identity Operation. With Triangle, the comparable Identity action is:
The Identity is everywhere in mathematics. With ordinary addition of numbers, what do you have to add to leave the number exactly as it is? Zero:
7 + 0 = 7
“Adding zero” is the Identity Operation for addition. For subtraction, just as for addition, 0 is the Identity:
7 − 0 = 0
7 minus 0 changes nothing; 7 is still 7.
This doesn’t make zero the Identity in all calculations. In multiplication, zero kills everything off:
7 × 0 = 0
It’s the number of annihilation in this case, not Identity. Everything zero touches in multiplication, it lays to desolation:
3 × 0 = 0
43,857 × 0 = 0
85,417,023,207 × 0 = 0
So, if zero isn’t the Identity Operation for multiplication, what is? What number can multiply with every other number without ever changing any of them, even slightly? The number one:
7 × 1 = 7
7 × 1 changes nothing: 7 is still 7.
Context in Identity Operations is everything, just as it is in life. Just across the park Simon and I were walking through is Charles Darwin’s old house. As a young man, all Darwin had wanted to do was race dogs, catch rats and get drunk. But, as with mathematics, so with humans: circumstances make all the difference. When Darwin gave up the sauce and pushed off to the Galapagos Islands on the Beagle, lo! that wastrel became the volcanic intellect of the age.
Any number can be an Identity if you make the circumstances right. Take twelve. It can’t oust zero as the Identity number for ordinary addition. It’s much too energetic:
7 + 12 = 19
In subtraction, twelve soon results in negativity and gloom:
7 − 12 = −5
With division, twelve is too persnickety:
7 ÷ 12 = 0.5833…
For multiplication, it loses self-control. It sends numbers racing into the distance:
7 × 12 = 84
But every day, without thinking, billions of people around the world use a different sort of arithmetic in which twelve is the Identity: with clocks. Add twelve to any number on a twelve-hour clockface and the difference is bugger-all:
3:00 + 12 = 3:00
7:45 + 12 = 7:45
5:30 + 12 = 5:30
Now, to get back to my explanation of Cayley’s Theorem to Simon, as we walked out of the park and along the Backs toward the Mathematics Faculty.
“Let S be a semigroup with Identity…” I repeated manfully.
It doesn’t matter what a “semigroup” is: I’m using it here just because it sounds good.
“Let S be a semigroup with Identity; then by Cayley’s Theorem there is a monomorphism of S into MS, where MS is the semigroup of all mappings of the set S into itself.”
We reached a street corner, stepped out to cross, and Simon paused, apparently confused. The passing cars did not honk. They swerved gently to avoid us. Donnish behavior is well understood at this road junction in Cambridge. Then he sighed, shook his head to release the furrows from his brow, and we hurried over the tarmac to Selwyn College, kicking at the fallen cherry blossom.
“That’s so elementary,” he said, “I didn’t even know it was a theorem.”
*25 How to bag a Subgroup
Oh dear, oh dear, here he goes again.
Simon
* * *
The way the turns of Triangle combine can be presented as a table. This is a secretarial device for keeping track of all the possible results, and is read in the same way as a distance chart at the front of a road atlas:
Similar Group Tables can be drawn up for the symmetry operations of Square, and any other symmetrical-looking shape—a rectangle, a pentagram, a cube, a tetrahedron…
What made these secretarial devices become an area of interest for mathematicians was a discovery made by a French schoolchild in the nineteenth century. He realized that some Groups had hidden inside them smaller Groups—smaller symmetries, minding their own business, inside the larger one, like the cogs inside a watch.
The existence of Subgroups meant that certain Groups could be broken down into more basic units, just as molecules can be broken down into atoms.
The next question for mathematicians was, therefore, how many of these fundamental atoms of symmetry are there, and what are they?
* * *
A Subgroup is not different from a Group in any way. The prefix “Sub” just means it’s a Group locked inside another Group. Sometimes Subgroups are easy to spot, other times they’re as difficult to squint out as ghosts. But chop one away from the containing Group, and it’s a perfectly good Group on its own. The “Sub” is a statement about context, nothing else.
Take the Group Table for the rotations of Square:
There’s a Subgroup hidden in there.
T
o discover this Subgroup we need to understand a basic property of all Group Tables, called Closure.
The simplest way to think of this is as an aesthetic principle. One of the reasons Simon enjoys Group Theory is because this property of Closure is “beautiful.”
For example, there are four possible symmetrical turns for Square that leave it looking exactly the same after the operation as before:
In the Group Table that keeps track of how these four operations combine, you never get anything else but one of these four figures with arms and legs on. Whatever symbols you put into the table are exactly the same as the symbols that come out. This is what Simon calls “closed.” Nothing in the world you can do with these four operations is ever going to, say, result in Square being inverted, puffed up to double size, left teetering awkwardly on one corner, or shot through its belly:
A ridiculous example of a Group Table that is not closed is one where what comes out is something entirely different from what went in, for example:
How did Teeter sneak in there? This has broken the Closure requirement (as well as just about every other requirement). Aside from the small fact that we already know plus does not equal Teeter (and so something is profoundly wrong on that level too), Teeter was not one of our starting operations, so the table has an ugly, asymmetrical look about it. Some mathematicians might be interested in tables that have this type of thing going on, but not Simon.
Now, to return to the Group Table of Square. Let’s eliminate two of the rows and their corresponding columns. Forget, for the moment, what entitles or motivates us to do this; just take a marker pen and get on with it:
Now compress and tidy up the parts that aren’t crossed out:
This is another aesthetically pleasing (at least in Simon’s eyes) Table. It’s closed. What goes in is what comes out. It’s pretty enough to be a Group Table also, and since we know already that all the sums are correct, then it is a Group Table. It’s called a Subgroup of the larger Group Table simply because we found it lurking inside the larger Group, but its balanced look and correct arithmetic mean it is a perfectly good stand-alone Group too.