#代数系の初歩 28

英語名称の復習

#代数的構造 algebraic structure
#代数系 algebraic system

#二項演算 binary operation
#簡約法則，簡約律 cancellation property

#マグマ magma
#亜群 groupoid
#半群 semigroup
#モノイド monoid
#準群 quasigroup, quasi-group
#擬群，ループ loop

#代数系の初歩 10

#マグマ (数学) 英:magma
https://ja.wikipedia.org/wiki/...

・ #亜群(あぐん, groupoid)とも呼ばれる.
ただしこれとは別に，
#圏論 に「亜群」という用語があるので
混同してはならない.

・ #二項演算 が #閉じている ことを要求し
それ以外の何らの #公理 も課さない.