algebra

Borderline embarrassing discussion of math below. If you are a math friend reading this lmk your thoughts.

jump to page navigation ⇩


With all this "rings" formatting thinking, I have also been thinking about algebra and algebraic rings again.

Quick intro is that a ring, represented as <R,+,·>, is a collection of things that relate with two binary operators, addition (+) and multiplication (·), where the following axioms hold:

  1. <R,+> (the set with only addition) is an abelian group, meaning:
    1. (a+b)+c=a+(b+c), i.e. addition is associative.
    2. a+b=b+a, i.e. addition is commutative.
    3. There exists an element e in R such that a+e=a (R contains an identity element).
    4. For every a in R, there also exists an a in R such that a+a=e (all elements have an inverse).
  2. Multiplication is associative, i.e. (a·b)·c=a·(b·c).
  3. For all a,b,c in R, the left distributive law, a·(b+c)=(a·b)+(a·c) and the right distributive law (a+b)·c=(a·c)+(b·c) hold.

Frankly, I was decent at Modern Algebra I but really remarkably bad at Modern Algebra II (one indicator of how my brain function deteriorated from seizures, tbh). So don't take me at my word with anything regarding algebra, in the present day.

Actually structuring this site as an algebraic ring is not possible as far as I am capable. While the inverse of a blog post might be a thing you could figure out, what would multiplying texts mean, and then what is the "identity text." How could adding texts be commutative? How could you possibly distribute a text (i meant in a math way, but I guess I am already distributing this text, so maybe there's a clue there).

Alternatively could do an algebra-inspired formatting thing throughout the site, but that may be a little too heady for me.

Idk, mostly I wanted to write the above to see how Obsidian inline math formatting holds up in this garden, and it works pretty well.

Groups might be more approachable though!

Note

Cayley_graph_of_F2.png
This image of a Cayley graph of the free group on two generators is reminiscent of this site's structure but it's absolutely not the same at all in any way. But it's pretty! And I am not quite sure what the free group is, I think I learned about it but don't remember any details.

The graphs of the links and nodes of some parts of this website sorta remind me of cyclic groups and their cycle graphs! Cyclic groups were one of the only things I was able to wrap my head around in Algebra II, and I really like them. Could think about this.

Dihedral groups (symmetries of a polygon) are another thing I really liked in algebra. And are maybe also approachable for making a gardening of this form at some point. It would be really fun to structure a piece or collection of writing/narrative around all its symmetries, like the figure below:

Note

Dih_4_Cayley_Graph;_generators_a,_b.png
Cayley graph of D4 (dihedral group of order 4, a.k.a. symmetries of a square) on two generators (where a is a clockwise rotation, and b is a vertical reflection).

These ideas are remarkably fuzzy. If any math friends read this let me know if you have any ideas that are less fuzzy (or fuzzy in a more orderly way).

Note

CycleGraph_650.png
Some of these depictions of cycle graphs have me thinking too...

While I'm talking about groups, shoutout to my favorite frieze groups, which I gave a presentation on shortly after John Conway died and it made my professor cry. Groups you can dance to, as he described.

Note

Frieze_spinning_sidle.png
Frieze_group_mg.png
The "spinning sidle" frieze group is a fun one to leave in the snow that is on the ground right now (late January, 2026). But be careful!! The other ones would be fun too, probably, but beware the spinning hop.


Thoughts Gardening

previous page ⇽ 💬 ⇾ next page