• propter_hog [any, any]
    ·
    25 days ago

    If R is also commutative over * and has inverses over *, then your ring is a field, and from that we get to linear algebra, and from there to literally all of computing. So there's that.