The Krull dimension of the semiring of natural numbers is equal to 2

Comments (4)

OgsyedIE · 4h ago

Forgive me for being rusty with this higher level of algebra, but isn't this just counting the degrees of freedom in Spec(Z) and Spec(N) respectively?

ngriffiths · 3h ago

Interesting, makes me curious about geometric ways of looking at semirings. Krull dimension is an algebraic way of capturing the dimension of corresponding geometric objects, so is there some way of doing that with semirings? Or any more intuitive reason why we'd get dimension 2 here? The papers I found in a quick search are way over my head.

macrolocal · 58m ago

By analogy with stacks, my intuition is that Spec(N) still has a one-dimensional geometry, but with a (-1)-dimensional tier from quotienting out the prime points by a semiring action.

MarkusQ · 3h ago

> such that addition distributes over multiplication:

> (a+b)c=ac+bc and c(a+b)=ca+cb

This is usually referred to as multiplication distributing over addition.

Global hack on Microsoft Sharepoint hits U.S., state agencies, researchers say (washingtonpost.com)

Uv: Running a script with dependencies (docs.astral.sh)

If writing is thinking then what happens if AI is doing the writing and reading? (hardcoresoftware.learningbyshipping.com)

What went wrong inside recalled Anker PowerCore 10000 power banks? (lumafield.com)

AccountingBench: Evaluating LLMs on real long-horizon business tasks (accounting.penrose.com)

Don't bother parsing: Just use images for RAG (morphik.ai)

Losing language features: some stories about disjoint unions (graydon2.dreamwidth.org)

TrackWeight: Turn your MacBook's trackpad into a digital weighing scale (github.com)

Scarcity, Inventory, and Inequity: A Deep Dive into Airline Fare Buckets (blog.getjetback.com)

Erlang 28 on GRiSP Nano using only 16 MB (grisp.org)

New records on Wendelstein 7-X (iter.org)

LetsEncrypt Outage (letsencrypt.status.io)

Spice Data (YC S19) Is Hiring a Product Associate (New Grad) (ycombinator.com)

Game Genie Retrospective: The Best NES Accessory Ever Was Unlicensed (tedium.co)

Jujutsu for Busy Devs (maddie.wtf)

The Fundamentals of Asyncio (github.com)

Show HN: Lotas – Cursor for RStudio (lotas.ai)

Sutton SignWriting is a writing system for sign languages (en.m.wikipedia.org)

Occasionally USPS sends me pictures of other people's mail (the418.substack.com)

UK backing down on Apple encryption backdoor after pressure from US (arstechnica.com)

My favourite German word (vurt.org)

Jqfmt like gofmt, but for jq (github.com)

MIPS – The hyperactive history and legacy of the pioneering RISC architecture (thechipletter.substack.com)

Gemini with Deep Think achieves gold-medal standard at the IMO (deepmind.google)

Modern Debian-based Window Maker distribution (wmlive.sourceforge.net)

Scholars solved a 130-year literary mystery and it hinged on one word (sciencedaily.com)

FCC to eliminate gigabit speed goal and scrap analysis of broadband prices (arstechnica.com)

Amazon and the “Profitless Business Model” Fallacy (eugenewei.com)

SecretSpec: Declarative Secrets Management (devenv.sh)

We made Postgres writes faster, but it broke replication (paradedb.com)

Hiding messages in a deck playing cards (asherfalcon.com)

Make Map Icons with Orthographic Projections (esri.com)

Show HN: Pogocache – Fast caching software (github.com)

The daily life of a medieval king (medievalists.net)

Memory Efficiency in iOS: Reducing footprint and beyond (antongubarenko.substack.com)

The Krull dimension of the semiring of natural numbers is equal to 2 (freedommathdance.blogspot.com)

12ft.io Taken Down (newsmediaalliance.org)

Vibe Coding Gone Wrong: 5 Rules for Safely Using AI (cybercorsairs.com)

Ask HN: Why is Gmail so incompetent at basic search?

Germany's Fairytale Castles Added to UNESCO's World Heritage List (smithsonianmag.com)

Comparison of MGR, SunView, OpenWindows and X11R6 (2022) (oldvcr.blogspot.com)

Reverse Engineering the Mysterious Up-Data Link Test Set from Apollo (righto.com)

Show HN: MCP Jetpack – The easiest way to get started with MCP in Cursor (mcpjetpack.com)

Show HN: Intercepting proxy for semantic search over visited pages (github.com)

Shale Drillers Turn on Each Other as Toxic Water Leaks Hit Biggest US Oil Field (bloomberg.com)

Man wearing metallic necklace dies after being sucked into MRI machine (bbc.com)

Quadratic forms beyond arithmetic (ams.org)

Show HN: Built an email marketing platform after paying $230/month (fertit.com)

ESP32-Faikin: ESP32 based module to control Daikin aircon units (github.com)

1990 Networking: LAN Manager 2.0 (os2museum.com)

The Krull dimension of the semiring of natural numbers is equal to 2

Comments (4)