Trevor Hyde

Notes

Expository notes on mathematics and slides from my talks.

Slides

Down the Rabbit Hole: An Introduction to p-adic Numbers

Math Day keynote address, Colorado State University · November 2026

It’s a curious fact that 1 = 0.999… where the 9s repeat forever to the right. An even curiouser fact is that βˆ’1 = …999 where the 9s repeat forever to the left. Now that may seem crazy, but in this talk I will explain the twisted logic behind it which leads us down a rabbit hole to the strange world of p-adic numbers.

The Cheshire Cat, fading away to a grin

Interactive

Interactive tools and visualizations, mostly built for my courses. Each one runs in the browser.

Portalz

Walk around inside 3-manifolds built as branched covers. Simple rooms are stitched together along invisible membranes and explored seamlessly in first person. In the knot hall a trefoil, figure-eight knot, or Hopf link floats overhead, and looking through the knot shows you the other sheets of the cover, like the colored rooms of the S3 cover of the trefoil pictured here.

A black trefoil knot with blue, green, and red rooms visible through its loops A white trefoil knot with blue, green, and red rooms visible through its loops

Timeline of Mathematics

A tool for visualizing the history of mathematics. Choose mathematicians and events from a list to add them to the timeline, then click any of them for a short description and an image. I made it to give historical context in my classes, so the current selection reflects the occasions where I have used it.

The blue hourglass icon of the Timeline of Mathematics

Row Reducer

Practice row reduction one elementary row operation at a time, with exact rational arithmetic. Start from a matrix or a linear system, watch each operation animate, and see when you reach row echelon and reduced row echelon form. Work can be shared by link or exported to LaTeX. Inspired by the row reduction demo in Margalit and Rabinoff’s Interactive Linear Algebra.

Linear Map Visualizer

See what a matrix does to space. Enter a 2 Γ— 2, 2 Γ— 3, 3 Γ— 2, or 3 Γ— 3 matrix and watch it carry a figure, the unit circle or sphere, and a lattice from the domain to the codomain, drawn side by side in two or three dimensions.

A small 3D house sheared by a linear map, its walls leaning and its base tilted

The Group Determinant

Math 301 Representation Theory · Fall 2026

Explore Frobenius’s group determinant. Choose a finite group to see its presentation, its multiplication table, the matrix (xgh), and the factorization of det(xgh) into irreducible polynomials: one factor for each irreducible representation, raised to the power of its degree.

Lines in 𝔽32

Math 301 Representation Theory · Fall 2026

Draw affine lines over the field with three elements and watch what an element of the affine group Aff2(𝔽3) does to them. Points can be shown on a 3 Γ— 3 grid or on the integer lattice, where each line of 𝔽32 appears together with all of its translates.

Ricochet Solitaire

A solitaire version of the board game Ricochet Robots. Robots slide until they hit a wall or another robot; find a short route to the target, then compare your solution with an exhaustive solver that always finds an optimal one.

QR Code Generator

A simple generator for static QR codes. Paste a link or some text, pick foreground and background colors (the presets come from Vassar’s official palette) and a border width, then copy or download the code as a PNG. The codes are static, so they never expire. Scan the one here to open the generator.