Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C\_{\cdot}(A)$ where
$$
C\_n(A):=A^{\otimes n+1}
$$
and the differntial $b: C\_n(A)\rightarrow C\_{n-1}(A)$ is defined to be
$$
b(a\_0\otimes\ldots\otimes a\_n):=\sum\_{i=0}^{n-1}(-1)^i a\_0\otimes \ldots\otimes a\_ia\_{i+1}\otimes\ldots\otimes a\_n.
$$
The Hochschild homology $HH^{\cdot}(A)$ is defined to be the homology of the complex $(C\_{\cdot}(A),b)$.


Moreover, $C\_{\cdot}(A)$ is a simplicial module where $d\_i: C\_n(A)\rightarrow C\_{n-1}(A)$ is defined to be
$$
d\_i(a\_0\otimes\ldots\otimes a\_n):=a\_0\otimes \ldots\otimes a\_ia\_{i+1}\otimes\ldots\otimes a\_n
$$
and $b=\sum\_{i=0}^{n-1}(-1)^id\_i$ according to standard simplicial homology theory.


On the other hand, we have a simplicial model of $S^1$, denoted by $S^1\_{\cdot}$ (see Loday's [Free loop space and homology](http://www-irma.u-strasbg.fr/~loday/PAPERS/FreeLoop4.pdf)). Where
$$
S^1\_0=\{\*\}\\
S^1\_1=\{s\_0(\*),\tau\}
$$
where $d\_0\tau=\*$ and $d\_1\tau=\*$. For $n>1$
$$
S^1\_n=\{s\_0^n(\*),s\_{n-1}\ldots\widehat{s\_{i-1}}\ldots s\_0\tau,i=1,\ldots,n\}.
$$
We see that each $S^1\_n$ consists of $n+1$ elements. Anyway, it is not difficult to check that its geometric realization $|S^1\_{\cdot}|$ is homeomorphic to $S^1$. 


$\textbf{If the algebra A is commutative}$, the Hochschild chain complex $C\_{\cdot}(A)$ can be considered as the tensor product of $S^1\_{\cdot}$ and $A$, and the $d\_i$'s in $C\_{\cdot}(A)$ are induced by the $d\_i$'s in $S^1\_{\cdot}$.


For example, both $d\_0$ and $d\_1$ have to map the two elements in $S^1\_1$ to the same element $\*$ in $S^1\_0$ and both of them correspond to 
$$
a\_0\otimes a\_1\mapsto a\_0a\_1.
$$
Here we don't need to distinguish $a\_0a\_1$ and $a\_1a\_0$ since $A$ is commutative.


$\textbf{My question}$ is: when $A$ is NOT commutative, could we also get the simplicial module $C\_{\cdot}(A)$ from $S^1\_{\cdot}$? 



Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras
The article "[Hochschild and cyclic homology via functor homology](http://www.math.uni-hamburg.de/home/richter/hochcyc.pdf)," by Pirashvili and Richter, gives precisely such a description.


In this paper they describe a category of "noncommutative sets," isomorphic to one described earlier by Fiedorowicz and Loday. The objects are finite sets, and maps are maps of finite sets together with a total order on each preimage. Associative algebras are not tensored over finite sets, but they are tensored over noncommutative sets, and if the algebra is commutative this agrees with the tensor over the underlying set. They then show that the simplicial set $S^1\_\bullet$ lifts to the structure of a simplicial noncommutative set, and the Hochschild complex of an associative algebra $A$ comes from the levelwise tensor of $A$ with $S^1\_\bullet$.


