Fair Value Summary of Changes in Fair Value Associated With Level 3 Assets (Detail) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2017	Jun. 30, 2016	Jun. 30, 2017	Jun. 30, 2016
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Beginning Fair Value	$ 0.3	$ 9.8	$ 0.7	$ 10.2
Calls/ Maturities/ Paydowns	0.0	(0.3)	(0.4)	(0.6)
Purchases	0.0	0.0	0.0	0.0
Sales	0.0	0.0	0.0	0.0
Net Realized (Gain) Loss on Sales	0.0	0.0	0.0	0.0
Change in Valuation	0.0	0.0	0.0	(0.1)
Net Transfers in (out)	0.0	0.0	0.0	0.0
Ending Fair value	0.3	9.5	0.3	9.5
Fixed maturities
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Beginning Fair Value	0.0	9.5	0.3	9.9
Calls/ Maturities/ Paydowns	0.0	(0.3)	(0.3)	(0.6)
Purchases	0.0	0.0	0.0	0.0
Sales	0.0	0.0	0.0	0.0
Net Realized (Gain) Loss on Sales	0.0	0.0	0.0	0.0
Change in Valuation	0.0	0.0	0.0	(0.1)
Net Transfers in (out)	0.0	0.0	0.0	0.0
Ending Fair value	0.0	9.2	0.0	9.2
Equity securities \| Common equities \| Other risk investments
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Beginning Fair Value	0.3	0.3	0.4	0.3
Calls/ Maturities/ Paydowns	0.0	0.0	(0.1)	0.0
Purchases	0.0	0.0	0.0	0.0
Sales	0.0	0.0	0.0	0.0
Net Realized (Gain) Loss on Sales	0.0	0.0	0.0	0.0
Change in Valuation	0.0	0.0	0.0	0.0
Net Transfers in (out)	0.0	0.0	0.0	0.0
Ending Fair value	0.3	0.3	0.3	0.3
Asset-backed Securities \| Fixed maturities \| Commercial mortgage-backed securities
Fair Value, Assets Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation [Roll Forward]
Beginning Fair Value	0.0	9.5	0.3	9.9
Calls/ Maturities/ Paydowns	0.0	(0.3)	(0.3)	(0.6)
Purchases	0.0	0.0	0.0	0.0
Sales	0.0	0.0	0.0	0.0
Net Realized (Gain) Loss on Sales	0.0	0.0	0.0	0.0
Change in Valuation	0.0	0.0	0.0	(0.1)
Net Transfers in (out)	0.0	0.0	0.0	0.0
Ending Fair value	$ 0.0	$ 9.2	$ 0.0	$ 9.2

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

No definition available.

Name:	us-gaap_FairValueAssetsMeasuredOnRecurringBasisUnobservableInputReconciliationCalculationRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of gain (loss) recognized in the income statement for financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetGainLossIncludedInEarnings1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of gain (loss) recognized in other comprehensive income (loss) for financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1a)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetGainLossIncludedInOtherComprehensiveIncomeLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of purchases of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetPurchases
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of sale of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetSales
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of settlement of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetSettlements
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of transfer of financial instrument classified as an asset into (out of) level 3 of the fair value hierarchy.

+ References

No definition available.

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Fair value of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Details

Name:	us-gaap_InvestmentTypeAxis=us-gaap_FixedMaturitiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_InvestmentTypeAxis=us-gaap_EquitySecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=us-gaap_CommonStockMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	invest_InvestmentSectorAxis=pgr_OtherRiskInvestmentsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_InvestmentSecondaryCategorizationAxis=us-gaap_AssetBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=us-gaap_CommercialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: