On the geometric equivalence of algebras

It is known that an algebra is geometrically equivalent to any of its filterpowers if it is q_ω-compact. We present an explicit description for the radicals of systems of equation over an algebra A and then we prove the above assertion by an elementary new argument. Then we define q_κ-compact algebras and κ-filterpowers for any infinite cardinal κ. We show that any q_κ-compact algebra is geometric equivalent to its κ-filterpowers. As there is no algebraic description of the κ-quasivariety generated by an algebra, the classical argument can not be applied in this case, while our proof still works.