{{위키데이터 속성 추적}}
{{다른 뜻|반란|[[대수 구조]]|반란을 일으킨 군대인 반군(叛軍)}}
{{대수 구조|expanded=군}}
[[추상대수학]]에서 '''반군'''(半群, {{llang|en|semigroup}})은 [[결합법칙]]을 따르는 하나의 [[이항 연산]]이 부여된 [[대수 구조]]이다.

== 정의 ==
'''반군''' <math>(S,\cdot)</math>은 다음과 같은 데이터로 구성되는 [[대수 구조]]이다.
* <math>S</math>는 [[집합]]이다.
* <math>\cdot\colon S\times S\to S</math>은 [[결합법칙]]을 만족시키는 [[이항 연산]]이다.
<math>\cdot</math>은 항등원을 가질 필요가 없다. 항등원을 갖는 반군을 '''[[모노이드]]'''라고 한다. 즉, 반군과 모노이드의 관계는 [[유사환]]과 [[환 (수학)|환]]의 관계와 같다. 보통, 편의상 이항 연산을 (곱셈과 같이) 생략하는 경우가 많다.

즉, 다음과 같은 포함 관계가 성립한다.
:[[마그마 (수학)|마그마]] ⊋ 반군 ⊋ [[모노이드]] ⊋ [[군 (수학)|군]]

=== 반군 준동형 ===
두 반군 <math>S</math>, <math>T</math> 사이의 '''반군 준동형'''(半群準同型, {{llang|en|semigroup homomorphism}})은 다음 조건을 만족시키는 함수 <math>f\colon S\to T</math>이다.
* (이항 연산의 보존) 임의의 <math>s,t\in S</math>에 대하여, <math>f(st)=f(s)f(t)</math>

모든 모노이드는 반군이므로, 두 모노이드 사이의 반군 준동형을 생각할 수 있다. 두 모노이드 사이의 모든 [[모노이드 준동형]]은 반군 준동형이지만, 두 모노이드 사이의 반군 준동형은 모노이드 준동형이 아닐 수 있다 (즉, 항등원을 항등원으로 대응시키지 않을 수 있다).

=== 부분 반군 ===
반군 <math>S</math>의 부분 집합 <math>T\subseteq S</math>가 다음 조건을 만족시킨다면, <math>T</math>를 <math>S</math>의 '''부분 반군'''(部分半群, {{llang|en|subsemigroup}})라고 한다.
* 임의의 <math>s,t\in S</math>에 대하여, <math>st\in S</math>
모노이드의 모든 [[부분 모노이드]]는 부분 반군이지만, 모노이드의 부분 반군은 부분 모노이드가 아닐 수 있다 (즉, 항등원을 포함하지 않을 수 있다).

반군 <math>S</math> 속에서, 다음 조건을 만족시키는 부분 반군 <math>I\subseteq S</math>을 <math>S</math>의 '''왼쪽 아이디얼'''({{llang|en|left ideal}})이라고 한다.
:<math>si\in I\qquad\forall s\in S,i\in I</math>
반군 <math>S</math> 속에서, 다음 조건을 만족시키는 부분 반군 <math>I\subseteq S</math>을 <math>S</math>의 '''오른쪽 아이디얼'''({{llang|en|right ideal}})이라고 한다.
:<math>is\in I\qquad\forall s\in S,i\in I</math>
왼쪽 아이디얼이자 오른쪽 아이디얼인 부분 반군을 '''아이디얼'''({{llang|en|ideal}})이라고 한다. 모노이드의 아이디얼은 부분 모노이드를 이룰 필요가 없다 (즉, 1을 포함하지 않을 수 있다). 이는 [[환 (수학)|환]]의 환론적 아이디얼이 [[부분환]]을 이룰 필요가 없는 것과 마찬가지다.

반군 <math>S</math>의 부분 반군의 몫반군을 <math>S</math>의 '''인자'''({{llang|en|divisor}})라고 한다.

=== 특별한 원소 ===
==== 영원 ====
반군 <math>S</math> 속에서, 다음과 같은 원소 <math>0_L\in S</math>가 존재한다면, 이를 <math>S</math>의 '''왼쪽 영원'''({{llang|en|left zero element}})이라고 한다.
:<math>0_Ls=0_R\qquad\forall s\in S</math>
반군 <math>S</math> 속에서, 다음과 같은 원소 <math>0_R\in S</math>가 존재한다면, 이를 <math>S</math>의 '''오른쪽 영원'''({{llang|en|right zero element}})이라고 한다.
:<math>s0_R=0_R\qquad\forall s\in S</math>
왼쪽 영원이자 오른쪽 영원인 원소를 '''영원'''({{llang|en|zero element}})이라고 한다. 왼쪽 영원과 오른쪽 영원은 일반적으로 유일하지 않지만, (양쪽) 영원은 만약 존재한다면 유일하다.

