부분대수학
Partial algebra추상대수학에서 부분대수는 부분대수학에서 부분대수학까지의 범용대수를 일반화한 것이다.[1][2]
예제
- 부분군체
- 필드 — 승법 반전만이 유일하게 적절한 부분 연산임[1]
- 알헤브라를 발효시키다.[3]
구조
안드레카, 네메티, 세인(1982)의 「메타 비르코프 정리」가 있다.[1]
참조
- ^ a b c Peter Burmeister (1993). "Partial algebras - an introductory survey". In Ivo G. Rosenberg; Gert Sabidussi (eds.). Algebras and Orders. Springer Science & Business Media. pp. 1–70. ISBN 978-0-7923-2143-9.
- ^ George A. Grätzer (2008). Universal Algebra (2nd ed.). Springer Science & Business Media. Chapter 2. Partial algebras. ISBN 978-0-387-77487-9.
- ^ Foulis, D. J.; Bennett, M. K. (1994). "Effect algebras and unsharp quantum logics". Foundations of Physics. 24 (10): 1331. doi:10.1007/BF02283036. hdl:10338.dmlcz/142815. S2CID 123349992.
추가 읽기
- Peter Burmeister (2002) [1986]. A Model Theoretic Oriented Approach to Partial Algebras. CiteSeerX 10.1.1.92.6134.
- Horst Reichel (1984). Structural induction on partial algebras. Akademie-Verlag.
- Horst Reichel (1987). Initial computability, algebraic specifications, and partial algebras. Clarendon Press. ISBN 978-0-19-853806-6.
