Elemento neutre

Un elemento neutre es un elemento special de un structura algebric. Omne elemento combinate con iste elemento neutre conseque le elemento mesme.

Definitiones

Sia $(M,*)$ un magma. Un elemento $e\in M$ se nomina

• neutre a sinsitra, si es ver $e\ast a=a$ pro omne $a\in M$,
• neutre a dextra, si es ver $a\ast e=a$ pro omne $a\in M$,
• neutre, si $e$ es e neutre a sinistra e neutre a dextra.
• neutre a medie, si es ver $a\ast a=e$ pro omne $a\in M$.

Si iste magma es commutative, ille tres definitiones concorda.

Altere maniera de scriber

In le litteratura mathematic in anglese o germano, usate es L- pro a sinistra e R- pro a dextra secundo le parolas left e links, e right e rechts respectivemente. In iste caso, le terminos esserea L-neutre e R-neutre.

Lege algebric

Le leges correspondente pro structuras algebric es le existentia de un elemento neutre e le existentia de un univoc elemento neutre, per exemplo in gruppos.

In concrete structuras

• Un quasi-gruppo con un elemento neutre es un loop.
• Un semigruppo con un elemento neutre es un monoide. Si additionalmente omne elemento del monoide ha un inverso, illo mesmo es un gruppo.

Ligamines externe

• groupprops.subwiki.org/wiki/Neutral_element

Vide etiam

• Tabella de leges algebric
• Magma unipotente