==== 항등원 ====
반군 <math>S</math> 속에서, 다음과 같은 원소 <math>1_L\in S</math>가 존재한다면, 이를 <math>S</math>의 '''왼쪽 항등원'''({{llang|en|left identity element}})이라고 한다.
:<math>1_Ls=s\qquad\forall s\in S</math>
반군 <math>S</math> 속에서, 다음과 같은 원소 <math>1_R\in S</math>가 존재한다면, 이를 <math>S</math>의 '''오른쪽 항등원'''({{llang|en|right identity element}})이라고 한다.
:<math>s1_R=s\qquad\forall s\in S</math>
왼쪽 항등원이자 오른쪽 항등원인 원소를 '''항등원'''({{llang|en|identity element}})이라고 한다. 왼쪽 항등원과 오른쪽 항등원은 일반적으로 유일하지 않지만, (양쪽) 항등원은 만약 존재한다면 유일하다. 이렇게 양쪽 항등원을 갖는 반군을 '''[[모노이드]]'''라고 한다.

==== 멱등원 ====
반군 <math>S</math> 속에서 <math>s^2=s</math>를 만족시키는 원소 <math>s\in S</math>를 '''멱등원'''({{llang|en|idempotent element}})이라고 한다. 왼쪽 영원 · 오른쪽 역원 · 왼쪽 항등원 · 오른쪽 항등원은 모두 항상 멱등원이다.

유한 반군은 항상 적어도 하나 이상의 멱등원을 갖는다. 보다 일반적으로, 모든 원소의 차수가 유한한 반군은 적어도 하나 이상의 멱등원을 갖는다. 이는 하나의 원소로 생성되는 모든 유한 반군은 멱등원을 갖기 때문이다.

==== 정칙원 ====
반군 <math>S</math> 속의 원소 <math>s\in S</math>에 대하여, 만약 <math>sts=s</math>가 되는 원소 <math>t\in S</math>가 존재한다면, <math>s</math>를 '''정칙원'''({{llang|en|regular element}})이라고 하고, <math>t</math>를 <math>s</math>의 '''유사역원'''({{llang|en|pseudoinverse}})이라고 한다. 유사역원은 일반적으로 유일하지 않다.

