##  [Bar Construction](/bar-construction-0) 

 Definition

A standard simplicial or chain-level construction that produces a resolution of an augmented associative algebra or module, encoding extensions and enabling computation of derived functors such as Tor and Hochschild homology.

 

 

 

 

 

 





## Principle

Principle

Build an explicit chain complex whose faces and degeneracies reflect concatenation and augmentation so that homology of the complex computes algebraic extensions and derived invariants.

 

 

 

 

 





## Demonstration

Demonstration

For an augmented associative algebra A and a right A-module M and left A-module N, the two-sided bar complex B(M,A,N) is the chain complex with terms M ⊗ A^{⊗n} ⊗ N and differential given by multiplication and augmentation; its homology computes Tor^A_*(M,N).

 

 

 

 

## Misapplication

Misapplication

Using the classical bar construction without modification on an object lacking an augmentation or on a nonassociative product, which yields a complex whose homology no longer reflects the intended derived functors.

 

 

 

 

 





## Consequence

Consequence

When applied correctly, the bar construction yields explicit projective (or free) resolutions, facilitates concrete calculations of Tor and Hochschild homology, and makes higher extension classes and Massey-type operations visible.

 

 

 

 

## Reversal

Reversal

Dualizing the bar construction (passing to hom complexes or linear duals) leads toward cochain models such as the cobar construction or Ext computations rather than Tor computations.

 

 

 

 

 





## Boundary

Boundary

Scope is augmented associative algebras, modules, and monoids in monoidal categories with enough projectives or a chosen model structure; it excludes naive use for arbitrary nonassociative multiplications or without attention to completions for infinite tensor powers.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension exists between the bar construction as a computational resolution (explicit combinatorial complex) and abstract homotopical resolutions given by model-category cofibrant replacements; both represent derived information but differ in concreteness and functoriality.

 

 

 

 

 





## Synthesis

Synthesis

The bar construction is an explicit simplicial/chain recipe that resolves augmented associative structures, turning multiplication and augmentation into a complex whose homology computes extension-type invariants like Tor and Hochschild homology.