๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The finite power property in free groups

โœ Scribed by Flavio d'Alessandro; Jacques Sakarovitch


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
368 KB
Volume
293
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

โœฆ Synopsis


We show that the รฟnite power property is decidable for rational sets in the free group. The complexity of the construction involved in the decision procedure may be lowered to O(n 3 )where n is the cardinality of the state set of the automaton that deรฟnes the rational set.

Rรƒ esumรƒ e

La propriรƒ etรƒ e de puissance รฟnie est dรƒ ecidable pour les parties rationnelles du groupe libre. La complexitรƒ e de la construction utilisรƒ ee par la procรƒ edure de dรƒ ecision peut รชtre ramenรƒ ee ร‚ a O(n 3 )-oร‚ u n est le nombre d'รƒ etats de l'automate qui dรƒ eรฟnit la partie rationnelle.


๐Ÿ“œ SIMILAR VOLUMES


Residual properties of free products of
โœ Martin W. Liebeck; Aner Shalev ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 144 KB

Using a probabilistic approach we establish a new residual property of free products of finite groups.

On finite groups with the cayley isomorp
โœ Li, Cai Heng; Praeger, Cheryl E.; Xu, Ming Yao ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 197 KB

Let G be a finite group, and let Cay(G, S) be a Cayley digraph of G. If, for all T โŠ‚ G, Cay(G, S) โˆผ = Cay(G, T ) implies S ฮฑ = T for some ฮฑ โˆˆ Aut(G), then Cay(G, S) is called a CI-graph of G. For a group G, if all Cayley digraphs of valency m are CI-graphs, then G is said to have the m-DCI property;

On Finite Groups with the Cayley Isomorp
โœ Cai Heng Li ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 184 KB

For a positive integer m, a group G is said to have the m-DCI property if, for any Cayley digraphs Cay(G, S) and Cay(G, T ) of G of valency m (that is, |S| = |T | =m), Cay(G, S)$Cay(G, T ) if and only if S \_ =T for some \_ # Aut(G). This paper is one of a series of papers towards characterizing fin