wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

neutral_element (379B)

      1 # Neutral element
      2 
      3 For S a [set] and e an [element], if you have a [operation] on S, then e is a neutral element if for every x in S, you have xe = ex = x.
      4 
      5 If there is a neutral element, then there is exactly one.
      6 
      7 When you have a [semigroup], you can add a neutral element if necessary and you get a [monoid].
      8 
      9 Up: [algebra_basic_definitions]
     10 
     11 See also: [annihilating_element]