심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

모노이드

색인 모노이드

상대수학에서, 모노이드()는 항등원을 갖는, 결합 법칙을 따르는 이항 연산을 갖춘 대수 구조이.

62 처지: 동치, 동치관계, 동형 사상, 라이프치히, 매끄러운 다양체, 마그마 (수학), 멱집합, 모노이드 범주, 모노이드 대상, 모임 (수학), 문자열, 미분동형사상, 반군, 가역원, 벡터 다발, 격자 (순서론), 결합법칙, 범주 (수학), 범주론, 곱 (범주론), 곱집합, 공집합, 부분집합, 대칭군 (군론), 대수 구조, 대수 구조 다양체, 군 (수학), 군의 작용, 군환, 다양체, 자명군, 자기 동형 사상, 자기 사상, 자유 대상, 자유곱, 자연수, 작은 범주, 클레이니 스타, 정수, 중복집합, 직접곱, 직합, 집합, 초구, 추상대수학, 콤팩트 공간, 쌍대곱, 유사환, 유한 상태 기계, 유한체, ..., 순환군, 최대 원소와 최소 원소, 연결합, 연산, 산술의 기본 정리, 소수 (수론), 함자 (수학), 함수, 항등원, 한원소 집합, 아벨 군, 환 (수학). 색인을 확장하십시오 (12 더) »

동치

수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.

새로운!!: 모노이드와 동치 · 더보기 »

동치관계

수학에서, 동치관계(同値關係)는 논리적 동치와 비슷한 성질들을 만족시키는 이항관계이.

새로운!!: 모노이드와 동치관계 · 더보기 »

동형 사상

수학에서, 동형 사상(同型寫像)은 서로 구조가 같은 두 대상 사이에, 모든 구조를 보존하는 사상이.

새로운!!: 모노이드와 동형 사상 · 더보기 »

라이프치히

이프치히(소르브어: Lipsk)는 독일 작센 주의 가장 큰 도시이.

새로운!!: 모노이드와 라이프치히 · 더보기 »

매끄러운 다양체

미분기하학에서, 매끄러운 다양체() 또는 미분 가능 다양체(微分可能多樣體)는 미적분학을 전개할 수 있는 구조가 주어진 다양체이.

새로운!!: 모노이드와 매끄러운 다양체 · 더보기 »

마그마 (수학)

상대수학과 범주론에서, 마그마()는 집합과 그 위의 이항 연산 외에 아무런 추가 조건도 없는 대수 구조이.

새로운!!: 모노이드와 마그마 (수학) · 더보기 »

멱집합

하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.

새로운!!: 모노이드와 멱집합 · 더보기 »

모노이드 범주

범주론에서, 모노이드 범주(monoid範疇)는 동형 사상 아래 결합 법칙이 성립하고 동형 사상 아래 왼쪽·오른쪽 항등원이 존재하는 이항 연산을 갖는 범주이.

새로운!!: 모노이드와 모노이드 범주 · 더보기 »

모노이드 대상

범주론에서, 모노이드 대상(monoid對象)은 모노이드 범주에서 모노이드와 같은 성질을 가진 대상이.

새로운!!: 모노이드와 모노이드 대상 · 더보기 »

모임 (수학)

집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.

새로운!!: 모노이드와 모임 (수학) · 더보기 »

문자열

밍과 형식 언어 이론에서 문자열(文字列)은 기호의 순차 수열을 말. 스트링(string)이.

새로운!!: 모노이드와 문자열 · 더보기 »

미분동형사상

미분동형사상(微分同形寫像)은 두 미분다양체 사이의, 미분 가능이고 그 역도 미분 가능한 위상동형사상이.

새로운!!: 모노이드와 미분동형사상 · 더보기 »

반군

상대수학에서, 반군(半群)은 결합 법칙을 따르는 하나의 이항 연산이 부여된 대수 구조이.

새로운!!: 모노이드와 반군 · 더보기 »

가역원

상대수학에서, 가역원(可逆元, 또는 유닛)은 환 또는 모노이드에서 곱셈에 대한 역원이 있는 원소들이.

새로운!!: 모노이드와 가역원 · 더보기 »

벡터 다발

위상수학 및 미분기하학에서, 벡터 다발()은 올에 위상 벡터 공간의 구조가 주어진 올다발이.

새로운!!: 모노이드와 벡터 다발 · 더보기 »

격자 (순서론)

순서론에서, 격자(格子)는 두 원소 부분집합의 상한(이음)과 하한(만남)이 항상 존재하는 부분 순서 집합이.

