1: \begin{abstract}

2: %In phylogenetics,  obtaining a system of equations that define a phylogenetic variety on an open set containing the biologically meaningful points may be relevant.\red{mateusz: I am against "may be" in the first sentence of the abstract. Maybe at least:

3: Motivated by phylogenetics, our aim is to obtain a system of equations that define a phylogenetic variety on an open set containing the biologically meaningful points.

4: In this paper we consider phylogenetic varieties defined via group-based models. For any finite

5: abelian group $G$, we provide an explicit construction of $\codim X$ phylogenetic invariants (polynomial equations) of degree at most $|G|$  that define the variety $X$ on a Zariski open set $U$. The set $U$ contains all biologically meaningful points when $G$ is the group of the Kimura 3-parameter model. 

6: %- it consists of points with nonzero Fourier coordinates. 

7: In particular, our main result confirms \cite[Conjecture 7.9]{jaPhD} and, on the set $U$, Conjectures 29 and 30 of \cite{SS}.

8: \end{abstract}

9: