A Set under a binary operation forms a Magma.

A Set under a "unary" operation forms a "Function from a Set to itself" (according to Is there a name for a set together with a unary operation?)

What is the name of the Algebraic structures that are formed for a Set under operations which have arity 3 or higher(or unknown arity)?

Also, does it make sense to have an algebraic structure with arity 0?

  • $\begingroup$ It seems more proper to speak of the arity of an operation, and of an algebraic structure when named operations of specified arity satisfy fixed axioms. $\endgroup$ – hardmath Sep 23 '16 at 23:42
  • $\begingroup$ so without axioms of interest, the structure is of no special interest? $\endgroup$ – Dmitry Sep 23 '16 at 23:44
  • $\begingroup$ You were correct to point out magma as a set with a binary operation that is not further qualified by properties. Such very abstract settings are not entirely devoid of interest. But in applications the qualifying properties such as associativity generate most of our interest. $\endgroup$ – hardmath Sep 23 '16 at 23:55
  • $\begingroup$ if I am not mistaken, magma does require closure. $\endgroup$ – Dmitry Sep 23 '16 at 23:56
  • 1
    $\begingroup$ Closure is merely saying that an operation (in this case a binary operation) is defined. This is more a feature of the language of operations, and thus "closure" can be finessed as an axiom. $\endgroup$ – hardmath Sep 24 '16 at 0:01

An algebraic function with arity zero is a constant symbol. For example, we may describe a ring (with unit) using binary operations $+$, $\cdot$, unary operation $-$, and nullary operations $0, 1$.

  • $\begingroup$ For general operations of $n$ (possibly) greater than 3 arguments (three would be called "ternary"), mathematicians and computer scientists usually resort to the neologism "$n$-ary". $\endgroup$ – hardmath Sep 24 '16 at 16:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.