새로운!!: 모노이드와 격자 (순서론) · 더보기 »

결합법칙

수학에서 결합법칙(結合 法則, associated law)은 이항연산이 만족하거나 만족하지 않는 성질이.

새로운!!: 모노이드와 결합법칙 · 더보기 »

범주 (수학)

범주론에서, 범주(範疇)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이.

새로운!!: 모노이드와 범주 (수학) · 더보기 »

범주론

수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.

새로운!!: 모노이드와 범주론 · 더보기 »

곱 (범주론)

범주론에서, 곱()은 곱집합이나 곱공간의 개념을 일반화한 개념이.

새로운!!: 모노이드와 곱 (범주론) · 더보기 »

곱집합

집합 ''A''.

새로운!!: 모노이드와 곱집합 · 더보기 »

공집합

공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.

새로운!!: 모노이드와 공집합 · 더보기 »

부분집합

부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.

새로운!!: 모노이드와 부분집합 · 더보기 »

대칭군 (군론)

수학에서, 대칭군(對稱群)은 주어진 원소들을 재배열하는 방법(순열)들로 구성된 군이.

새로운!!: 모노이드와 대칭군 (군론) · 더보기 »

대수 구조

상대수학에서, 대수 구조(代數構造)는 일련의 연산들이 주어진 집합이.

새로운!!: 모노이드와 대수 구조 · 더보기 »

대수 구조 다양체

보편 대수학에서, 대수 구조 다양체()는 어떤 항등식들을 만족시키는 대수 구조들의 모임이.

새로운!!: 모노이드와 대수 구조 다양체 · 더보기 »

군 (수학)

루빅스 큐브를 돌리는 방법들을 모은 집합은 군을 이룬다. 정이면체군 \operatornameDih(6)의 군 다이어그램 추상대수학에서, 군(群)은 결합 법칙과 항등원과 각 원소의 역원을 가지는 이항 연산을 갖춘 대수 구조이.

새로운!!: 모노이드와 군 (수학) · 더보기 »

군의 작용

에서, 군의 작용(群의作用)은 어떤 군으로부터, 어떤 집합의 대칭군으로 가는 군 준동형이.

새로운!!: 모노이드와 군의 작용 · 더보기 »

군환

상대수학에서, 군환(群環)은 군의 원소로 생성되는 자유 가군이.

새로운!!: 모노이드와 군환 · 더보기 »

다양체

원은 모든 점에 대해서 국소적으로 직선과 같은 구조를 가지고 있다. 따라서, 원은 1차원 다양체이다. 위상수학과 기하학에서, 다양체(多樣體)는 국소적으로 유클리드 공간과 닮은 위상 공간이.

새로운!!: 모노이드와 다양체 · 더보기 »

자명군

자명군(自明群, trivial group)은 원소가 하나뿐인 군이.

새로운!!: 모노이드와 자명군 · 더보기 »

자기 동형 사상

수학에서, 자기 동형 사상(自己同型寫像)은 자기 사상인 동형 사상이.

새로운!!: 모노이드와 자기 동형 사상 · 더보기 »

자기 사상

수학에서, 자기 사상(自己寫像)은 그 정의역과 공역이 같은 사상이.

새로운!!: 모노이드와 자기 사상 · 더보기 »

자유 대상

범주론과 추상대수학에서, 자유 대상(自由對象)은 망각 함자의 왼쪽 수반 함자의 상이.

새로운!!: 모노이드와 자유 대상 · 더보기 »

자유곱

상대수학에서, 자유곱(自由곱)은 주어진 두 대수 구조를 포함하는 "가장 일반적인" 대수 구조이.

새로운!!: 모노이드와 자유곱 · 더보기 »

자연수

수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.

새로운!!: 모노이드와 자연수 · 더보기 »

작은 범주

범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.

새로운!!: 모노이드와 작은 범주 · 더보기 »

클레이니 스타

이니 스타(Kleene Star)는 문자열이나 문자의 집합에 쓰이는 단항 연산으로, 0개 이상의 임의 원소의 연쇄를 뜻. 스티븐 클레이니가 도입하였으며, 오토마타 이론과 정규 표현식, 형식 문법에서 활용.

새로운!!: 모노이드와 클레이니 스타 · 더보기 »

정수

정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.

새로운!!: 모노이드와 정수 · 더보기 »

중복집합

수학에서, 중복집합(重複集合) 또는 다중집합(多重集合)은 집합에서 중복 원소를 허용하여 얻는 개념이.

새로운!!: 모노이드와 중복집합 · 더보기 »

