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

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

ਪਰਿਭਾਸ਼ਾ

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

ਸਾਰੇ $a,b,c\in S$ ਲਈ, ਸਮੀਕਰਨ

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

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

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