Phép hợp nhất trong LaTeX (\amalg)

Dùng ở đâu

Toán tử hợp nhất, dùng cho hợp rời và đối tích.

Lý thuyết phạm trù và tô pô viết X \amalg Y cho đối tích hoặc hợp rời, còn lý thuyết nhóm dùng G \ast_H K cho tích tự do hợp nhất, một số sách dùng \amalg. \amalg là toán tử hai ngôi. Với phiên bản có chỉ số và cận, hãy dùng toán tử lớn \coprod_{i \in I} X_i, trông giống vậy nhưng phóng to ở kiểu hiển thị. Các lựa chọn khác cho hợp rời gồm \sqcup và \bigsqcup, có hình dẹt hơn và phổ biến hơn trong lý thuyết tập hợp.

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

\documentclass{article}
\begin{document}
Amalgamation: $\amalg$

\[ \pi_0(X \amalg Y) = \pi_0(X) \amalg \pi_0(Y) \]
\end{document}

Ký hiệu liên quan

• Dấu thập\dagger
• Phép giao\cap
• Dấu thập kép\ddagger
• Phép hợp\cup
• Tích vòng hoa\wr
• Dấu chữ V\vee

Câu hỏi thường gặp

Làm thế nào để viết Phép hợp nhất trong LaTeX?

Gõ \amalg trong chế độ toán, ví dụ $\pi_0(X \amalg Y) = \pi_0(X) \amalg \pi_0(Y)$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

Cần gói nào để dùng \amalg?

Không cần gói nào. \amalg thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng \amalg trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\amalg$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ⨿ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).