Let's take what I believe to be the typical representation employed for notion of direct proportionality: y = k * x
My understanding is the 'k' represents a constant while 'y' and 'x' represent mathematical objects that have a multiplication operation defined ( here denoted by *). But what if the the set of mathematical objects that you are dealing with does not have an identity element defined under its multiplication operation. I believe that if this is the case, then there also exist no inverse operation for multiplication under the set. With no inverse operation (like Division, denoted as '/'), it seems that we are unable to rewrite the typical form for direct proportionality as y/x = k.
So with all that said, is it still possible to have a proportional relationship between the mathematical objects 'x' and 'y' with no inverse operation defined for multiplication under its set? It seems like the notion of ratios and proportional relationships can still persist even when you are unable to represent them in fractional like forms, but given that mathematics is not a strong point of mine, I wanted to reach out to the community.