Courtney R. Gibbons<\/strong> Scene:<\/em> It’s a dark and stormy night at SETI. You’re sitting alone, listening to static on the headphones, when all of the sudden you hear something: two distinct pulses in the static. Now three. Now five. Then seven, eleven, thirteen — it’s the sequence of prime numbers! A sequence unlikely to be generated by any astrophysical phenomenon (at least, so says Carl Sagan in Contact<\/em>, the novel from which I’ve lifted this scene) — in short, proof of alien intelligence via the most fundamental mathematical objects in the universe…<\/p>\n Hi! I’m Courtney, and I’m new to this column. I’ve been enjoying reading my counterparts’ posts, including Joe Malkevitch\u2019s column Decomposition<\/a> and David Austin\u2019s column Meet Me Up in Space<\/a>. I’d like to riff on those columns a bit, both to get to some fun algebra (atoms and ideals!) and to poke at the idea that math is independent of our humanity.<\/p>\n Scene: It’s a dark and stormy afternoon in Clinton, NY. I’m sitting alone at my desk with two undergraduate abstract algebra books in front of me, both propped open to their definitions of a prime number…<\/p>\n Note: <\/strong><\/span><\/em>Book A is Bob Redfield\u2019s <\/span>Abstract Algebra: A Concrete Introduction<\/span><\/em> (Bob is my predecessor at Hamilton College). Book B Abstract Algebra: Rings, Groups, and Fields<\/em> by Marlow Anderson (Colorado College; Marlow was my undergraduate algebra professor) and Todd Feil (Denison University)<\/span>.<\/span><\/p>\n I reached for the nearest algebra textbook to use as a tie-breaker, which happened to be Dummit and Foote’s Abstract Algebra<\/em>, only to find that the authors hedge their bets by providing Book A’s definition and then saying, well, actually, Book B’s definition can be used to define prime, actually. Yes, it’s a nice exercise to show these definitions are equivalent. I can\u2019t help but wonder, though: which is what it really is<\/strong><\/em> to be prime, and which is merely a consequence of that definition?<\/span><\/p>\n Some folks take the view that math is a true and beautiful thing and we humans merely discover it. This seems to me to be a way of saying that math is independent of our humanity. Who we are, what communities we belong to — these don\u2019t have any effect on Mathematics, Platonic Realm of Pure Ideas. To quantify this position as one might for an intro to proofs class: For each mathematical idea $x$, $x$ has a truth independent of humanity.\u00a0And yet, two textbooks fundamental to the undergraduate math curriculum are sitting here on my desk with the audacity to disagree about the very definition of arguably the most<\/strong> pure, most<\/strong> platonic, most<\/strong> absolutely mathematical phenomenon you could hope to encounter: prime numbers!<\/span><\/p>\n This isn\u2019t a perfect counterexample to the universally quantified statement above (maybe one of these books is wrong?). But in my informal survey of undergraduate algebra textbooks (the librarians at Hamilton really love me and the havoc I wreak in the stacks!), there\u2019s not exactly a consensus on the definition of a prime!<\/p>\n As far as I can tell, the only consensus is that we shouldn\u2019t consider $-1$, $0$, or $1$ to be prime numbers.<\/p>\n But, uh, why not?! In the case of $0$, it breaks both definitions. You can\u2019t divide by zero (footnote: well, you shouldn\u2019t divide by if you want numbers to be meaningful, which is, of course, a decision that someone made and that we continue to make when we assert “you can’t divide by zero”), and zero has infinitely many positive integer factors. But when $\\pm 1$ divides a product, it divides one (all!) of the factors. And what\u2019s so special about exactly two positive divisors anyway? Why not \u201cat most two\u201d positive divisors?<\/span><\/p>\n Well, if you\u2019re reading this, you probably have had a course in algebra, and so you know (or can be easily persuaded, I hope!) that the integers have a natural (what’s natural is a matter of opinion, of course) algebraic analog in a ring of polynomials in a single variable with coefficients from a field $F$. The resemblance is so strong, algebraically, that we call $F[x]$ an integral domain (\u201ca place where things are like integers\u201d is my personal translation). The idea of prime, or “un-break-down-able”, comes back in the realm of polynomials, and Book A and Book B provide definitions as follow:<\/span><\/p>\n Both books agree, however, that a polynomial is reducible if and only if it has a factorization that includes more than one irreducible factor (and thus a polynomial cannot be both reducible and irreducible).<\/p>\n Notice here that we have a similar restriction: the zero polynomial is excluded from the reducible\/irreducible conversation, just as the integer 0 was excluded from the prime\/composite conversation. But what about the other constant polynomials? They satisfy both definitions aside from the seemingly artificial caveat that they\u2019re not allowed to be irreducible!<\/span><\/p>\n Well, folks, it turns out that in the integers and in $F[x]$, if you\u2019re hoping to have meaningful theorems (like the Fundamental Theorem of Arithmetic or an analog for polynomials, both of which say that factorization into primes\/irreducibles is unique up to a mild condition), you don\u2019t want to allow things with multiplicative inverses to be among your un-break-down-ables! We call elements with multiplicative inverses units<\/em>, and in the integers, $(-1)\\cdot(-1) = 1$ and $1\\cdot 1 = 1$, so both $-1$ and $1$ are units (they’re the only units in the integers).<\/span><\/p>\n In the integers, we want $6$ to factor uniquely into $2\\cdot 3$, or, perhaps (if we’re being generous and allowing negative numbers to be prime, too) into $(-2)\\cdot(-3)$. This generosity is pretty mild: $2$ and $-2$ are associates<\/em>, meaning that they are the same up to multiplication by a unit. One statement of the Fundamental Theorem of Arithmetic is that every integer (of absolute value at least two) is prime or factors uniquely into a product of primes\u00a0up to the order of the factors and up to associates<\/em>. That means that the list prime factors (up to associates) that appear in the factorization of $6$ is an invariant of $6$, and the number of prime factors (allowing for repetition) in any factorization of $6$ is another invariant (and it’s well-defined). Let’s call it the\u00a0length<\/em> of $6$.<\/p>\n But if we were to let $1$ or $-1$ be prime? Goodbye, fundamental theorem! We could write $6 = 2\\cdot 3$, or $6 = 1\\cdot 1\\cdot 1 \\cdots 1 \\cdot 2 \\cdot 3$, or $6 = (-1)\\cdot (-2) \\cdot 3$. We have cursed ourselves with the bounty of infinitely many distinct possible factorizations of $6$ into a product primes (even accounting for the order of the factors or associates), and we can’t even agree on the length of $6$. Or $2$. Or $1$.<\/p>\n The skeptical, critical-thinking reader has already been working on workarounds. Take the minimum number of factors as the length. Write down the list of prime factors without their powers. Keep the associates in the list (or throw them out, but at that point, just agree that $1$ and $-1$ shouldn’t be prime!). But in the polynomial ring $F[x]$, dear reader, every<\/strong> nonzero constant polynomial is a unit: given $p(x) = a$ for some nonzero $a \\in F$, the polynomial $d(x) = a^{(-1)}$ is also in $F[x]$ since $a^{(-1)}$ is in the field $F$, and $p(x)d(x) = 1$, the multiplicative identity in $F[x]$. So, if you allow units to be irreducible in $F[x]$, now even an innocent (and formerly irreducible) polynomial like $x$ has infinitely many factorizations into things like ($a)(1\/a)(b)(1\/b)\\cdots x$. So much for those workarounds!<\/p>\n So, since we like our Fundamental Theorems to be neat, tidy, and useful, we agree to exclude units from our definitions of prime and composite (or irreducible and reducible, or indecomposable and decomposable, or…).<\/p>\n Lately I’ve been working on problems related to semigroups, by which I mean nonempty sets equipped with an associative binary operation — and I also insist that my semigroups be commutative and have a unit element.\u00a0<\/span>In the study of factorization in semigroups, the Fundamental Theorem of Arithmetic leads to the idea of counting the distinct factors an element can have in any factorization into atoms<\/em> (the semigroup equivalent of irreducible\/prime elements; these are elements $p$ that factor only into products involving units and associates of $p$).<\/p>\n One of my favorite (multiplicative) semigroups is $\\mathbb{Z}[\\sqrt{-5}] = \\{a + b \\sqrt{-5} \\, : \\, a,b \\in \\mathbb{Z}\\}$, favored because the element $6$ factors distinctly into two different products of irreducibles! In this semigroup, $6 = 2\\cdot 3$ and $6 = (1+\\sqrt{-5})(1-\\sqrt{-5})$. It’s a nice exercise to show that $1\\pm \\sqrt{-5}$ are not associates of $2$ or $3$, yielding two distinct factorizations into atoms!<\/p>\n While we aren\u2019t lucky enough to have unique factorization, at least we have that the number of irreducible factors in any factorization of $6$ is always two. That is, excluding units from our list of atoms leads to an invariant of $6$ in the semigroup $\\mathbb{Z}[\\sqrt{-5}]$.<\/p>\n Anyway, without the context of more general situations like this semigroup (and I don\u2019t know, is $\\mathbb{Z}[\\sqrt{-5}]$ one of those platonically true things, or were Gauss et al. just really imaginative weirdos?), would we feel so strongly that $1$ is not a prime integer?<\/span><\/p>\n Reminding ourselves yet again that the integers form a ring under addition and multiplication, we might be interested in the ideals generated by prime numbers. (What’s an ideal? It’s a nonempty subset of the ring closed under addition, additive inverses, and scalar multiplication from the ring.) We might even call those ideals prime ideals, and then generalize to other rings! The thing is, if we do that, we end up with this definition:<\/p>\n (Book A and B agree here:) An ideal $P$ is prime provided $xy \\in P$ implies $x$ or $y$ belongs to $P$.<\/p>\n But in the case of the integers — a principal ideal domain! — that means that a product $ab$ belongs to the principal ideal generated by the prime $p$ precisely when $p$ divides one of the factors.<\/p>\n From the perspective of rings, every (nonzero) ring has two trivial ideals: the ring $R$ itself (and if $R$ has unity, then that ideal is generated by $1$, or any other unit in $R$) and the zero ideal (generated by $0$). If we want the study of prime ideals to be the study of interesting ideals, then we want to exclude units from our list of potential primes. And once we do, we recover nice results like an ideal $P$ is prime in a commutative ring with unity if and only if $R\/P$ is an integral domain.<\/p>\n I still have two books propped open on my desk, and after thinking about semigroups and ideals, I’m no closer to answering the question “But what is a prime, really?” than I was at the start of this column! All I have is some pretty good evidence that we, as mathematicians, might find it useful to exclude units from the prime-or-composite dichotomy (I haven’t consulted with the mathematicians on other planets, though). To me, that evidence is a reminder that we are constantly updating our mathematics framework in reference to what we learn as we do more math.\u00a0 We look back at these ideas that seemed so solid when we started — something fundamentally indivisible in some way — and realize that we’re making it up as we go along. (And ignoring a lot of what other humans consider math, too, as we insist on our axioms and law of the excluded middle and the rest of the apparatus of “modern mathematics” while we’re making it up…)<\/p>\n And the math that gets done, the math that allows us to update our framework… Well, that depends on what<\/em> is trendy\/fundable\/publishable, who<\/em> is trendy\/fundable\/publishable, and who<\/em> is making all of those decisions. Perhaps, on planet Blarglesnort, math looks very different.<\/p>\n Anderson, Marlow;\u00a0Feil, Todd.\u00a0A first course in abstract algebra.\u00a0Rings, groups, and fields.<\/em> Third edition. ISBN: 9781482245523.<\/p>\n Dummit, David S.;\u00a0Foote, Richard M. Abstract algebra.<\/em> Third edition.\u00a0ISBN: 0471433349.<\/p>\n Redfield, Robert. Abstract algebra. A concrete introduction. First edition. ISBN: 9780201437218.<\/p>\n Geroldinger, Alfred;\u00a0Halter-Koch, Franz. Non-unique factorizations. Algebraic, combinatorial and analytic theory.<\/em> ISBN: 9781584885764.<\/p>\n","protected":false},"excerpt":{"rendered":" What is a prime, and who decides? Some people view mathematics as a purely platonic realm of ideas independent of the humans who dream about those ideas. If that’s true, why can’t we agree on the definition of something as universal as a prime number? Courtney R. Gibbons Hamilton CollegeRead More →<\/a><\/span><\/p>\n","protected":false},"author":5,"featured_media":793,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[3,6,10],"tags":[56,62],"class_list":["entry","author-cgibbons","post-594","post","type-post","status-publish","format-standard","has-post-thumbnail","category-3","category-algebra-and-number-theory","category-courtney-gibbons","tag-partitions","tag-primes"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2022\/03\/cropped-cropped-mathvoices-banner-feat-col-1.png?fit=1200%2C279&ssl=1","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/594","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/comments?post=594"}],"version-history":[{"count":5,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/594\/revisions"}],"predecessor-version":[{"id":1458,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/594\/revisions\/1458"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media\/793"}],"wp:attachment":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media?parent=594"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/categories?post=594"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/tags?post=594"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nHamilton College<\/strong><\/p>\n![\"\"](\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2021\/11\/AMS-blog-photo.jpg?resize=200%2C200&ssl=1\")
<\/p>\nIntroduction<\/h3>\n
![\"SETI's](\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2021\/11\/Very_Large_Array_-_New_Mexico_U.S.A._-_2009-08.jpg?resize=300%2C187&ssl=1\")
Introduction, Take 2<\/h3>\n
\n
Who Decides?<\/h3>\n
![\"Two](\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2021\/11\/20211027_123524.jpg?resize=300%2C225&ssl=1\")
![\"A](\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2021\/11\/1prime-1.jpeg?resize=1024%2C455&ssl=1\")
<\/p>\n\n
More Consequences (or Precursors)<\/h3>\n
![\"On](\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2021\/11\/Untitled-Notebook-3-19.jpg?resize=994%2C944&ssl=1\")
<\/p>\nStill More Consequences (or precursors)<\/h3>\n
Conclusions<\/h3>\n
References<\/h3>\n