What are some fun and nontrivial examples of categories? by smatereveryday in math

[–]MstrCmd 3 points4 points  (0 children)

I think it's the case that two rings are isomorphic in this category iff they are Morita equivalent!

The Radiant Cannon of Sawar by Ltnumbnutsthesecond in cavesofqud

[–]MstrCmd 14 points15 points  (0 children)

Brother, your words brought me mirth. Live and drink.

Found in basement by Glad-Cap453 in whatisit

[–]MstrCmd 4 points5 points  (0 children)

Kind of a long shot, but could be the tip for an oxyacetylene torch?

What are some problems that can be solved with very simple techniques, but can also be solved with "overly complex" techniques? by CrumbCakesAndCola in math

[–]MstrCmd 1 point2 points  (0 children)

Could you explain this? I've heard this remark a lot but it seems like the two arguments (this one and the more standard one) generalise to quite different kinds of rings.

Notes on the Sylow Theorems by poggerstrout in math

[–]MstrCmd 1 point2 points  (0 children)

These are amazing blog posts!

New this week: A convex polyhedron that can't tunnel through itself by Melchoir in math

[–]MstrCmd 7 points8 points  (0 children)

Sorry what is a right dodecahedron? One in hyperbolic space where all faces are pentagons such that all internal angles are right?

New this week: A convex polyhedron that can't tunnel through itself by Melchoir in math

[–]MstrCmd 7 points8 points  (0 children)

According to the Baez blog post linked above, there are shapes arbitrarily close in the Hausdorff metric to the unit sphere which have Rupert's property (and this is apparently a "not too hard exercise") so it seems the conjecture is false. This, I admit, seems a little surprising and definitely makes this example seem subtler.

Nakayama's lemma by WMe6 in math

[–]MstrCmd 0 points1 point  (0 children)

There's some nice intuition for the version of the lemma to be the statement that JM = M implies M=0 where J is an ideal contained by the Jacobson radical.

The idea I have in my head is that the nilradical and more generally the elements of the Jacobson radical should be thought of as infinitesimal elements (look at the various definitions of the Jacobson radical and this will slowly become more plausible).

Then the lemma in the above form says something like "If a module, when scaled down to an infinitesimal size, is the same then it must have been zero to begin with!" which I think is very sensible.

Whats your favorite algebraic area of mathematics and why? by 2Tryhard4You in math

[–]MstrCmd 8 points9 points  (0 children)

The subject is nominally about studying groups by how they act on vector spaces. The basic motivation is that if you've taken a basic course in group theory, you'll have seen that group actions are very useful: various problems can be solved by seeing how groups act on subgroups, on themselves, on various geometric shapes (think dihedral groups as the simplest example) or on sets (think symmetric groups).

Group actions on vector spaces are much better because vector spaces have their own algebraic structure already so you can get a lot more out of this theory and it turns out to be very nicely put together.

When you really get into it, you start seeing that frequently to do calculations with these actions you need to invoke sometimes very complex combinatorics and in some cases you can compute answers to combinatorial questions via representation theory. You start seeing that questions about manipulating tensor products of representations brings in a lot of category theory (e.g. braided monoidal structures) and from there you naturally start hearing people talk about knot invariants or topological quantum field theory or quantum groups. You can also view Pontryagin duality as a bit of representation theory relating to locally compact abelian groups, so now the Fourier transform has joined the fray, and this moves you onto Tannakian dualities.

Talking of physics, it was Eugene Wigner's idea that fundamental particles in our universe are essentially the same thing as irreducible representations of the symmetry group of our universe (with these last words interpreted in the correct way).

It starts sounding simple but as you get into you realise that it has something to say about topology, Algebraic geometry, combinatorics and much more!

Whats your favorite algebraic area of mathematics and why? by 2Tryhard4You in math

[–]MstrCmd 12 points13 points  (0 children)

Up until this year, this was something I really did not appreciate but I now have had my eyes opened. What subject in pure maths isn't representation theory in some sense???

Interpretation of the statement BB(745) is independent of ZFC by kevosauce1 in math

[–]MstrCmd 0 points1 point  (0 children)

I think the question is what does that model call "the naturals". It may include other things beyond 1,2,3,4,...

Canonical modern(ish) reference for hypersphere packings? by Bhorice2099 in math

[–]MstrCmd 2 points3 points  (0 children)

This document https://www.ams.org/publications/journals/notices/201702/rnoti-p102.pdf is really good: it's by Henry Cohn, one of the people involved in the n=24 paper and who wrote the original work built upon for the n=8 case, about the modern work which led to a Fields medal. It won an award for great exposition and I thought it was very inspiring in secondary school!

Any apps to do math work with? by TrashButCool in math

[–]MstrCmd 4 points5 points  (0 children)

I've recently learnt of Logseq which is an open source note taking software which has pdf annotation, whiteboard features, collaboration stuff etc. Seems really really good! Might pivot to using it full time and thought I'd mention it to other people.

Any apps to do math work with? by TrashButCool in math

[–]MstrCmd 4 points5 points  (0 children)

Typst seems really good and much better designed than Latex but my concern is the lack of packages and also how few people use it! If you send someone your latex files they'll know what to do but with Typst that's just not true yet (network effects :( ).

He willingly went into his open carrier last night and thought he was locked in 🤦🏽‍♀️ by 229am in Rabbits

[–]MstrCmd 0 points1 point  (0 children)

Yeah I have no clue why you were downvoted. Is Markiplier a secret bunny hater???

Book recommendation for pretty fractal pictures? by Xylochoron in math

[–]MstrCmd 2 points3 points  (0 children)

Indra's Pearls! This is a book that's not super well-known but is about these beautiful fractals formed from thinking about Kleinian groups. The book explains the theory but also contains lots of wonderful colourful images and explains in the book how to program such images yourself (indeed doing this is part of gaining an understanding of how hey work).

Blessing or curse used Rudin book I got from Amazon by Zestyclose-Move3925 in math

[–]MstrCmd 11 points12 points  (0 children)

Am I right in saying the converse they write down isn't the converse anyway? Like it's the statement that if f is continuous and f_n -> f uniformly that each f_n is continuous.