Sciweavers

IJAC
2007
62views more  IJAC 2007»
14 years 10 months ago
Fixed Vectors for Elements in Modules for Algebraic Groups
Irina D. Suprunenko, Alexandre E. Zalesski
78
Voted
IJAC
2007
64views more  IJAC 2007»
14 years 10 months ago
Star-Free Geodesic Languages for Groups
In this article we show that every group with a finite presentation satisfying one or both of the small cancellation conditions C (1/6) and C (1/4) − T (4) has the property that...
Susan M. Hermiller, Derek F. Holt, Sarah Rees
IJAC
2007
99views more  IJAC 2007»
14 years 10 months ago
Normalized Expressions and Finite Automata
There exist two well-known quotients of the position automaton of a regular expression. The first one, called the equation automaton, has first been introduced by Mirkin from th...
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Zi...
IJAC
2007
70views more  IJAC 2007»
14 years 10 months ago
The Free Alternative Superalgebra on One odd Generator
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
Ivan Shestakov, Natalia Zhukavets
90
Voted
IJAC
2007
59views more  IJAC 2007»
14 years 10 months ago
Polynomial-Time Complexity for Instances of the Endomorphism Problem in Free Groups
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...
Laura Ciobanu
IJAC
2007
73views more  IJAC 2007»
14 years 10 months ago
Computationally and Algebraically Complex Finite Algebra Membership Problems
In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a γ function that grows exp...
Marcin Kozik
IJAC
2007
59views more  IJAC 2007»
14 years 10 months ago
Automorphic Equivalence Problem for Free Associative Algebras of Rank Two
Let K x, y be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not tw...
Vesselin Drensky, Jie-Tai Yu