trivial_function := function (x)
	local zero_mat;
	zero_mat := [[0,0,0],[0,0,0],[0,0,0]]; 
	return (zero_mat);
end;

trivial := MappingByFunction (A1, End(GroundField, A1), trivial_function);

S := SemidirectProductOfAlgebras (A1, A1, trivial);