1: \begin{abstract}

2: 	We introduce ``synchronous algebras'', an algebraic structure

3: 	tailored to recognize automatic relations ("aka" synchronous relations, or regular relations).

4: 	They are the equivalent of monoids for regular languages,

5: 	however they conceptually differ in two points: first, they are typed and second,

6: 	they are equipped with a dependency relation expressing constraints between elements of different types.

7: 

8: 	We first show that the three pillars of algebraic language theory hold for synchronous algebras: (a) any relation admits a \emph{syntactic} synchronous algebra 

9: 	recognizing it, and moreover, the relation is synchronous if, and only if, its minimal algebra

10: 	is finite; (b) classes of synchronous relations with desirable closure properties (called 

11: 	``pseudovarieties'') correspond to pseudovarieties of synchronous algebras; and 

12: 	(c) pseudovarieties of synchronous algebras are exactly the classes of synchronous algebras 

13: 	defined by a generalization of profinite equalities called

14: 	``profinite dependencies''.

15: 

16: 	Building on these results, we show how algebraic characterizations of

17: 	pseudovarieties of regular languages can be lifted to the pseudovarieties of synchronous relations that they induce. A typical (and running) example

18: 	of such a pseudovariety is the class of ``group relations'',

19: 	defined as the relations recognized by

20: 	finite-state synchronous permutation automata.

21: 	% Lastly, we also show that some natural subclasses of synchronous relations studied in the literature are pseudovarieties.

22: \end{abstract}

23: