{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidijxgtlgqhd5t6nqwclokpqguyn3m34a4lebovzkdri7dzqca35m",
    "uri": "at://did:plc:saveesaetvd7rir7ylfiqlxz/app.bsky.feed.post/3mm3iwhfmiqi2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidnn5wa42agz6hrbk5qq6lvzp6z6fybkgsqighf4dve6bib4lfur4"
    },
    "mimeType": "image/jpeg",
    "size": 264944
  },
  "description": "Thanks to Sam Graf for introducing me to this and suggesting some toys.\n\n\nIntroduction\n\nMultiplication tables can be fun. Line up your numbers, multiply, and find patterns. Like with 5x5, we can fill it out and highlight symmetry, divisibility, squares, and so much more. In this inquiry, we're going to play with a different version of these tables.\n\n\n\n\nStarting with Six\n\nTake that 5x5 multiplication table and divide each number by 6, and write down the remainder. Another way to say this is mod 6",
  "path": "/inquiries-week-9-mod-multiplication/",
  "publishedAt": "2026-05-17T23:22:30.000Z",
  "site": "https://www.fractalkitty.com",
  "tags": [
    "Here is a tool",
    "Here is the tool",
    "Euler's totient",
    "Latin square.",
    "textbook",
    "Units mod m tool",
    "Ring:",
    "Toy for 3D is here.",
    "Elementary Number Theory: Primes, Congruences, and Secrets",
    "Carmichael function λ(m)",
    "primitive roots",
    "Beautiful Chords",
    "Multiplicative group of integers modulo n - WikipediaWikimedia Foundation, Inc.Contributors to Wikimedia projects"
  ],
  "textContent": "Thanks to Sam Graf for introducing me to this and suggesting some toys.\n\n## Introduction\n\nMultiplication tables can be fun. Line up your numbers, multiply, and find patterns. Like with 5x5, we can fill it out and highlight symmetry, divisibility, squares, and so much more. In this inquiry, we're going to play with a different version of these tables.\n\n### Starting with Six\n\nTake that 5x5 multiplication table and divide each number by **6** , and write down the remainder. Another way to say this is **mod 6**.\n\n1-5 multiplication table like above, but with mod 6 applied.\n\nWhat do you notice?\n\nWhat patterns emerge in the table?\n\nWhat numbers produce zeros?\n\nWhat numbers don't produce zeros?\n\nMake a table for the numbers that don't produce zeros, and apply mod 6 as before. This is called a **Cayley table**\n\nMultiplication with 1 and 5 mod 6 producing all 1's and 5's\n\nFor each number in the table, look at its powers **mod 6** and note any observations:\n\nHere is 5:\n\n### Activity\n\nNow, let's take what we did with six and repeat it with other numbers. Let's call each number we pick **m**.\n\nFor each **m** :\n\n  * Make a table that goes from **0 to (m-1)**\n    * Note that zero was added in for completeness, but not required.\n  * Then a Cayley table of the numbers that don't generate zeros\n  * Then look at the powers. ****\n\n\n\nHere is a tool (full page on desktop is best). It is too big to embed here, so save it and read on.\n\nHere is six using that tool:\n\n0 to (m-1) multiplication mod 6, then masked version, then version with only numbers that were left in the mask.\n\nHere is nine. The size or number of rows in the Cayley table is _**Euler's totient.**_ For nine it is six, written as _φ(9)=6._\n\nFor different values of **m**\n\n  * Which numbers make you stop and look?\n  * Which ones feel more structured?\n  * Which ones are alike? different?\n  * Which numbers don't change when you hide zeros?\n  * Which numbers lose a lot of numbers when you hide zeros?\n  * How many different numbers are there for each row or column in the Cayley table?\n\n\n\n### Conjecture\n\nForm conjectures about the tables.\n\n  * Do certain numbers result in certain patterns? certain Cayley tables?\n  * What is the maximum number of different values a row can have in the Cayley table?\n  * What numbers in the Cayley table produce all of the numbers in the table with their powers **mod m?**\n  * Are there certain numbers that you can always expect to see in a Cayley table?\n\n\n\n* * *\n\n## Educator Resources\n\nSpoiler alert - go play before proceeding (this means you too).\n\n## Activity Structure\n\nThis is a 60–90 minute activity exploring the multiplicative structure of integers mod  _m_.\n\n#### **Exploration Phase 1 (10–15 minutes)**\n\n**Building the first tables**\n\nHave learners build the mod 6 multiplication table by hand. The hand-work matters — patterns surface faster when learners feel the symmetry and notice the zeros or lack thereof.\n\n  * Ask: \"Which rows or columns have zeros? Which don't?\"\n  * Once they strike out the rows/columns with zeros, the leftover 2×2 Cayley table for {1, 5} is small enough to stare at and ask, \"What is this thing?\"\n  * Look at the powers - does 1,5,1,5,1,5 continue to repeat? Why?\n\n\n\n#### **Exploration Phase 2 (15–20 minutes)**\n\n**Comparing several values of _m_**\n\nSome useful values to start with:\n\n  * A prime:  _m_ = 5 or 7\n  * A prime power:  _m_ = 8 or 9\n  * A product of distinct primes:  _m_ = 10 or 15\n\n\n\nHere is the tool — full page on desktop is best.\n\nGroups or learners can take values and then trade.\n\n#### **Conjecture Formation (10–15 minutes)**\n\nGive time to write down observations before discussing. Offer examples if learners stall.\n\n**Example Conjectures:**\n\n> Example: \"When  _m_ is prime, no rows or columns get hidden after the zero row and column.\"\n\n> Example: \"The numbers left after hiding zeros are exactly the numbers that share no factors with  _m_.\"\n\n> Example: \"Every row of the Cayley table has the same set of numbers, just rearranged.\"\n\n> Example: \"Sometimes one number's powers generate all the numbers in the table.\"\n\n> Example: \"Every Cayley table has 1 and m-1.\"\n\n> Example: \"Every Cayley table is a Latin Square.\"\n\n**Supporting Questions:**\n\n  * _\"What do the m values with no zeros have in common?\"_\n  * _\"How could you predict how many numbers survive hiding zeros, without building the table?\"_\n  * _\"Why does every row in the Cayley table seem to have each number exactly once?\"_\n  * _\"For which m does some number's powers produce all the others?\"_\n\n\n\n#### **Discussion and Discovery (15–20 minutes)**\n\n  * Share conjectures across groups.\n  * Introduce terminology as it becomes useful:\n    * The surviving numbers are called **units mod _m_**.\n    * The count of units is Euler's totient,  _φ(m)_.\n    * A Cayley table whose row/column entries are a permutation of the same set is a Latin square.\n\n\n\n### Going deeper (optional)\n\nThe content below is what you might find in a textbook, and possibly too heavy for light inquiry.\n\n**Do the powers always cycle?**\n\n  * Pick a number from the Cayley table — call it  _n_ — and list  _n, n², n³, …_ mod  _m_.\n  * There are only finitely many remainders possible, so the sequence eventually repeats.\n  * For any number in the Cayley table, it always cycles back to 1.\n  * The smallest power that hits 1 is called the **order** of  _n_.\n\n\n\n**How long is the cycle?**\n\n  * Compare cycle lengths across numbers in the Cayley table.\n  * They always divide  _φ(m)_ — the number of rows in the Cayley table.\n    * This is **Lagrange's theorem**.\n\n\n\n**When does one number's powers produce all the others?**\n\n  * When the cycle length equals  _φ(m)_ , that single number's powers fill the entire Cayley table.\n  * It's called a **generator** or **primitive root**.\n  * These exist exactly when  _m = 1, 2, 4, pᵏ,_ or  _2pᵏ_ for odd prime  _p_ — so mod 8, 12, 15 have none.\n  * A group where this happens is called a **cyclic group**.\n\n\n\n####\n\n#### Optional: Proof scaffolding\n\n**Powers of a Cayley table number (unit) cycle back to 1**\n\n  * Consider mod 7, its Cayley table, and powers of 2 mod 7:\n\n\n\n  * The list goes 2, 4, 1, 2, 4, 1, … It cycles back to 1 every 3 steps.\n\n\n\n**Is this true for all numbers in the Cayley table?**\n\n  1. There are only finitely many possible remainders.\n     1. Mod 7, the possible remainders are 0, 1, 2, 3, 4, 5, 6 — seven values total.\n     2. Every power 2¹, 2², 2³, … has to land on one of these seven.\n  2. Eventually, two powers share the same remainder.\n     1. This is the pigeonhole principle.\n     2. Ex: 2 holes and 3 pigeons means two pigeons have to share a hole.\n\n\n\n  1. Every Cayley table number n has an inverse — a number that, when multiplied by n and then taken mod m, equals 1.\n     1. Example: 2's inverse mod 7 is 4, since (2 × 4)(mod 7) ≡ 1.\n     2. Note that by its construction, there are no zeros in the row.\n     3. All numbers in a row are different. Why?\n        1. If two entries matched — say  _(n × a)(mod m) ≡ (n × b)(mod m)_ with  _a > b_ — then  _(n × (a − b))(mod m) ≡ 0_.\n        2. But  _a − b_ is between 1 and  _m − 1_ , and the row has no zeros there.\n     4. So  _n_ 's row has  _m − 1_ different, nonzero values filling  _m − 1_ spots. They must cover every nonzero residue from 1 to  _m − 1_ — including 1.\n     5. The number  _b_ with  _n × b ≡ 1 (mod m)_ is **n's inverse**.\n  2. For any number  _n_ in the Cayley table mod  _m_ :\n     1. The list  _n, n², n³, …_ has only  _m_ possible values, so two must repeat:  _nⁱ ≡ nʲ_ for some  _i < j_.\n     2. Multiplying both sides by  _n_ 's inverse  _i_ times cancels the left down to 1.\n     3. What's left:  _1 ≡ n^(j − i) (mod m)_.\n\n\n\nNote: Try 2 mod 6, where 2 isn't in the Cayley table. The powers go 2, 4, 2, 4, … The cycle never reaches 1, because 2 has no inverse mod 6. There's nothing to cancel with.\n\n#### Tools and Supplies\n\n  * Grid paper for hand-built tables.\n  * A spreadsheet tool works well for this\n  * Calculator or spreadsheet for larger  _m_.\n  * Units mod m tool (full page on desktop).\n  * Colored pencils or highlighters for marking symmetry, zeros, and cycles.\n\n\n\n#### Vocabulary\n\n  * **Modulo / Mod** : The remainder when one number is divided by another. Example: 4 mod 3 = 1.\n  * **Unit (mod _m_)**: A number with a multiplicative inverse mod  _m_ ; equivalently, a number coprime to  _m_.\n  * **Cayley table** : A table showing the result of a binary operation on every pair of elements in a set.\n  * **Latin square** : A square table where every row and column contains each symbol exactly once.\n  * **Euler's totient (_φ(m)_)**: The count of integers from 1 to  _m_ that are coprime to  _m_.\n  * **Order of an element** : The smallest positive  _k_ such that  _aᵏ ≡ 1 (mod m)_.\n  * **Generator / Primitive root** : A unit whose powers produce every unit mod  _m_.\n  * **Cyclic group** : A group generated by a single element.\n  * **Group** : A set with an operation that has closure, associativity, identity, and invertibility.\n  * **Lagrange's theorem** : The order of any element divides the size of the group.\n  * **Conjecture** : A statement believed true but not yet proven.\n  * **Counterexample** : A specific instance that disproves a conjecture.\n  * **Monoid:** A system that has closure, associativity, and identity.\n  * Ring: A set with two operations (like + and ×), where + forms a commutative group, × forms a monoid, and × distributes over +. So,  _a × (b + c) = (a × b) + (a × c)_.\n\n\n\n#### Extensions and What Ifs and Resources\n\n  * Play with the concept in more dimensions: Toy for 3D is here.\n  * William Stein, Elementary Number Theory: Primes, Congruences, and Secrets\n  * Compute  _φ(m)_ for  _m_ up to 30 and look for patterns in the Cayley table sizes.\n  * Addition vs. multiplication - what does addition look like mod m?\n  * Public-key cryptography applications\n  * Carmichael function λ(m)\n  * Gauss defined primitive roots in _Disquisitiones Arithmeticae_ (1801).\n  * **Chords on a circle.**\n    * Put  _n_ evenly spaced points on a circle and connect them with rules.\n    * Skip-_k_ chords visit every point exactly when  _k_ is a unit mod  _n_.\n      * Multiplier-_k_ chord rules send each point to a different image exactly when  _k_ is a unit mod  _n_.\n    * Both rules live in the same **ring** (ℤ/_n_ ℤ, +, ×) — step rules use the additive side, multiplier rules use the multiplicative side.\n    * See Beautiful Chords.\n\nMultiplicative group of integers modulo n - WikipediaWikimedia Foundation, Inc.Contributors to Wikimedia projects",
  "title": "Inquiries-Week 9: Mod Multiplication",
  "updatedAt": "2026-05-19T17:56:55.401Z"
}