# 대수적 구조

이동: 둘러보기, 검색

수학, 특히 추상대수학에서, 대수적 구조(algebraic structure)는 일반적으로 하나 이상의 유한 연산을 갖는 집합(carrier set 또는 underiying set 이라고 불린다)을 나타내는 용어로, , , , 등이 이에 속한다.

More complex structures can be defined by introducing multiple operations, different underlying sets, or by altering the defining axioms. Examples of more complex algebraic structures include vector spaces, modules, and algebras.

The properties of specific algebraic structures are studied in abstract algebra. The general theory of algebraic structures has been formalized in universal algebra. Category theory is used to study the relationships between two or more classes of algebraic structures, often of different kinds. For example, Galois theory studies the connection between certain fields and groups, algebraic structures of two different kinds.

In a slight abuse of notation, the word "structure" can also refer only to the operations on a structure, and not the underlying set itself. For example, a phrase "we have defined a ring structure (a structure of ring) on the set A" means that we have defined ring operations on the set A. For another example, the group (\mathbb Z, +) can be seen as a set \mathbb Z that is equipped with an algebraic structure, namely the operation +.

## 참고자료

• Garrett Birkhoff and Saunders MacLane, 1999 (1967). Algebra, 2nd ed. Chelsea.
• Michel, Anthony N., and Herget, Charles J., 1993 (1981). Applied Algebra and Functional Analysis. Dover.

A monograph available free online:

Category theory: