素数pに対し、群Gのシローp-部分群（あるいはp-シロー部分群）とは、Gの極大p-部分群である、つまり、p-群である（任意の元の位数がpの冪である）であるようなGの部分群であって、Gの他のどんなp-部分群の真部分群でないようなものである。
设p是一个质数；则可定义G的西罗p-子群（或者称为p-西罗子群），其为G的p-子群中最大的一个(即其为G的p-群，且不为其他G的p-子群的真子群)。