Jose Altuve had the highest batting average in the AL in 2017, with an average of .346.

who led the al in batting average in 2017
Interpreted as:
Who led the al in batting average with a minimum of 3.1 PA per team game in 2017?

Explore