== 연산 ==
=== 반대 반군 ===
반군 <math>(S,\cdot)</math>가 주어졌을 때, 집합 <math>S</math> 위에 다음과 같은 다른 [[이항 연산]] <math>\cdot'</math>을 줄 수 있다.
:<math>\cdot'\colon S\times S\to S</math>
:<math>a\cdot'b=b\cdot a\qquad\forall a,b\in S</math>
그렇다면 <math>(S,\cdot')</math>는 반군을 이룬다. 이를 <math>(S,\cdot)</math>의 '''반대 반군'''(反對半群, {{llang|en|opposite semigroup}})이라고 하고, <math>S^{\operatorname{op}}</math>으로 쓴다.

[[반대 모노이드]]나, [[군론]]의 [[반대군]]이나, [[환론]]의 [[반대환]]은 반대 반군의 특수한 경우이다.

군의 경우 모든 군은 스스로의 [[반대군]]과 역원 함수를 통해 표준적으로 [[동형]]이지만, 반군의 경우 일반적으로 스스로의 반대 반군과 동형이 아니다. (가환 반군은 물론 스스로의 반대 반군과 같다.)

=== 몫반군 ===
[[반군]] <math>S</math> 위의 [[합동 관계]] <math>\sim</math>는
:<math>s\sim s'\land t\sim t'\implies st\sim s't'\qquad\forall s,s',t,t'\in S</math>
를 만족시키는 <math>S</math> 위의 [[동치 관계]]이다. 반군 위의 합동 관계가 주어졌을 때 '''몫반군'''(-半群, {{llang|en|quotient semigroup}}) <math>S/{\sim}</math>을 정의할 수 있다. [[군 (수학)|군]]이나 [[유사환]]의 경우와 달리, 반군의 경우 [[합동 관계]]는 일반적으로 [[정규 부분군]]이나 [[아이디얼|유사환 아이디얼]]과 같은 부분 집합으로 나타내어지지 않는다.

몫반군의 특별한 경우로, 반군 <math>S</math>의 아이디얼 <math>I\subseteq S</math>가 주어졌을 때, [[동치 관계]]
:<math>a\sim b\iff a=b\lor a,b\in I</math>
는 [[합동 관계]]를 이루며, 따라서 몫반군 <math>S/I</math>를 정의할 수 있다. 이러한 꼴의 몫반군을 '''리스 몫반군'''({{llang|en|Rees quotient}})이라고 한다. 만약 <math>I</math>가 공집합이 아니라면, <math>S/I</math>는 항상 영원 <math>I\in S/I</math>를 가진다. 만약 <math>I=\varnothing</math>이라면 <math>S/\varnothing=S</math>이며, 반대로 <math>I=S</math>라면 <math>S/S=1</math>은 [[자명군]]이다.

=== 직접곱 ===
{{본문|직접곱}}
반군의 [[모임 (집합론)|모임]]은 [[대수 구조 다양체]]이므로, 여러 개의 반군들의 '''[[직접곱]]'''을 정의할 수 있다. 이는 반군과 반군 준동형의 범주에서의 [[곱 (범주론)|범주론적 곱]]이다. 구체적으로, 반군들의 집합 <math>\{S_i\}_{i\in I}</math>의 '''직접곱''' <math>\textstyle\prod_iS_i</math>은 집합으로서 [[곱집합]]과 같으며, 그 위의 이항 연산은 다음과 같다.
:<math>(a_i)_{i\in I}\cdot(b_i)_{i\in I}=(a\cdot b)_{i\in I}\qquad\forall a_i,b_i\in S_i</math>
각 <math>S_i</math>의 성질은 <math>\textstyle\prod_{\in I}S_i</math>에게 다음과 같이 유전된다.
* 만약 모든 <math>S_i</math>가 가환 반군이라면, 이들의 직접곱 <math>\textstyle\prod_i S_i</math> 역시 가환 반군이다.
* 만약 모든 <math>S_i</math>가 모노이드라면, 직접곱 <math>\textstyle\prod_i S_i</math> 역시 모노이드이며, 이는 모노이드 직접곱과 같다.
* 만약 모든 <math>S_i</math>가 [[군 (수학)|군]]이라면, 직접곱 <math>\textstyle\prod_i S_i</math> 역시 군이며, 이는 군의 직접곱과 같다.

=== 반직접곱 ===
{{본문|반직접곱}}
두 반군 <math>N</math>, <math>H</math> 및 <math>H</math>의 <math>N</math> 위의 작용 <math>\phi\colon H\to\operatorname{End}N</math>이 주어졌을 때, 반직접곱 <math>N\rtimes_\phi H</math>를 정의할 수 있다.

=== 자유곱 ===
{{본문|자유곱}}
반군의 [[모임 (집합론)|모임]]은 [[대수 구조 다양체]]이므로, 여러 개의 반군들의 '''[[자유곱]]'''을 정의할 수 있으며, 이는 반군의 범주의 [[쌍대곱]]이다. 반군의 자유곱은 [[모노이드]]의 자유곱과 다르다. 즉, 각 성분들의 항등원이 모노이드 자유곱에서는 한 원소로 합쳐지지만, 반군 자유곱에서는 그렇지 않다.

=== 영원의 추가 ===
반군 <math>S</math>가 주어졌을 때, <math>S\sqcup\{0\}</math>에 다음과 같은 [[이항 연산]]을 주자.
:<math>0s=s0=0^2=0\qquad\forall s\in S</math>
그렇다면 <math>S\sqcup\{0\}</math>는 반군을 이루며, 새로 추가한 원소 <math>0</math>은 그 속의 영원을 이룬다. 만약 <math>S</math>가 [[모노이드]]라면 <math>S\sqcup\{0\}</math> 역시 모노이드이다.

=== 멱집합 ===
반군 <math>S</math>가 주어졌을 때, 그 [[멱집합]] <math>\mathcal P(S)</math> 위에 다음과 같은 이항 연산을 주자.
:<math>AB=\{ab\colon a\in A,b\in B\}</math>
그렇다면 <math>\mathcal P(S)</math>는 반군을 이룬다. <math>\mathcal P(S)</math>는 항상 영원을 가지며, 이는 [[공집합]]이다. 또한, <math>\mathcal P(S)\setminus\{\varnothing\}</math> 역시 반군을 이룬다.
만약 <math>S</math>가 [[모노이드]]라면 <math>\mathcal P(S)</math> 역시 [[모노이드]]이다.

=== 화환곱 ===
{{본문|화환곱}}
[[군론]]의 [[화환곱]]({{llang|en|wreath product}})을 반군에 대하여 일반화할 수 있다. 즉, 두 반군 <math>S</math>, <math>T</math>와 <math>T</math>가 왼쪽에서 작용하는 집합 <math>X</math>가 주어졌을 때, '''화환곱''' <math>S\wr_XT</math>는 집합 <math>M^X\times N</math> 위에 주어진 반군이다. 구체적으로, 이는 다음과 같다.
:<math>((m_x)_{x\in X},n)\cdot((m'_x)_{x\in X},n')=\left((m_xm_{n\cdot x'})_{x\in X},nn'\right)</math>
작용을 갖춘 반군들에 대하여, 화환곱은 결합 법칙을 따른다.

== 성질 ==
[[군론]]의 [[케일리 정리]]와 마찬가지로, 반군에 대하여 '''케일리 정리'''가 성립한다. 즉, 임의의 반군 <math>S</math>에 대하여, 어떤 집합 <math>X</math> 위의 완전 변환 모노이드 <math>\operatorname{End}_{\operatorname{Set}}(X)</math>로 가는 단사 반군 준동형
:<math>\iota\colon S\to\operatorname{End}_{\operatorname{Set}}(X)</math>
이 존재한다. 또한, 만약 <math>S</math>가 유한 반군이라면 <math>X</math> 역시 [[유한 집합]]으로 잡을 수 있다.

반군 <math>S</math>의 부분 반군 가운데 부분군인 것들은 포함 관계에 따라 [[부분 순서 집합]]을 이룬다. 그렇다면, 다음 두 집합 사이에 표준적인 [[전단사 함수]]가 존재한다.
* <math>S</math>의 극대 부분군들의 집합
* <math>S</math>의 멱등원들의 집합
구체적으로, <math>S</math>의 극대 부분군 <math>G\subseteq S</math>에 대하여, <math>1_G\in G\subseteq S</math>는 <math>S</math>의 멱등원을 이룬다. 반대로, 임의의 멱등원 <math>i\in S</math>에 대하여, <math>i</math>에 대한 역원을 갖는 모든 원소들의 집합
:<math>G_i=\{s\in S\colon is=si=s,\;\exists t\in S\colon st=ts=1\}</math>
은 <math>i</math>를 항등원으로 하는 극대 부분군이다.

[[공집합]]이 아닌 모든 유한 반군은 항상 하나 이상의 멱등원을 가진다. ([[모노이드]]의 경우 항등원이 멱등원이므로 이는 자명하게 성립한다.) 그러나 이는 무한 반군에 대하여 성립하지 않는다.

== 종류 ==
다음과 같은 특별한 종류의 반군들의 모임이 존재한다.
* '''멱등 반군'''({{llang|en|idempotent semigroup}}, {{llang|en|band|밴드}})은 모든 원소가 멱등원인 반군이다.
* '''가환 반군'''({{llang|en|commutative semigroup}})은 [[이항 연산]]이 [[교환 법칙]]을 따르는 반군이다.
**  멱등 가환 반군을 '''반격자'''({{llang|en|semilattice}})라고 하기도 한다.
* '''[[모노이드]]'''({{llang|en|monoid}})는 항등원을 갖는 반군이다.
* '''왼쪽 소거 반군'''({{llang|en|left-cancellative semigroup}})은 만약 <math>ab=ac</math>라면 <math>b=c</math>가 성립하는 반군이다.  '''오른쪽 소거 반군'''({{llang|en|right-cancellative semigroup}})은 만약 <math>ba=ca</math>라면 <math>b=c</math>가 성립하는 반군이다. '''소거 반군'''({{llang|en|cancellative semigroup}})은 왼쪽 소거 반군이자 오른쪽 소거 반군인 반군이다.
* '''정칙 반군'''({{llang|en|regular semigroup}})은 모든 원소가 정칙원인 반군이다.
* '''아르키메데스 반군'''({{llang|en|Archimedean semigroup}})은 임의의 원소 <math>a,b\in S</math>에 대하여 <math>a^n=bc</math>가 되는 원소 <math>c\in S</math>와 양의 정수 <math>n\in\mathbb Z^+</math>이 존재하는 가환 반군이다.

== 분류 ==
=== 유한 반군 ===
유한 반군에 대하여, '''크론-로즈 정리'''({{llang|en|Krohn–Rhodes theorem}})라는 구조 정리가 존재한다. 이에 따르면, 모든 유한 반군 <math>S</math>는 [[유한 단순군]]과 비자명군을 포함하지 않는 유한 반군들의 [[화환곱]]의 부분 반군의 몫반군이다. 즉, 다음과 같은 꼴로 나타낼 수 있다.
:<math>S=T/{\sim}</math>
:<math>T\subseteq G_1\wr\cdots\wr G_n</math>
여기서
* <math>G_1,\dots,G_n</math>은 각각 다음 둘 가운데 하나이다.
**  [[유한 단순군]]이며, 스스로 위에 [[군의 작용|작용]]한다.
** 크기 2의 집합 위에 작용하는 크기 3의 비가환 멱등 [[모노이드]]인 '''플립플롭 모노이드'''({{llang|en|flip-flop monoid}})이다. (이러한 모노이드는 두 개가 있으며, 서로의 [[반대 모노이드]]이다.)
* <math>\wr</math>는 작용을 갖춘 반군들의 [[화환곱]]이다.
* <math>T</math>는 위 (반)군들의 화환곱의 부분 반군이다.
* <math>\sim</math>은 <math>T</math> 위의 반군 [[합동 관계]]이다.

=== 가환 반군의 구조 이론 ===
가환 반군의 경우, 다음과 같은 구조 정리가 존재한다.

임의의 가환 반군 <math>S</math>에서 가환 멱등 반군 <math>L</math>으로 가는 반군 준동형 <math>f\colon S\to L</math>이 주어졌다고 하자. 그렇다면, 다음이 성립한다.
* 각 원소 <math>l\in L</math>의 [[원상 (수학)|원상]] <math>f^{-1}(l)</math>은 <math>S</math>의 부분 반군을 이룬다. 이를 <math>S_l</math>로 표기하자.
* 임의의 <math>l,l'\in L</math>에 대하여, <math>S_lS_{l'}\subseteq S_{ll'}</math>이다. 즉, <math>S</math>는 <math>L</math>에 의하여 등급 반군을 이룬다.

임의의 가환 반군 <math>S</math>에 대하여, <math>S/{\sim}</math>이 가환 멱등 반군이 되는 가장 섬세한 [[합동 관계]] <math>\sim</math>가 존재하며, <math>S</math>는 <math>S/{\sim}</math>에 대한 등급 반군을 이룬다. 또한, 각 <math>a\in S/{\sim}</math>에 대하여, 동차 성분 <math>S_a</math>는 모두 아르키메데스 반군을 이룬다.

따라서, 가환 반군의 분류는 가환 멱등 반군의 분류와 아르키메데스 반군의 분류로 귀결된다. 가환 멱등 반군은 공집합이 아닌 유한 부분 집합이 항상 [[최소 원소]]를 갖는 [[부분 순서 집합]]과 동치이다. 이 경우 부분 순서는 <math>a\le b\iff a=ab</math>와 같다.

== 예 ==
모든 [[모노이드]]는 반군이다. 따라서 모든 [[군 (수학)|군]]은 반군이다. 모든 [[유사환]] <math>(R,+,\cdot)</math>에 대하여, <Math>(R,\cdot)</math>은 반군을 이룬다. (<math>(R,+)</math>는 [[아벨 군]]이므로 역시 반군이다.) 모든 [[격자 (순서론)|격자]] <math>(L,\land,\lor)</math>에 대하여, <math>(L,\land)</math>와 <math>(L,\lor)</math> 역시 각각 가환 멱등 반군을 이룬다. (만약 <math>L</math>이 [[최대 원소]] 또는 [[최소 원소]]를 갖지 않는다면, 둘 가운데 하나는 [[모노이드]]를 이루지 않는다.)

임의의 음이 아닌 정수 <math>n</math>에 대하여, <math>\{n,n+1,n+2,\dots\}</math>는 덧셈에 대하여 가환 반군을 이룬다. <math>n>1</math>이라면 이는 [[모노이드]]가 아니다.

=== 공반군 ===
[[공집합]] <math>\varnothing</math> 위에 유일한 [[이항 관계]]를 준다면, 이는 자명하게 반군을 이룬다. 이를 '''공반군'''(空半群, {{llang|en|empty semigroup}})이라고 하며, 이는 [[모노이드]]가 아니다.

=== 영반군 ===
[[집합]] <math>S</math>에 원소 <math>0</math>을 추가한 [[분리합집합]] <math>S\sqcup\{0\}</math> 위에 다음과 같은 이항 연산을 [[상수 함수]]로 정의하자.
:<math>st=0\qquad\forall s,t\in S\sqcup\{0\}</math>
그렇다면 <math>S\sqcup\{0\}</math>은 반군을 이룬다. 이를 '''영반군'''(零半群, {{llang|en|zero monoid}})이라고 한다. 만약 <math>S</math>가 공집합이 아니라면 이는 모노이드를 이루지 않는다. (만약 <math>S</math>가 공집합이라면 이는 [[자명군]]을 이룬다.)

[[아벨 군]] 위에 곱셈을 모두 0으로 정의하여 영 [[유사환]]을 정의할 수 있는데, 그 곱셈 반군은 영반군이다.

=== 자유 반군 ===
반군의 [[모임 (집합론)|모임]]은 [[대수 구조 다양체]]이므로, 이에 대한 [[자유 대수]]를 정의할 수 있다. 집합 <math>S</math> 위의 '''자유 반군'''(自由半群, {{llang|en|free semigroup}})은 <math>S</math> 위의 [[클레이니 스타]] (자유 [[모노이드]]) <math>S^*</math>에서, 길이가 0인 문자열 <math>\epsilon</math> (항등원)을 제거한 반군 <math>S^*\setminus\{\epsilon\}</math>이다.

[[한원소 집합]]으로 생성되는 자유 반군은 양의 정수의 덧셈 반군 <math>(\mathbb Z^+,+)</math>과 동형이다.

마찬가지로 '''자유 가환 반군'''(自由可換半群, {{llang|en|free commutative semigroup}})을 정의할 수 있다. 집합 <math>S</math> 위의 자유 가환 모노이드는 <math>S</math>의 원소들로 구성된 유한 [[중복집합]]들의 모노이드이며, <math>S</math> 위의 자유 가환 반군은 이 가운데 공집합을 제거한 것이다.

=== 왼쪽·오른쪽 영원 반군 ===
집합 <math>S</math> 위에 다음과 같은 두 이항 연산을 정의하자.
:<math>s\cdot_Lt=s\qquad\forall s,t\in S</math>
:<math>s\cdot_Rt=t\qquad\forall s,t\in S</math>
그렇다면 <math>(S,\cdot_L)</math>과 <math>(S,\cdot_R)</math>는 각각 반군을 이룬다. <math>(S,\cdot_L)</math>를 '''왼쪽 영원 반군'''({{llang|en|left zero semigroup}}), <math>(S,\cdot_L)</math>를 '''오른쪽 영원 반군'''({{llang|en|right zero semigroup}})이라고 한다.

왼쪽 영원 반군에서, 모든 원소는 왼쪽 영원이자 오른쪽 항등원이다. 오른쪽 영원 반군에서, 모든 원소는 오른쪽 영원이자 왼쪽 항등원이다.

왼쪽 · 오른쪽 영원 반군은 <math>S</math>가 [[한원소 집합]]이 아니라면 [[모노이드]]를 이루지 않는다.

=== 하나의 원소로 생성되는 반군 ===
하나의 원소로 생성되는 반군은 항상 가환 반군이며, 다음 두 경우 가운데 하나와 동형이다.
* [[한원소 집합]] 위의 자유 반군. 양의 정수의 덧셈 반군  <math>(\mathbb Z^+,+)</math>과 동형이다. 이는 멱등원을 갖지 않는다.
* 두 양의 정수 <math>n,k\in\mathbb Z^+</math>에 대하여, <math>\langle x|x^n=x^{n+k}\rangle</math>. 이는 집합으로서 <math>n+k-1</math>개의 원소 <math>\{x,x^2,\cdots,x^{n+k-1}\}</math>를 가지며, 그 위의 [[이항 연산]]은 다음과 같다.
*:<math>x^ax^b=x^{\max \{c\in\mathbb Z^+\colon c<n+k,\;c\equiv a+b\pmod k\}}</math>
** 이 경우 하나의 멱등원 <math>x^{k\lfloor (n+k-1)/k\rfloor}</math>을 갖는다.
** 만약 <math>n>1</math>일 경우 이는 [[모노이드]]가 아니며, <math>n=1</math>일 경우 이는 [[순환군]] <math>\operatorname{Cyc}(k)</math>이다.
** 만약 <math>k>1</math>일 경우 이는 영원을 갖지 않으며, <math>k=1</math>일 경우 유일한 멱등원 <math>x^n</math>은 영원이다.

마찬가지로, 하나의 원소로 생성되는 [[모노이드]]는 항상 가환 모노이드이며, 다음 두 경우 가운데 하나와 동형이다.
* [[한원소 집합]] 위의 자유 모노이드. [[자연수]](음이 아닌 정수)의 덧셈 모노이드  <math>(\mathbb N,+)</math>와 동형이다.
* <math>n\in\mathbb N</math> 및 <math>k\in\mathbb Z^+</math>에 대하여, <math>\langle x|x^n=x^{n+k}\rangle</math>. 이는 집합으로서 <math>n+k</math>개의 원소 <math>\{1,x,x^2,\cdots,x^{n+k-1}\}</math>를 가지며, 그 위의 [[이항 연산]]은 다음과 같다.
*:<math>x^ax^b=x^{\max \{c\in\mathbb N\colon c<n+k,\;c\equiv a+b\pmod k\}}</math>
**<math>n\ge1</math>인 경우 이는 [[군 (수학)|군]]이 아니며, <math>n=0</math>인 경우 이는 [[순환군]] <math>\operatorname{Cyc}(k)</math>이다.

=== 작은 크기의 반군 ===
크기가 <math>n</math>인 반군의 동형류의 수는 다음과 같다. (<math>n=0,1,2,3,\dots</math>. 모노이드와 그 반대 모노이드는 일반적으로 서로 동형이 아니라고 간주한다.)
:1, 1, 5, 24, 188, 1915, 28634, 1627672, 3684030417, 105978177936292, … {{OEIS|A027851}}
만약 반군과 그 반대 반군을 동치로 놓았을 때, 동치류의 수는 다음과 같다. (<math>n=0,1,2,3,\dots</math>)
:1, 1, 4, 18, 126, 1160, 15973, 836021, 1843120128, 52989400714478, … {{OEIS|A001423}}
만약 반군과 그 반대 반군을 동치로 놓았을 때, 정확히 1개의 멱등원을 갖는 반군의 동치류의 수는 다음과 같다.
:0, 1, 2, 5, 19, 132, 3107, 623615, 1834861133, 52976551026562, … {{OEIS|A002786}}
정확히 2개의 멱등원을 갖는 반군의 동형류의 수는 다음과 같다.
:0, 0, 2, 7, 37, 216, 1780, 32652, 4665709, 12710266442, … {{OEIS|A002787}}
크기가 <math>n</math>인 가환 반군의 동형류의 수는 다음과 같다.
:1, 1, 3, 12, 58, 325, 2143, 17291, 221805, 11545843, 3518930337, … {{OEIS|A027851}}

크기가 0인 반군은 공반군 밖에 없고, 크기가 1인 반군은 [[자명군]] 밖에 없다. 크기가 2인 반군은 총 5개가 있다.
* 2차 [[순환군]] <math>\operatorname{Cyc}(2)</math>. 이는 크기 2의 [[유한체]] <math>\mathbb F_2</math>의 덧셈 [[아벨 군]]이다.
* 2원소 [[불 대수]]의 (만남 또는 이음) [[모노이드]] <math>B_2</math>. 이는 크기 2의 [[유한체]] <math>\mathbb F_2</math>의 곱셈 모노이드이다.
* 크기 2의 영반군 <math>O_2</math>
* 크기 2의 왼쪽 영원 반군 <math>LO_2</math>과 크기 2의 오른쪽 영원 반군 <math>RO_2</math>
크기가 3인 반군은 총 24개가 있다. 이 가운데 [[모노이드]]가 아닌 것은 17개이며, 다음과 같다. 아래 목록에서 표시는 반군의 표시이며, 영원의 경우 항상 0으로 표기하며 이에 대한 관계 (<math>0x=x0=0</math> 등)는 생략하였다.
* 크기 2의 반군에 영원 추가:
** <math>LO_2\sqcup\{0\}</math> 및 그 반대 반군 <math>RO_2\sqcup\{0\}</math>. 이는 비가환 멱등 반군이다.
** <math>B_2\cup\{0\}</math> (가환 멱등 반군). 이는 2원소 [[불 대수]]에 영원을 추가한 것이다.
* 기타 가환 반군:
** 영반군 <math>O_3</math>
** <math>\langle x|x^4=x^2\rangle</math> (가환 반군)
** <math>\langle x|x^4=x^3\rangle</math> (가환 반군)
** <math>\langle x,y|x^2=y^2,\;xy=yx=x,\;x^3=x\rangle</math> (가환 반군)
** <math>\langle 0, x,y|x^2=xy=yx=0,y^2=y\rangle</math> (가환 반군)
** <math>\langle 0,x,y|x^2=x,y^2=y,xy=yx=0\rangle</math> (가환 멱등 반군)
* 기타 비가환 반군:
** 왼쪽 영원 반군 <math>LO_3</math>, 오른쪽 영원 반군 <math>RO_3</math>. 이는 비가환 멱등 반군이다.
** <math>\langle 0_L,x|0_Lx=0_L^2=0_L,\;x0_L=x^2,\;x^3=x^2\rangle</math> 및 그 반대 반군
** <math>\langle 0,1_L,x|x^2=x1_L=0,\;1_Lx=x,\;1_L^2=1_L\rangle</math> 및 그 반대 반군
** <math>\langle 0_L,0_L',x|0_Lx=0_L0_L'=0_L^2=0_L,\;0_L'x=0_L'0_L=0_L'^2=0_L',\;x^2=x\rangle</math> 및 그 반대 반군. 이는 비가환 멱등 반군이다.

== 역사 ==
1904년에 장아르망 드 세기에({{llang|fr|Jean-Armand de Séguier}}, 1862~1935)가 최초로 반군({{llang|fr|semi-groupe}})이라는 용어를 사용하였으나,<ref>{{서적 인용|이름=Jean-Armand|성=de Séguier|제목=Théorie des groupes finis. Élements de la théorie des groupes abstraits |날짜= 1904|url=https://archive.org/details/thoriedesgroup00sguoft|출판사=Gaulthier-Villars|위치=[[파리 (프랑스)|파리]]|언어=fr}}</ref>{{rp|8}} 드 세기에는 이를 오늘날과 달리 "소거 반군"의 뜻으로 사용하였다. 1908년에 해럴트 힐턴({{llang|en|Harold Hilton}}, 훗날 해럴드 심프슨({{llang|en|Harold Simpson}})으로 개명, 1876~1974)은 최초로 영어 문헌에서 "반군"({{llang|en|semi-group}})이라는 용어를 사용하였으며,<ref>{{서적 인용|제목=Theory of Groups of Finite Order|이름=Harold|성=Hilton|날짜=1908|출판사=Clarendon Press|url=https://archive.org/details/anintroductiont00hiltgoog|언어=en}}</ref> 힐턴은 반군을 오늘날과 같이 정의하였다.

반군에 대한 최초의 (자명하지 않은) 정리들은 하인리히 브란트({{llang|de|Heinrich Brandt}}, 1886~1954)의 1926년 논문<ref>{{저널 인용|제목=Über eine Verallgemeinerung des Gruppenbegriffes|이름=H.|성=Brandt|날짜=1926|저널=Mathematische Annalen|권=96|쪽=360–366|mr=1512323|doi=10.1007/BF01209171|jfm=52.0110.09|issn= 0025-5831|언어=de}}</ref>과 안톤 카시미로비치 수시케비치({{llang|ru|Анто́н Казими́рович Сушке́вич}}, 1889~1961)의 1928년 논문<ref>{{저널 인용|제목=Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit|이름=Anton|성=Suschkewitsch|날짜=1928|저널=Mathematische Annalen|권=99|호=1|doi=10.1007/BF01459084|쪽=30–50|issn= 0025-5831|언어=de}}</ref>이다.<ref name="Preston">{{서적 인용 |  이름=G. B. | 성= Preston|장= Personal reminiscences of the early history of semigroups|제목= Semigroup theory. Proceedings of the Monash conference on semigroup theory in honor of G. B. Preston, Clayton, Australia, July 12–14, 1990 |editors=T. E. Hall, P. R. Jones, J. C. Meakin|출판사=World Scientific |날짜=1991|쪽=16-30|zbl=1038.01504|장url=http://www-history.mcs.st-and.ac.uk/Extras/Preston_semigroups.html|isbn=981-02-0491-4|언어=en}}</ref> 앨프리드 호블리첼 클리퍼드({{llang|en|Alfred Hoblitzelle Clifford}}, 1908~1992)는 수시케비치의 구조 정리들을 일반화하였다.<ref>{{저널 인용|이름=A. H.|성=Clifford|날짜=1933-10|제목=A system arising from a weakened set of group postulates|저널=Annals of Mathematics|권=34|호=4|쪽=865-871|jstor=1968703|doi=10.2307/1968703 |언어=en}}</ref><ref>{{저널 인용|이름=A. H.|성=Clifford|날짜=1941-10|제목=Semigroups admitting relative inverses|저널=Annals of Mathematics|doi=10.2307/1968781|권=42|호=4 |jstor=1968781|쪽=1037–1049|언어=en}}</ref>

데이비드 리스({{llang|en|David Rees}}, 1918~2013)는 1947년에 역원 반군({{llang|en|inverse semigroup}})의 개념을 도입하였고, 예브게니 세르게예비치 랴핀({{llang|ru|Евге́ний Сергее́вич Ля́пин}}, 1914~2005)와 고든 프레스턴({{llang|en|Gordon Preston}}, 1925~2015)은 그 이론을 발전시켰다. 이 밖에도, 제임스 알렉산더 그린({{llang|en|James Alexander Green}}, 1926~2014), 존 매킨토시 하위({{llang|en|John Mackintosh Howie}}, 1936~2011) 등이 반군 이론에 공헌하였다. 특히, 그린은 1951년에 [[그린 관계]]를 도입하였다.<ref name="Green">{{저널 인용|제목=On the structure of semigroups|이름=J. A.|성=Green|저널=Annals of Mathematics|권=54|호=1|날짜=1951-07|쪽=163–172|언어=en}}</ref>

[[사무엘 에일렌베르크]](1913~1998)와 마르셀폴 쉬첸베르제({{llang|fr|Marcel-Paul Schützenberger}}, 1920~1996)는 반군 이론을 [[자동기계]] 이론에 응용하여 발전시켰다. 특히, 쉬첸베르제는 1957년에 [[쉬첸베르제 군]]을 도입하였다.<ref>{{저널 인용|last=Marcel-Paul Schützenberger|year=1957|title=<math>\bar D</math> représentation des demi-groupes|journal=Comptes Rendus de l’Académie des Sciences|volume=244|pages=1994–1996|zbl=0081.25303|언어=fr}}</ref>

크론-로즈 정리는 미국의 케네스 크론({{llang|en|Kenneth Krohn}})과 존 루이스 로즈({{llang|en|John Lewis Rhodes}}, 1937~)가 1965년 박사 학위 논문에서 발표하였다.<ref>{{저널 인용|성=Krohn|이름= Kenneth|성2= Rhodes|이름2=John|날짜=1965-04|제목=Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines|저널= Transactions of the American Mathematical Society |권= 116|쪽=450–464|doi=10.2307/1994127|issn=0002-9947|언어=en}}</ref>

1961년~1967년에 클리퍼드와 프레스턴은 당시 알려진 반군 이론을 체계화하여, 반군 이론에 대한 최초의 책을 출판하였다.<ref>{{서적 인용 | 이름=A. H.|성= Clifford|이름2=G. R. |성2=Preston|날짜=1961|제목= The algebraic theory of semigroups, volume I|총서= Mathematical Surveys and Monographs |권= 7|출판사= American Mathematical Society|doi=10.1090/surv/007.1 |isbn=978-0-8218-0271-7|언어=en}}</ref><ref>{{서적 인용 | 이름=A. H.|성= Clifford|이름2=G. R. |성2=Preston|날짜=1967|제목= The algebraic theory of semigroups, volume II|총서= Mathematical Surveys and Monographs|권= 7|출판사= American Mathematical Society|doi=10.1090/surv/007.2 |isbn=978-0-8218-0272-4|언어=en}}</ref><ref name="Preston"/>

== 각주 ==
{{각주}}
* {{서적 인용 | first=John Mackintosh | last=Howie | title=Fundamentals of semigroup theory | series=London Mathematical Society Monographs. New Series | volume=12 | 날짜=1995 | publisher=Clarendon Press | location=Oxford | isbn=0-19-851194-9 | zbl=0835.20077 |언어=en}}
* {{서적 인용 | zbl=0945.20036 | last1=Kilp | first1=Mati | last2=Knauer | first2=Ulrich | last3=Mikhalev | first3=Alexander V. | title=Monoids, acts and categories with applications to wreath products and graphs. A handbook for students and researchers | url=http://www.degruyter.com/view/product/46899 | series=de Gruyter Expositions in Mathematics | volume=29 | publisher=Walter de Gruyter | 날짜=2000 | isbn=978-3-11-015248-7 | 언어=en | access-date=2016-01-07 | archive-date=2015-11-01 | archive-url=https://web.archive.org/web/20151101055117/http://www.degruyter.com/view/product/46899 | url-status=dead }}
* {{서적 인용 | 이름=Gerard |성=Lallement | 제목=Semigroups and combinatorial applications | 출판사= Wiley | 날짜=1979 | isbn=0471043796 | 언어=en}}

== 외부 링크 ==
* {{eom|title=Semigroup}}
* {{매스월드|id=Semigroup|title=Semigroup}}
* {{매스월드|id=Krohn-RhodesTheory|title=Krohn-Rhodes theory}}
* {{매스월드|id=Krohn-RhodesTheorem|title=Krohn-Rhodes theorem}}
* {{매스월드|id=Krohn-RhodesComplexity|title=Krohn-Rhodes complexity}}
* {{nlab|id=semigroup|title=Semigroup}}
* {{nlab|id=inverse semigroup|title=Inverse semigroup}}
* {{nlab|id=homotopy theory of inverse semigroups|title=Homotopy theory of inverse semigroups}}

== 같이 보기 ==
* [[모노이드]]
* [[모노이드 대상]]

{{전거 통제}}

[[분류:반군론]]