<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Ciobanu, Laura</dc:creator>
  <dc:creator>Houcine, Abderezak Ould</dc:creator>
  <dc:date>2010-04-15</dc:date>
  <dc:description xmlns:ns0="xml" ns0:lang="en">Let &lt;i&gt;F&lt;/i&gt; be a free group of finite rank. We say that the monomorphism problem in  &lt;i&gt;F&lt;/i&gt; is decidable if there is an algorithm such that, for any two elements &lt;i&gt;u&lt;/i&gt;  and &lt;i&gt;v&lt;/i&gt; in &lt;i&gt;F&lt;/i&gt;, it determines whether there exists a monomorphism of  &lt;i&gt;F&lt;/i&gt; that sends &lt;i&gt;u&lt;/i&gt; to &lt;i&gt;v&lt;/i&gt;. In this paper we show that the  monomorphism problem is decidable and we provide an effective algorithm that  solves the problem.</dc:description>
  <dc:format>application/pdf</dc:format>
  <dc:identifier>https://folia.unifr.ch/global/documents/301736</dc:identifier>
  <dc:identifier>https://folia.unifr.ch/documents/301736/files/Arch_mat.pdf</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.1007/s00013-010-0118-0</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>License undefined</dc:rights>
  <dc:source>Archiv der Mathematik. - 2010, vol. 94, no. 5, p. 423-434</dc:source>
  <dc:subject xmlns:ns1="xml" ns1:lang="en">Free groups</dc:subject>
  <dc:subject xmlns:ns2="xml" ns2:lang="en">Decision problems</dc:subject>
  <dc:subject xmlns:ns3="xml" ns3:lang="en">Complexity of algorithms</dc:subject>
  <dc:subject>info:eu-repo/classification/udc/51</dc:subject>
  <dc:title xmlns:ns4="xml" ns4:lang="en">The monomorphism problem in free groups</dc:title>
  <dc:type>http://purl.org/coar/resource_type/c_6501</dc:type>
</oai_dc:dc>
