1: \begin{abstract}

2: \noindent

3:   The theory of symmetric homology, in which the symmetric groups

4:   $\Sigma_k^\mathrm{op}$, for $k \geq 0$, play the role that the cyclic

5:   groups do in cyclic homology, begins with the definition of the category

6:   $\Delta S$, containing the simplicial category $\Delta$ as subcategory.

7:   Symmetric homology of a unital algebra, $A$, over a commutative ground ring, $k$,

8:   is defined using derived functors and the symmetric bar construction of

9:   Fiedorowicz.  If $A = k[G]$ is a group ring, then $HS_*(k[G])$ is related to stable

10:   homotopy theory.

11:   Two chain complexes that compute $HS_*(A)$ are constructed, both making

12:   use of a symmetric monoidal category $\Delta S_+$ containing $\Delta S$, which

13:   also permits homology operations to be defined on $HS_*(A)$.  

14:   Two spectral sequences are found that aid in computing symmetric homology.

15:   In the second spectral sequence, the complex $Sym_*^{(p)}$ is constructed.  This

16:   complex turns out to be isomorphic to the suspension of the cycle-free chessboard

17:   complex, $\Omega_{p+1}$, of Vre\'{c}ica and \v{Z}ivaljevi\'{c}.  Recent results

18:   on the connectivity of $\Omega_n$ imply finite-dimensionality of the symmetric

19:   homology groups of finite-dimensional algebras.

20:   Finally, an explicit

21:   partial resolution is presented, permitting the calculation of $HS_0(A)$ and

22:   $HS_1(A)$ for a finite-dimensional algebra $A$.

23: \end{abstract}

24: