principal bundle connection
Ehresmann connection on a principal bundle that is compatible with the group action
flat principal connection
connection on a principal bundle whose curvature 2-form vanishes identically
Ehresmann connection on a principal bundle that is compatible with the group action