Create an exterior algebra with explicit generators by creating a polynomial ring with the option SkewCommutative.
i1 : R = ZZ/101[x,y,z, SkewCommutative => true] |
i2 : y*x |
i3 : (x+y+z)^2 |
i4 : basis R |
i5 : basis(2,R) |
At the moment, there is no way to construct an exterior algebra from a free module, but you can take quotient rings of exterior algebras.