ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ

ਇੱਕ ਸੇਮੀਗਰੁੱਪ ਹੋਮੋਮੌਰਫਿਜ਼ਮ ਓਹ ਮੈਪ (ਨਕਸ਼ਾ) ਹੁੰਦਾ ਹੈ ਜੋ ਇੱਕ ਐਸੋਸੀਏਟਿਵ (ਸਹਿਯੋਗੀ) ਬਾਇਨਰੀ ਓਪਰੇਟਰ ਸੁਰੱਖਿਅਤ ਕਰਦਾ ਹੈ।

ਪਰਿਭਾਸ਼ਾ

ਇੱਕ ਸੇਮੀਗਰੁੱਪ ਇੱਕ ਸੈੱਟ $S$ ਹੁੰਦਾ ਹੈ ਜੋ ਇੱਕ ਬਾਇਨਰੀ ਓਪਰੇਟਰ "$\cdot$" ਨਾਲ ਇਕੱਠਾ ਹੁੰਦਾ ਹੈ (ਯਾਨਿ ਕਿ, ਇੱਕ ਫੰਕਸ਼ਨ $\cdot :S\times S\rightarrow S$) ਜੋ ਐਸੋਸੀਏਟਿਵ ਵਿਸ਼ੇਸ਼ਤਾ ਦੀ ਪਾਲਣਾ ਕਰਦਾ ਹੈ:

ਸਾਰੇ $a,b,c\in S$ ਲਈ,

ਸਮੀਕਰਨ

$(a\cdot b)\cdot c=a\cdot (b\cdot c)$

ਲਾਗੂ ਹੁੰਦੀ ਹੈ।

ਹੋਰ ਸੰਖੇਪ ਵਿੱਚ ਕਹਿੰਦੇ ਹੋਏ, ਇੱਕ ਸੇਮੀਗਰੁੱਪ ਇੱਕ ਐਸੋਸੀਏਟਿਵ ਮੈਗਮਾ ਹੁੰਦਾ ਹੈ।