¿Existe un nombre colectivo para las leyes de conmutatividad, asociatividad y distributividad? Si es así, ¿qué es?

Ninguno que yo sepa, y según lo veo, hay dos razones para esto. Primero, mientras que la conmutatividad y la asociatividad son atributos de una operación, la distributividad es un atributo de dos operaciones. Por lo tanto, no tiene sentido tener un término colectivo a menos que esté buscando específicamente algo con dos operaciones. En ese contexto, solo tener conmutatividad, asociatividad y distributividad no es suficiente para hacer algo interesante, por lo general.

Dicho esto, si agrega otras propiedades, como tener una identidad aditiva (o multiplicativa) y tener inversas aditivas (o multiplicativas), entonces hay nombres para todo tipo de objetos con esas propiedades. Por ejemplo, un grupo es un objeto algebraico con una operación que es asociativa, y tal que hay una identidad e inversos. Un grupo abeliano es un grupo tal que la operación también es conmutativa. Un anillo es un objeto algebraico con dos operaciones asociativas, generalmente llamadas suma y multiplicación, de modo que hay una identidad aditiva y multiplicativa, hay inversos aditivos, la suma es conmutativa y la multiplicación se distribuye sobre la suma. Un anillo conmutativo es un anillo tal que la multiplicación también es conmutativa. Un campo es un anillo conmutativo de modo que también hay inversos multiplicativos.

Para obtener una breve lista de ejemplos:

  1. Los racionales son un campo (con las nociones habituales de suma y multiplicación).
  2. Los enteros son un anillo conmutativo, pero no un campo (con las nociones habituales de suma y multiplicación).
  3. [math] 2 \ times 2 [/ math] las matrices reales son un anillo, pero no un anillo conmutativo (con suma de entrada y multiplicación de matrices).
  4. [math] 2 \ times 2 [/ math] las matrices reales con determinante [math] 1 [/ math] son ​​un grupo, pero no un grupo abeliano (con la operación de multiplicación de matrices).
  5. [matemática] 2 \ veces 2 [/ matemática] las matrices de rotación son un grupo abeliano (con la multiplicación de matrices como operación).

Hay otros ejemplos más esotéricos como rngs, magmas y similares, pero esos están menos estudiados.

La distributividad es algo que se aplica a dos operaciones. Si consideramos que su pregunta significa que ambas operaciones son conmutativas y asociativas, entonces, de acuerdo con Wikipedia, el término colectivo sería algo así como “los axiomas conmutativos del doblaje”.

No espere que más de una docena de especialistas hayan escuchado el término.