1: \begin{abstract}
2: Motivated by the quest for a logic for $\Ptime$ and
3: recent insights that the descriptive complexity of problems from
4: linear algebra is a crucial aspect of this problem,
5: we study the solvability of linear equation systems over
6: finite groups and rings from the viewpoint of
7: logical (inter-)definability. All problems that we
8: consider are decidable in polynomial time, but not
9: expressible in fixed-point logic with counting. They also
10: provide natural candidates for a separation of
11: polynomial time from rank logics, which extend
12: fixed-point logics by operators for determining the rank of definable
13: matrices and which are sufficient for solvability problems
14: over fields.
15:
16: Based on the structure theory of finite rings, we establish logical
17: reductions among various solvability problems.
18: Our results indicate that \emph{all} solvability problems for linear
19: equation systems
20: that separate fixed-point logic with counting %$\fpc$
21: from $\Ptime$ can be reduced to solvability over
22: commutative rings.
23: Moreover, we prove closure properties for classes of queries that
24: reduce to solvability over rings, %. As an application, these closure
25: %properties
26: which provides normal forms
27: for logics extended with solvability operators.
28:
29: We conclude by studying the extent to which fixed-point logic with
30: counting can express problems in linear algebra over finite
31: commutative rings, generalising known results from~\cite{dawar09logics,holm10thesis,blass02polynomial}
32: on the logical definability
33: of linear-algebraic problems over finite fields.
34:
35: %Finally, we also study the extent to which fixed-point logic with counting
36: %can express linear algebra over finite commutative rings, generalising
37: %results on logical definability of linear-algebraic problems over finite fields.
38: %\fixme{Check the last two sentences of the abstract (OK'd by BH)}
39: \end{abstract}
40: