本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261023-r03-subgroup-homomorphism-foundations · 2026-10-13 · 100 題
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[0,1,2,3,4,5],[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4]],"subset":[0,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 4], 是)
現代橋梁核對=(6, [0, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[2,0,3,4,5,1],[0,1,2,3,4,5],[3,2,4,5,1,0],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4]],"subset":[1,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [1, 2, 4], 是)
現代橋梁核對=(6, [1, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[1,3,0,4,5,2],[3,4,1,5,2,0],[0,1,2,3,4,5],[4,5,3,2,0,1],[5,2,4,0,1,3],[2,0,5,1,3,4]],"subset":[1,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [1, 2, 4], 是)
現代橋梁核對=(6, [1, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[1,2,4,0,5,3],[2,4,5,1,3,0],[4,5,3,2,0,1],[0,1,2,3,4,5],[5,3,0,4,1,2],[3,0,1,5,2,4]],"subset":[1,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [1, 3, 4], 是)
現代橋梁核對=(6, [1, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[1,2,3,5,0,4],[2,3,5,4,1,0],[3,5,4,0,2,1],[5,4,0,1,3,2],[0,1,2,3,4,5],[4,0,1,2,5,3]],"subset":[1,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [1, 3, 4], 是)
現代橋梁核對=(6, [1, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4],[0,1,2,3,4,5]],"subset":[1,3,5]}。請依 [n,subset,closed] 欄序回答。
(6, [1, 3, 5], 是)
現代橋梁核對=(6, [1, 3, 5], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[0,1,2,3,4,5],[1,4,3,5,0,2],[2,3,1,4,5,0],[3,5,4,0,2,1],[4,0,5,2,1,3],[5,2,0,1,3,4]],"subset":[0,1,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 4], 是)
現代橋梁核對=(6, [0, 1, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,0,3,5,1,2],[0,1,2,3,4,5],[3,2,0,4,5,1],[5,3,4,1,2,0],[1,4,5,2,0,3],[2,5,1,0,3,4]],"subset":[0,1,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 4], 是)
現代橋梁核對=(6, [0, 1, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,3,0,5,2,1],[3,0,1,4,5,2],[0,1,2,3,4,5],[5,4,3,2,1,0],[2,5,4,1,0,3],[1,2,5,0,3,4]],"subset":[0,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 4], 是)
現代橋梁核對=(6, [0, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,2,5,0,3,1],[2,0,4,1,5,3],[5,4,3,2,1,0],[0,1,2,3,4,5],[3,5,1,4,0,2],[1,3,0,5,2,4]],"subset":[0,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 4], 是)
現代橋梁核對=(6, [0, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,2,5,4,0,1],[2,0,3,5,1,4],[5,3,4,1,2,0],[4,5,1,0,3,2],[0,1,2,3,4,5],[1,4,0,2,5,3]],"subset":[0,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 4], 是)
現代橋梁核對=(6, [0, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,2,4,5,1,0],[2,0,3,4,5,1],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4],[0,1,2,3,4,5]],"subset":[0,3,5]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 5], 是)
現代橋梁核對=(6, [0, 3, 5], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[0,1,2,3,4,5],[1,4,5,2,0,3],[2,5,0,4,3,1],[3,2,4,1,5,0],[4,0,3,5,1,2],[5,3,1,0,2,4]],"subset":[0,1,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 4], 是)
現代橋梁核對=(6, [0, 1, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,0,5,2,1,3],[0,1,2,3,4,5],[5,2,1,4,3,0],[2,3,4,0,5,1],[1,4,3,5,0,2],[3,5,0,1,2,4]],"subset":[0,1,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 4], 是)
現代橋梁核對=(6, [0, 1, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,5,0,1,2,3],[5,2,1,4,3,0],[0,1,2,3,4,5],[1,4,3,0,5,2],[2,3,4,5,0,1],[3,0,5,2,1,4]],"subset":[0,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 4], 是)
現代橋梁核對=(6, [0, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[4,5,1,0,3,2],[5,3,4,1,2,0],[1,4,0,2,5,3],[0,1,2,3,4,5],[3,2,5,4,0,1],[2,0,3,5,1,4]],"subset":[0,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 4], 是)
現代橋梁核對=(6, [0, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,5,1,4,0,2],[5,4,3,2,1,0],[1,3,0,5,2,4],[4,2,5,0,3,1],[0,1,2,3,4,5],[2,0,4,1,5,3]],"subset":[0,3,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 4], 是)
現代橋梁核對=(6, [0, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,4,1,5,2,0],[4,5,3,2,0,1],[1,3,0,4,5,2],[5,2,4,0,1,3],[2,0,5,1,3,4],[0,1,2,3,4,5]],"subset":[0,3,5]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 3, 5], 是)
現代橋梁核對=(6, [0, 3, 5], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[0,1,2,3,4,5],[1,3,5,0,2,4],[2,5,0,4,3,1],[3,0,4,1,5,2],[4,2,3,5,1,0],[5,4,1,2,0,3]],"subset":[0,1,3]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 3], 是)
現代橋梁核對=(6, [0, 1, 3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,0,5,1,2,4],[0,1,2,3,4,5],[5,2,1,4,3,0],[1,3,4,0,5,2],[2,4,3,5,0,1],[4,5,0,2,1,3]],"subset":[0,1,3]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 3], 是)
現代橋梁核對=(6, [0, 1, 3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[3,5,0,2,1,4],[5,2,1,4,3,0],[0,1,2,3,4,5],[2,4,3,0,5,1],[1,3,4,5,0,2],[4,0,5,1,2,3]],"subset":[0,2,3]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 3], 是)
現代橋梁核對=(6, [0, 2, 3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[2,5,3,0,1,4],[5,3,4,1,2,0],[3,4,0,2,5,1],[0,1,2,3,4,5],[1,2,5,4,0,3],[4,0,1,5,3,2]],"subset":[0,2,3]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 3], 是)
現代橋梁核對=(6, [0, 2, 3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[2,5,4,1,0,3],[5,4,3,2,1,0],[4,3,0,5,2,1],[1,2,5,0,3,4],[0,1,2,3,4,5],[3,0,1,4,5,2]],"subset":[0,2,4]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 4], 是)
現代橋梁核對=(6, [0, 2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[2,4,5,1,3,0],[4,5,3,2,0,1],[5,3,0,4,1,2],[1,2,4,0,5,3],[3,0,1,5,2,4],[0,1,2,3,4,5]],"subset":[0,2,5]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 2, 5], 是)
現代橋梁核對=(6, [0, 2, 5], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subset-closure；資料={"n":6,"table":[[0,1,2,3,4,5],[1,3,4,0,5,2],[2,4,0,5,1,3],[3,0,5,1,2,4],[4,5,1,2,3,0],[5,2,3,4,0,1]],"subset":[0,1,3]}。請依 [n,subset,closed] 欄序回答。
(6, [0, 1, 3], 是)
現代橋梁核對=(6, [0, 1, 3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subset-closure · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[0,1,2,3,4,5],[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4]],"subset":[0,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 4], 0, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 4], 0, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[2,0,3,4,5,1],[0,1,2,3,4,5],[3,2,4,5,1,0],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4]],"subset":[1,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [1, 2, 4], 1, 是, 是, 是, 是)
現代橋梁核對=(6, [1, 2, 4], 1, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[1,3,0,4,5,2],[3,4,1,5,2,0],[0,1,2,3,4,5],[4,5,3,2,0,1],[5,2,4,0,1,3],[2,0,5,1,3,4]],"subset":[1,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [1, 2, 4], 2, 是, 是, 是, 是)
現代橋梁核對=(6, [1, 2, 4], 2, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[1,2,4,0,5,3],[2,4,5,1,3,0],[4,5,3,2,0,1],[0,1,2,3,4,5],[5,3,0,4,1,2],[3,0,1,5,2,4]],"subset":[1,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [1, 3, 4], 3, 是, 是, 是, 是)
現代橋梁核對=(6, [1, 3, 4], 3, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[1,2,3,5,0,4],[2,3,5,4,1,0],[3,5,4,0,2,1],[5,4,0,1,3,2],[0,1,2,3,4,5],[4,0,1,2,5,3]],"subset":[1,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [1, 3, 4], 4, 是, 是, 是, 是)
現代橋梁核對=(6, [1, 3, 4], 4, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4],[0,1,2,3,4,5]],"subset":[1,3,5]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [1, 3, 5], 5, 是, 是, 是, 是)
現代橋梁核對=(6, [1, 3, 5], 5, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[0,1,2,3,4,5],[1,4,3,5,0,2],[2,3,1,4,5,0],[3,5,4,0,2,1],[4,0,5,2,1,3],[5,2,0,1,3,4]],"subset":[0,1,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 4], 0, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 4], 0, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,0,3,5,1,2],[0,1,2,3,4,5],[3,2,0,4,5,1],[5,3,4,1,2,0],[1,4,5,2,0,3],[2,5,1,0,3,4]],"subset":[0,1,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 4], 1, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 4], 1, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,3,0,5,2,1],[3,0,1,4,5,2],[0,1,2,3,4,5],[5,4,3,2,1,0],[2,5,4,1,0,3],[1,2,5,0,3,4]],"subset":[0,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 4], 2, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 4], 2, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,2,5,0,3,1],[2,0,4,1,5,3],[5,4,3,2,1,0],[0,1,2,3,4,5],[3,5,1,4,0,2],[1,3,0,5,2,4]],"subset":[0,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 4], 3, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 4], 3, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,2,5,4,0,1],[2,0,3,5,1,4],[5,3,4,1,2,0],[4,5,1,0,3,2],[0,1,2,3,4,5],[1,4,0,2,5,3]],"subset":[0,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 4], 4, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 4], 4, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,2,4,5,1,0],[2,0,3,4,5,1],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4],[0,1,2,3,4,5]],"subset":[0,3,5]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 5], 5, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 5], 5, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[0,1,2,3,4,5],[1,4,5,2,0,3],[2,5,0,4,3,1],[3,2,4,1,5,0],[4,0,3,5,1,2],[5,3,1,0,2,4]],"subset":[0,1,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 4], 0, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 4], 0, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,0,5,2,1,3],[0,1,2,3,4,5],[5,2,1,4,3,0],[2,3,4,0,5,1],[1,4,3,5,0,2],[3,5,0,1,2,4]],"subset":[0,1,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 4], 1, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 4], 1, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,5,0,1,2,3],[5,2,1,4,3,0],[0,1,2,3,4,5],[1,4,3,0,5,2],[2,3,4,5,0,1],[3,0,5,2,1,4]],"subset":[0,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 4], 2, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 4], 2, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[4,5,1,0,3,2],[5,3,4,1,2,0],[1,4,0,2,5,3],[0,1,2,3,4,5],[3,2,5,4,0,1],[2,0,3,5,1,4]],"subset":[0,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 4], 3, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 4], 3, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,5,1,4,0,2],[5,4,3,2,1,0],[1,3,0,5,2,4],[4,2,5,0,3,1],[0,1,2,3,4,5],[2,0,4,1,5,3]],"subset":[0,3,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 4], 4, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 4], 4, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,4,1,5,2,0],[4,5,3,2,0,1],[1,3,0,4,5,2],[5,2,4,0,1,3],[2,0,5,1,3,4],[0,1,2,3,4,5]],"subset":[0,3,5]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 3, 5], 5, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 3, 5], 5, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[0,1,2,3,4,5],[1,3,5,0,2,4],[2,5,0,4,3,1],[3,0,4,1,5,2],[4,2,3,5,1,0],[5,4,1,2,0,3]],"subset":[0,1,3]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 3], 0, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 3], 0, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,0,5,1,2,4],[0,1,2,3,4,5],[5,2,1,4,3,0],[1,3,4,0,5,2],[2,4,3,5,0,1],[4,5,0,2,1,3]],"subset":[0,1,3]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 3], 1, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 3], 1, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[3,5,0,2,1,4],[5,2,1,4,3,0],[0,1,2,3,4,5],[2,4,3,0,5,1],[1,3,4,5,0,2],[4,0,5,1,2,3]],"subset":[0,2,3]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 3], 2, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 3], 2, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[2,5,3,0,1,4],[5,3,4,1,2,0],[3,4,0,2,5,1],[0,1,2,3,4,5],[1,2,5,4,0,3],[4,0,1,5,3,2]],"subset":[0,2,3]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 3], 3, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 3], 3, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[2,5,4,1,0,3],[5,4,3,2,1,0],[4,3,0,5,2,1],[1,2,5,0,3,4],[0,1,2,3,4,5],[3,0,1,4,5,2]],"subset":[0,2,4]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 4], 4, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 4], 4, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[2,4,5,1,3,0],[4,5,3,2,0,1],[5,3,0,4,1,2],[1,2,4,0,5,3],[3,0,1,5,2,4],[0,1,2,3,4,5]],"subset":[0,2,5]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 2, 5], 5, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 2, 5], 5, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-subgroup-audit；資料={"n":6,"table":[[0,1,2,3,4,5],[1,3,4,0,5,2],[2,4,0,5,1,3],[3,0,5,1,2,4],[4,5,1,2,3,0],[5,2,3,4,0,1]],"subset":[0,1,3]}。請依 [n,subset,identity,closed,has_identity,inverse_closed,subgroup] 欄序回答。
(6, [0, 1, 3], 0, 是, 是, 是, 是)
現代橋梁核對=(6, [0, 1, 3], 0, 是, 是, 是, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-subgroup-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3]],"target_n":5,"target_table":[[0,1,2,3,4],[1,3,0,4,2],[2,0,4,1,3],[3,4,1,2,0],[4,2,3,0,1]],"mapping":[0,3,2,1,4]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [0, 3, 2, 1, 4], [], 是)
現代橋梁核對=(5, 5, [0, 3, 2, 1, 4], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[2,0,3,4,5,1],[0,1,2,3,4,5],[3,2,4,5,1,0],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[0,1,2,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [0, 1, 2, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [0, 1, 2, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[1,3,0,4,2],[3,4,1,2,0],[0,1,2,3,4],[4,2,3,0,1],[2,0,4,1,3]],"target_n":5,"target_table":[[3,2,0,4,1],[2,4,1,0,3],[0,1,2,3,4],[4,0,3,1,2],[1,3,4,2,0]],"mapping":[3,1,2,0,4]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [3, 1, 2, 0, 4], [], 是)
現代橋梁核對=(5, 5, [3, 1, 2, 0, 4], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[1,2,4,0,5,3],[2,4,5,1,3,0],[4,5,3,2,0,1],[0,1,2,3,4,5],[5,3,0,4,1,2],[3,0,1,5,2,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[2,1,0,0,2,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [2, 1, 0, 0, 2, 1], [], 是)
現代橋梁核對=(6, 3, [2, 1, 0, 0, 2, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4]],"target_n":5,"target_table":[[2,4,3,1,0],[4,3,0,2,1],[3,0,1,4,2],[1,2,4,0,3],[0,1,2,3,4]],"mapping":[2,1,0,3,4]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [2, 1, 0, 3, 4], [], 是)
現代橋梁核對=(5, 5, [2, 1, 0, 3, 4], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[1,0,2,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [1, 0, 2, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [1, 0, 2, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[4,0,3,1,2],[0,1,2,3,4],[3,2,0,4,1],[1,3,4,2,0],[2,4,1,0,3]],"target_n":5,"target_table":[[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2]],"mapping":[2,1,4,0,3]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [2, 1, 4, 0, 3], [], 是)
現代橋梁核對=(5, 5, [2, 1, 4, 0, 3], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[4,0,3,5,1,2],[0,1,2,3,4,5],[3,2,0,4,5,1],[5,3,4,1,2,0],[1,4,5,2,0,3],[2,5,1,0,3,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,0,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [2, 1, 0, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [2, 1, 0, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[4,2,3,0,1],[2,0,4,1,3],[3,4,1,2,0],[0,1,2,3,4],[1,3,0,4,2]],"target_n":5,"target_table":[[4,3,1,0,2],[3,2,4,1,0],[1,4,0,2,3],[0,1,2,3,4],[2,0,3,4,1]],"mapping":[1,4,0,3,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [1, 4, 0, 3, 2], [], 是)
現代橋梁核對=(5, 5, [1, 4, 0, 3, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[4,2,5,0,3,1],[2,0,4,1,5,3],[5,4,3,2,1,0],[0,1,2,3,4,5],[3,5,1,4,0,2],[1,3,0,5,2,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,2,0,0,2,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [1, 2, 0, 0, 2, 1], [], 是)
現代橋梁核對=(6, 3, [1, 2, 0, 0, 2, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,4,0,2,3],[2,0,3,4,1],[3,2,4,1,0],[4,3,1,0,2]],"target_n":5,"target_table":[[0,1,2,3,4],[1,4,3,0,2],[2,3,1,4,0],[3,0,4,2,1],[4,2,0,1,3]],"mapping":[0,4,2,1,3]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [0, 4, 2, 1, 3], [], 是)
現代橋梁核對=(5, 5, [0, 4, 2, 1, 3], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[3,2,4,5,1,0],[2,0,3,4,5,1],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,1,2,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [0, 1, 2, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [0, 1, 2, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[4,2,0,1,3],[2,3,1,4,0],[0,1,2,3,4],[1,4,3,0,2],[3,0,4,2,1]],"target_n":5,"target_table":[[4,3,0,2,1],[3,0,1,4,2],[0,1,2,3,4],[2,4,3,1,0],[1,2,4,0,3]],"mapping":[4,1,2,0,3]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [4, 1, 2, 0, 3], [], 是)
現代橋梁核對=(5, 5, [4, 1, 2, 0, 3], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[4,0,5,2,1,3],[0,1,2,3,4,5],[5,2,1,4,3,0],[2,3,4,0,5,1],[1,4,3,5,0,2],[3,5,0,1,2,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,1,0,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [2, 1, 1, 0, 0, 2], [], 是)
現代橋梁核對=(6, 3, [2, 1, 1, 0, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[3,4,1,2,0],[4,2,3,0,1],[1,3,0,4,2],[2,0,4,1,3],[0,1,2,3,4]],"target_n":5,"target_table":[[3,2,4,1,0],[2,0,3,4,1],[4,3,1,0,2],[1,4,0,2,3],[0,1,2,3,4]],"mapping":[3,1,0,2,4]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [3, 1, 0, 2, 4], [], 是)
現代橋梁核對=(5, 5, [3, 1, 0, 2, 4], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[4,5,1,0,3,2],[5,3,4,1,2,0],[1,4,0,2,5,3],[0,1,2,3,4,5],[3,2,5,4,0,1],[2,0,3,5,1,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,0,2,0,2,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [1, 0, 2, 0, 2, 1], [], 是)
現代橋梁核對=(6, 3, [1, 0, 2, 0, 2, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[3,0,1,4,2],[0,1,2,3,4],[1,2,4,0,3],[4,3,0,2,1],[2,4,3,1,0]],"target_n":5,"target_table":[[2,0,3,4,1],[0,1,2,3,4],[3,2,4,1,0],[4,3,1,0,2],[1,4,0,2,3]],"mapping":[4,1,0,3,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [4, 1, 0, 3, 2], [], 是)
現代橋梁核對=(5, 5, [4, 1, 0, 3, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[3,4,1,5,2,0],[4,5,3,2,0,1],[1,3,0,4,5,2],[5,2,4,0,1,3],[2,0,5,1,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,2,1,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [0, 2, 1, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [0, 2, 1, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0]],"target_n":5,"target_table":[[1,2,4,0,3],[2,4,3,1,0],[4,3,0,2,1],[0,1,2,3,4],[3,0,1,4,2]],"mapping":[4,0,2,3,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [4, 0, 2, 3, 1], [], 是)
現代橋梁核對=(5, 5, [4, 0, 2, 3, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[3,0,5,1,2,4],[0,1,2,3,4,5],[5,2,1,4,3,0],[1,3,4,0,5,2],[2,4,3,5,0,1],[4,5,0,2,1,3]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,1,0,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [2, 1, 1, 0, 0, 2], [], 是)
現代橋梁核對=(6, 3, [2, 1, 1, 0, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,3,4,2,0],[2,4,1,0,3],[3,2,0,4,1],[4,0,3,1,2]],"target_n":5,"target_table":[[0,1,2,3,4],[1,3,4,2,0],[2,4,1,0,3],[3,2,0,4,1],[4,0,3,1,2]],"mapping":[0,3,1,4,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [0, 3, 1, 4, 2], [], 是)
現代橋梁核對=(5, 5, [0, 3, 1, 4, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[2,5,3,0,1,4],[5,3,4,1,2,0],[3,4,0,2,5,1],[0,1,2,3,4,5],[1,2,5,4,0,3],[4,0,1,5,3,2]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,0,2,0,2,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [1, 0, 2, 0, 2, 1], [], 是)
現代橋梁核對=(6, 3, [1, 0, 2, 0, 2, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1]],"target_n":5,"target_table":[[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1]],"mapping":[3,0,2,4,1]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [3, 0, 2, 4, 1], [], 是)
現代橋梁核對=(5, 5, [3, 0, 2, 4, 1], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":6,"source_table":[[2,4,5,1,3,0],[4,5,3,2,0,1],[5,3,0,4,1,2],[1,2,4,0,5,3],[3,0,1,5,2,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,2,1,1,0,2]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(6, 3, [0, 2, 1, 1, 0, 2], [], 是)
現代橋梁核對=(6, 3, [0, 2, 1, 1, 0, 2], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-homomorphism-audit；資料={"source_n":5,"source_table":[[2,3,1,4,0],[3,0,4,2,1],[1,4,3,0,2],[4,2,0,1,3],[0,1,2,3,4]],"target_n":5,"target_table":[[2,3,1,4,0],[3,0,4,2,1],[1,4,3,0,2],[4,2,0,1,3],[0,1,2,3,4]],"mapping":[2,0,3,1,4]}。請依 [source_n,target_n,mapping,bad_pairs,homomorphism] 欄序回答。
(5, 5, [2, 0, 3, 1, 4], [], 是)
現代橋梁核對=(5, 5, [2, 0, 3, 1, 4], [], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-homomorphism-audit · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3]],"target_n":5,"target_table":[[0,1,2,3,4],[1,3,0,4,2],[2,0,4,1,3],[3,4,1,2,0],[4,2,3,0,1]],"mapping":[0,3,2,1,4]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [0, 3, 2, 1, 4], [0], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [0, 3, 2, 1, 4], [0], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[2,0,3,4,5,1],[0,1,2,3,4,5],[3,2,4,5,1,0],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[0,1,2,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [0, 1, 2, 1, 0, 2], [1, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [0, 1, 2, 1, 0, 2], [1, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[1,3,0,4,2],[3,4,1,2,0],[0,1,2,3,4],[4,2,3,0,1],[2,0,4,1,3]],"target_n":5,"target_table":[[3,2,0,4,1],[2,4,1,0,3],[0,1,2,3,4],[4,0,3,1,2],[1,3,4,2,0]],"mapping":[3,1,2,0,4]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [3, 1, 2, 0, 4], [2], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [3, 1, 2, 0, 4], [2], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[1,2,4,0,5,3],[2,4,5,1,3,0],[4,5,3,2,0,1],[0,1,2,3,4,5],[5,3,0,4,1,2],[3,0,1,5,2,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[2,1,0,0,2,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [2, 1, 0, 0, 2, 1], [2, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [2, 1, 0, 0, 2, 1], [2, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4]],"target_n":5,"target_table":[[2,4,3,1,0],[4,3,0,2,1],[3,0,1,4,2],[1,2,4,0,3],[0,1,2,3,4]],"mapping":[2,1,0,3,4]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [2, 1, 0, 3, 4], [4], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [2, 1, 0, 3, 4], [4], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[1,2,3,4,5,0],[2,3,4,5,0,1],[3,4,5,0,1,2],[4,5,0,1,2,3],[5,0,1,2,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[1,0,2,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [1, 0, 2, 1, 0, 2], [2, 5], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [1, 0, 2, 1, 0, 2], [2, 5], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[4,0,3,1,2],[0,1,2,3,4],[3,2,0,4,1],[1,3,4,2,0],[2,4,1,0,3]],"target_n":5,"target_table":[[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1],[3,4,0,1,2]],"mapping":[2,1,4,0,3]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [2, 1, 4, 0, 3], [1], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [2, 1, 4, 0, 3], [1], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[4,0,3,5,1,2],[0,1,2,3,4,5],[3,2,0,4,5,1],[5,3,4,1,2,0],[1,4,5,2,0,3],[2,5,1,0,3,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,0,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [2, 1, 0, 1, 0, 2], [1, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [2, 1, 0, 1, 0, 2], [1, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[4,2,3,0,1],[2,0,4,1,3],[3,4,1,2,0],[0,1,2,3,4],[1,3,0,4,2]],"target_n":5,"target_table":[[4,3,1,0,2],[3,2,4,1,0],[1,4,0,2,3],[0,1,2,3,4],[2,0,3,4,1]],"mapping":[1,4,0,3,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [1, 4, 0, 3, 2], [3], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [1, 4, 0, 3, 2], [3], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[4,2,5,0,3,1],[2,0,4,1,5,3],[5,4,3,2,1,0],[0,1,2,3,4,5],[3,5,1,4,0,2],[1,3,0,5,2,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,2,0,0,2,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [1, 2, 0, 0, 2, 1], [2, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [1, 2, 0, 0, 2, 1], [2, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,4,0,2,3],[2,0,3,4,1],[3,2,4,1,0],[4,3,1,0,2]],"target_n":5,"target_table":[[0,1,2,3,4],[1,4,3,0,2],[2,3,1,4,0],[3,0,4,2,1],[4,2,0,1,3]],"mapping":[0,4,2,1,3]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [0, 4, 2, 1, 3], [0], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [0, 4, 2, 1, 3], [0], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[3,2,4,5,1,0],[2,0,3,4,5,1],[4,3,5,1,0,2],[5,4,1,0,2,3],[1,5,0,2,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,1,2,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [0, 1, 2, 1, 0, 2], [2, 5], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [0, 1, 2, 1, 0, 2], [2, 5], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[4,2,0,1,3],[2,3,1,4,0],[0,1,2,3,4],[1,4,3,0,2],[3,0,4,2,1]],"target_n":5,"target_table":[[4,3,0,2,1],[3,0,1,4,2],[0,1,2,3,4],[2,4,3,1,0],[1,2,4,0,3]],"mapping":[4,1,2,0,3]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [4, 1, 2, 0, 3], [2], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [4, 1, 2, 0, 3], [2], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[4,0,5,2,1,3],[0,1,2,3,4,5],[5,2,1,4,3,0],[2,3,4,0,5,1],[1,4,3,5,0,2],[3,5,0,1,2,4]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,1,0,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [2, 1, 1, 0, 0, 2], [1, 2], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [2, 1, 1, 0, 0, 2], [1, 2], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[3,4,1,2,0],[4,2,3,0,1],[1,3,0,4,2],[2,0,4,1,3],[0,1,2,3,4]],"target_n":5,"target_table":[[3,2,4,1,0],[2,0,3,4,1],[4,3,1,0,2],[1,4,0,2,3],[0,1,2,3,4]],"mapping":[3,1,0,2,4]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [3, 1, 0, 2, 4], [4], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [3, 1, 0, 2, 4], [4], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[4,5,1,0,3,2],[5,3,4,1,2,0],[1,4,0,2,5,3],[0,1,2,3,4,5],[3,2,5,4,0,1],[2,0,3,5,1,4]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,0,2,0,2,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [1, 0, 2, 0, 2, 1], [1, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [1, 0, 2, 0, 2, 1], [1, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[3,0,1,4,2],[0,1,2,3,4],[1,2,4,0,3],[4,3,0,2,1],[2,4,3,1,0]],"target_n":5,"target_table":[[2,0,3,4,1],[0,1,2,3,4],[3,2,4,1,0],[4,3,1,0,2],[1,4,0,2,3]],"mapping":[4,1,0,3,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [4, 1, 0, 3, 2], [1], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [4, 1, 0, 3, 2], [1], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[3,4,1,5,2,0],[4,5,3,2,0,1],[1,3,0,4,5,2],[5,2,4,0,1,3],[2,0,5,1,3,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,2,1,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [0, 2, 1, 1, 0, 2], [1, 5], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [0, 2, 1, 1, 0, 2], [1, 5], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[2,3,4,0,1],[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0]],"target_n":5,"target_table":[[1,2,4,0,3],[2,4,3,1,0],[4,3,0,2,1],[0,1,2,3,4],[3,0,1,4,2]],"mapping":[4,0,2,3,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [4, 0, 2, 3, 1], [3], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [4, 0, 2, 3, 1], [3], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[3,0,5,1,2,4],[0,1,2,3,4,5],[5,2,1,4,3,0],[1,3,4,0,5,2],[2,4,3,5,0,1],[4,5,0,2,1,3]],"target_n":3,"target_table":[[2,0,1],[0,1,2],[1,2,0]],"mapping":[2,1,1,0,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [2, 1, 1, 0, 0, 2], [1, 2], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [2, 1, 1, 0, 0, 2], [1, 2], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[0,1,2,3,4],[1,3,4,2,0],[2,4,1,0,3],[3,2,0,4,1],[4,0,3,1,2]],"target_n":5,"target_table":[[0,1,2,3,4],[1,3,4,2,0],[2,4,1,0,3],[3,2,0,4,1],[4,0,3,1,2]],"mapping":[0,3,1,4,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [0, 3, 1, 4, 2], [0], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [0, 3, 1, 4, 2], [0], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[2,5,3,0,1,4],[5,3,4,1,2,0],[3,4,0,2,5,1],[0,1,2,3,4,5],[1,2,5,4,0,3],[4,0,1,5,3,2]],"target_n":3,"target_table":[[0,1,2],[1,2,0],[2,0,1]],"mapping":[1,0,2,0,2,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [1, 0, 2, 0, 2, 1], [1, 3], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [1, 0, 2, 0, 2, 1], [1, 3], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1]],"target_n":5,"target_table":[[3,4,0,1,2],[4,0,1,2,3],[0,1,2,3,4],[1,2,3,4,0],[2,3,4,0,1]],"mapping":[3,0,2,4,1]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [3, 0, 2, 4, 1], [2], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [3, 0, 2, 4, 1], [2], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":6,"source_table":[[2,4,5,1,3,0],[4,5,3,2,0,1],[5,3,0,4,1,2],[1,2,4,0,5,3],[3,0,1,5,2,4],[0,1,2,3,4,5]],"target_n":3,"target_table":[[1,2,0],[2,0,1],[0,1,2]],"mapping":[0,2,1,1,0,2]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(6, 3, [0, 2, 1, 1, 0, 2], [1, 5], [0, 1, 2], 否)
現代橋梁核對=(6, 3, [0, 2, 1, 1, 0, 2], [1, 5], [0, 1, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate
完整有限群Cayley表。操作=subgroup-kernel-image；資料={"source_n":5,"source_table":[[2,3,1,4,0],[3,0,4,2,1],[1,4,3,0,2],[4,2,0,1,3],[0,1,2,3,4]],"target_n":5,"target_table":[[2,3,1,4,0],[3,0,4,2,1],[1,4,3,0,2],[4,2,0,1,3],[0,1,2,3,4]],"mapping":[2,0,3,1,4]}。請依 [source_n,target_n,mapping,kernel,image,injective] 欄序回答。
(5, 5, [2, 0, 3, 1, 4], [4], [0, 1, 2, 3, 4], 是)
現代橋梁核對=(5, 5, [2, 0, 3, 1, 4], [4], [0, 1, 2, 3, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；同態不自動是單射；只分類指定有限群。
子群與群同態 · qf-mod23-subgroup-kernel-image · candidate