직접곱

수학에서, 직접곱(直接곱)은 여러 개의 대수 구조들의 곱집합 위에 표준적으로 정의되는 대수 구조이.

새로운!!: 모노이드와 직접곱 · 더보기 »

직합

직합(直合)은 추상대수학에서 여러 개의 아벨 군(혹은 가군)을 합쳐서 더 큰 아벨 군(혹은 가군)을 만드는 연산으로, 직접곱의 쌍대 개념이.

새로운!!: 모노이드와 직합 · 더보기 »

집합

9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.

새로운!!: 모노이드와 집합 · 더보기 »

초구

학에서, 초구(超球)는 2차원 곡면인 구를 임의의 차원으로 일반화한 공간이.

새로운!!: 모노이드와 초구 · 더보기 »

추상대수학

상대수학(抽象代數學)은 대수 구조를 다루는 여러 수학적 대상을 연구하는 분야이.

새로운!!: 모노이드와 추상대수학 · 더보기 »

콤팩트 공간

수학에서, 콤팩트 공간()은 대략 경계 없이 무한히 뻗어나가지 않는 공간이.

새로운!!: 모노이드와 콤팩트 공간 · 더보기 »

쌍대곱

범주론에서, 쌍대곱(雙對-, coproduct)은 곱에 대한 쌍대(dual) 개념이.

새로운!!: 모노이드와 쌍대곱 · 더보기 »

유사환

환론에서, 유사환(類似環, 또는)은 환과 유사하나, 곱셈에 대한 항등원을 갖지 않을 수 있는 구조.

새로운!!: 모노이드와 유사환 · 더보기 »

유한 상태 기계

유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는데에 쓰이는 수학적 모델이.

새로운!!: 모노이드와 유한 상태 기계 · 더보기 »

유한체

에서, 유한체(有限體) 또는 갈루아 체()는 유한개의 원소를 가지는 체이.

새로운!!: 모노이드와 유한체 · 더보기 »

순환군

에서, 순환군(循環群)은 하나의 원소에 의하여 생성되는 군이.

새로운!!: 모노이드와 순환군 · 더보기 »

최대 원소와 최소 원소

순서론에서, 부분 순서 집합의 최대 원소(最大元素)는 모든 다른 원소들보다 큰 원소이.

새로운!!: 모노이드와 최대 원소와 최소 원소 · 더보기 »

연결합

위상수학에서, 연결합(連結合)은 두 다양체 또는 매끄러운 다양체가 주어졌을 때, 각각에서 작은 공을 도려낸 뒤 그 경계를 따라 이어붙여 더 큰 (매끄러운) 다양체를 만드는 연산이.

새로운!!: 모노이드와 연결합 · 더보기 »

연산

연산은 다음과 같은 뜻을 갖.

새로운!!: 모노이드와 연산 · 더보기 »

산술의 기본 정리

산술의 기본 정리(算術의基本定理)는 모든 양의 정수는 유일한 소인수 분해를 갖는다는 정리이.

새로운!!: 모노이드와 산술의 기본 정리 · 더보기 »

소수 (수론)

소수(素數, 발음: 소쑤)는 자신보다 작은 두 개의 자연수를 곱하여 만들 수 없는, 1보다 큰 자연수이.

새로운!!: 모노이드와 소수 (수론) · 더보기 »

함자 (수학)

범주론에서 함자(函子)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시.

새로운!!: 모노이드와 함자 (수학) · 더보기 »

함수

수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.

새로운!!: 모노이드와 함수 · 더보기 »

항등원

항등원(恒等元,Identity element)은 군론 등의 대수학에서 다루는 기본적인 개념으로, 집합의 어떤 원소와 연산을 취해도, 자기 자신이 되게하는 원소를 말. 항등원이 무엇인지는 집합과 이항연산의 종류에.

새로운!!: 모노이드와 항등원 · 더보기 »

한원소 집합

집합론에서, 한원소 집합(한元素集合)은 하나의 원소만을 갖는 집합이.

새로운!!: 모노이드와 한원소 집합 · 더보기 »

아벨 군

에서, 아벨 군(Abel群) 또는 가환군(可換群)은 교환 법칙이 성립하는 군이.

새로운!!: 모노이드와 아벨 군 · 더보기 »

환 (수학)

상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.

새로운!!: 모노이드와 환 (수학) · 더보기 »

여기로 리디렉션합니다

가환 모노이드, 그린 관계, 모노이드 준동형, 반대 모노이드, 부분 모노이드, 쉬첸베르제 군.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »