Semigroup presentations for congruences on groups.

DOI10.4134/BKMS.2013.50.2.445MaRDI QIDQ2856985zbMATH OpenOpenAlexFDO

Authors Gonca Ayık, Basri Çalişkan

Publication date 31 October 2013

Published in Bulletin of the Korean Mathematical Society (Search for Journal in Brave)

Full work available at URL http://www.mathnet.or.kr/mathnet/kms_content.php?no=411047

zbMATH Keywords

congruencesnormal subgroupssemigroup presentationssubgroups of finite index

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Free semigroups, generators and relations, word problems (20M05)

Review text

The authors consider a congruence \(\rho\) on a group \(G\) as a subsemigroup of the direct product \(G\times G\). They note in the abstract of this paper ``It is well known that a relation \(\rho\) on \(G\) is a congruence if and only if there exists a normal subgroup \(N\) of \(G\) such that \(\rho =\{(s,t):st^{-1}\in N\}\). In this paper we prove that if \(G\) is a finitely presented group, and if \(N\) is a normal subgroup of \(G\) with finite index, then the congruence \(\rho=\{(s,t):st^{-1}\in N\}\) on \(G\) is finitely presented.

Recommendations

• Presentations for \(S\) and \(S/\rho\) from a given presentation for \(\rho\).
• Finitely generated semigroups having presentation with regular congruence classes.
• scientific article; zbMATH DE number 1342231
• Semigroup and Group Presentations
• scientific article; zbMATH DE number 540501

Cited in

(4)

• On three approaches to conjugacy in semigroups.
• Presentations for \(S\) and \(S/\rho\) from a given presentation for \(\rho\).
• scientific article; zbMATH DE number 7235380 (Why is no real title available?)
• Semigroup presentations for test local groups.

This page was built for publication: Semigroup presentations for congruences on groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856985)