Sivecano

joined 2 years ago
[–] Sivecano@lemmy.dbzer0.com 2 points 4 days ago

yeah, top-left is regular multiplication. Top-center actjally is the so-called alternating product (basically the correct way of defining the cross product).

Top-right is supposed to be the operation in a gtoup.

There's no explicit cartesian product here but the middle one is the tensor product. The tensor prodict of sets (in so far as that statement makes sense) is the cartesian product.

:)

[–] Sivecano@lemmy.dbzer0.com 2 points 4 days ago

Totally, set theory is deep dark magic and tbh set theorists kinda scare me. Like they'll gleefully introduce incredibly complicated objects with very little intuition about them

[–] Sivecano@lemmy.dbzer0.com 2 points 4 days ago (2 children)

You know the top left one. They teach that in schools.

[–] Sivecano@lemmy.dbzer0.com 1 points 4 days ago (2 children)

I mean... Ideal theory of rings? (Smth like (5) ∪ (7))

[–] Sivecano@lemmy.dbzer0.com 2 points 6 days ago (4 children)

Set theory is relatively lawful.