Elkarkortasun

**Elkarkortasuna** edo **propietate elkarkorra** eragiketa bitar batzuen propietate matematiko bat da. Propietate horren arabera eragile elkarkor bereko bi elementu edo gehiago izanda, eragigaien sekuentzia aldatu gabe eragiketen ordenak ez du garrantzirik. Hau da, nahiz eta adierazpena parentesiekin antolatu, emaitza ez da aldatuko. Ikus:

:(2 + 3) + 4 = 2 + (3 + 4) = 9 \,

:2 \times (3 \times 4) = (2 \times 3) \times 4 = 24 .

Parentesiak lerro bakoitzean berrantolatu diren arren, adierazpenen balioak ez dira aldatu. Hori egia denez batuketa eta biderketa edozein zenbaki errealetan egitean, esan daiteke "zenbaki errealen batuketa eta biderketa eragiketa elkarkorrak" direla.

Elkarkotasuna eta kommutagarritasuna ez dira gauza bera, hau da, bi operandoen ordenak emaitza aldatzen duen ala ez. Adibidez, ordenak ez du axola zenbaki errealen biderkatzean, hau da, a × b = b × a, eta zenbaki errealen biderketa eragiketa kommutatiboa dela esaten dugu.

Elkarkotasun-eragiketak ugariak dira matematiketan; izan ere, egitura aljebraiko askok (hala nola erdi-taldeek eta kategoriek) esplizituki eskatzen dute beren eragiketa bitarrak asoziatiboak izatea.

Hala ere, eragiketa garrantzitsu eta interesgarri asko ez dira asoziatiboak; esate baterako, kenketa, berreketa eta produktu bektorial gurutzatua. Zenbaki errealen propietate teorikoak ez bezala, informatikako koma flotatzaileko zenbakien batura ez da asoziatiboa, eta adierazpen bat lotzeko modua hautatzeak eragin esanguratsua izan dezake biribiltze-errorean.

## Historia 
William Rowan Hamilton izan zen lehenengoa "elkarkortasun propietate" terminoa erabiltzen, 1844 inguruan. Garai horretan John T. Gravesek aipatutako oktonioien aljebraren ez-elkarkortasuna aztertzen ari zen.

## Notazio formala 
Iz**a**n bedi **A** multzo bat, non  \circledcirc  barne-eragiketa bitar bat definitu baita, honela:

: 
   \begin{array}{rccl}
      \circledcirc : & A \times A & \longrightarrow & A             \\
                     & (a,b)      & \longmapsto     & c = a \circledcirc b
   \end{array} 

 \circledcirc  eragiketa elkartezkoa dela esaten da, baldin eta:

: 
   \forall a, b, c \in A
   \; : \quad
   a \circledcirc (b \circledcirc c) =(a \circledcirc b) \circledcirc c

Elkarkortasun-legea honela ere adieraz daiteke notazio funtzionalean:

: 
   f(f(x,y),z) =
   f(x,f(y,z)) \,

### Batuketa eta kenketa 
Zenbaki arrunten multzotik abiatuta

: 
   \mathbb N =
   \{1, 2, 3, 4, \dots \}

batuketarako, honela definitua:

: 
   \begin{array}{rccl}
      + : & \mathbb{N} \times \mathbb{N} & \longrightarrow & \mathbb{N} \\
          & (a,b)                        & \longmapsto     & c = a + b
   \end{array} 

 (\mathbb N , + ) \, k propietate asoziatiboa du, izan ere:

: 
   \forall a, b, c \in \mathbb N
   \; : \quad
   a + (b + c) =
   (a + b) + c

Adibidez:

: 
   5 + (3 + 2) =
   (5 + 3) + 2

*Hala ere*, kenketa-eragiketarako, honela definitua:

: 
   \begin{array}{rccl}
      - : & \mathbb{N} \times \mathbb{N} & \longrightarrow & \mathbb{N} \\
          & (a,b)                        & \longmapsto     & c = a - b
   \end{array} 

 (\mathbb N , - ) \, k *ez* du elkarte-jabetzarik, izan ere:

: 
   \forall a, b, c \in \mathbb N
   \; : \quad
   a - (b - c) \neq(a - b) - c

Adibidez:

: 
   5 - (3 - 2) \neq(5 - 3) - 2

## Erreferentziak 
## Ikus, gainera 
* Banakortasun

## Kanpo estekak