I have three $7\times 7$ matrices (with real entries, lots of zeros) and I'd like to check if they generate a finite group (or, more precisely, if the group they generate is of precise order). Would it be possible to do with Mathematica?

---

These are the matrices. All of order 3. I expect this group to be of order 6048 or 12096.

```
gMatrix = 
  SparseArray[{{1, 3} -> 1, {2, 1} -> 1, {3, 2} -> 
     1, {4, 4} -> -(1/2), {4, 5} -> -(1/2), {4, 6} -> -(1/2), {4, 
      7} -> -(1/2), {5, 4} -> 1/2, {5, 5} -> -(1/2), {5, 6} -> 
     1/2, {5, 7} -> -(1/2), {6, 4} -> 
     1/2, {6, 5} -> -(1/2), {6, 6} -> -(1/2), {6, 7} -> 1/2, {7, 4} ->
      1/2, {7, 5} -> 
     1/2, {7, 6} -> -(1/2), {7, 7} -> -(1/2), {_, _} -> 0}, 7];

hMatrix = 
  SparseArray[{{1, 5} -> 
     1, {2, 2} -> -(1/2), {2, 3} -> -(1/2), {2, 6} -> 1/2, {2, 7} -> 
     1/2, {3, 2} -> 1/2, {3, 3} -> -(1/2), {3, 6} -> -(1/2), {3, 7} ->
      1/2, {4, 1} -> 1, {5, 4} -> 1, {6, 2} -> -(1/2), {6, 3} -> 
     1/2, {6, 6} -> -(1/2), {6, 7} -> 
     1/2, {7, 2} -> -(1/2), {7, 3} -> -(1/2), {7, 6} -> -(1/2), {7, 
      7} -> -(1/2), {_, _} -> 0}, 7];

kMatrix = 
  SparseArray[{{1, 4} -> -1, {2, 2} -> -(1/2), {2, 3} -> -(1/2), {2, 
      6} -> -(1/2), {2, 7} -> 1/2, {3, 2} -> 
     1/2, {3, 3} -> -(1/2), {3, 6} -> -(1/2), {3, 7} -> -(1/2), {4, 
      5} -> -1, {5, 1} -> 1, {6, 2} -> 1/2, {6, 3} -> 
     1/2, {6, 6} -> -(1/2), {6, 7} -> 1/2, {7, 2} -> -(1/2), {7, 3} ->
      1/2, {7, 6} -> -(1/2), {7, 7} -> -(1/2), {_, _} -> 0}, 7];

```