An orthogonal frequency division multiplexed, OFDM, demodulation device for demodulating an OFDM signal whose transmission unit is a transmission symbol produced by quadrature modulation in such a way that information is divided for a plurality of subcarriers in a predetermined band, the OFDM demodulation device comprising: quadrature demodulating means that carries out quadrature demodulation of the OFDM signal by using a carrier signal having a specific frequency to thereby produce a baseband OFDM signal; a Fast Fourier Transform, FFT, operation means that performs a Fourier transform of the baseband OFDM signal in units of the transmission symbol to thereby produce a frequency-domain OFDM signal; carrier frequency offset detecting means that detects a carrier frequency offset amount that is a shift amount of a center frequency of the baseband OFDM signal as an offset of a number of subcarriers, based on correlation of subcarriers to which a predetermined signal is inserted, of a frequency-domain OFDM signal, between the transmission symbols, wherein the predetermined signal includes at least any of a Transmission and Multiplexing Configuration Control, TMCC, signal, an Auxiliary Channel, AC, signal, or a Continual Pilot, CP, signal; and frequency control means that controls a frequency of the frequency-domain OFDM signal depending on the carrier frequency offset amount, wherein the carrier frequency offset detecting means divides subcarriers at positions at which the TMCC signal, the AC signal, or the CP signal is inserted when a specific offset amount is assumed into a plurality of groups, and the carrier frequency offset detecting means maps squares of phase rotation amounts with respect to an immediately-previous transmission symbol on a complex plane and converts the squares to rotation vectors, the carrier frequency offset detecting means cumulatively adds the rotation vectors to each other for each of the groups to thereby calculate absolute values of cumulative-addition-result values, and adds the absolute values of the cumulative-addition-result values calculated on a group-by-group basis to each other for all the groups to thereby calculate an addition-result absolute value, and the carrier frequency offset detecting means defines an offset amount assumed when a maximum addition-result absolute value is obtained as the carrier frequency offset amount. quadrature demodulating means that carries out quadrature demodulation of the OFDM signal by using a carrier signal having a specific frequency to thereby produce a baseband OFDM signal; a Fast Fourier Transform, FFT, operation means that performs a Fourier transform of the baseband OFDM signal in units of the transmission symbol to thereby produce a frequency-domain OFDM signal; carrier frequency offset detecting means that detects a carrier frequency offset amount that is a shift amount of a center frequency of the baseband OFDM signal as an offset of a number of subcarriers, based on correlation of subcarriers to which a predetermined signal is inserted, of a frequency-domain OFDM signal, between the transmission symbols, wherein the predetermined signal includes at least any of a Transmission and Multiplexing Configuration Control, TMCC, signal, an Auxiliary Channel, AC, signal, or a Continual Pilot, CP, signal; and frequency control means that controls a frequency of the frequency-domain OFDM signal depending on the carrier frequency offset amount, wherein the carrier frequency offset detecting means divides subcarriers at positions at which the TMCC signal, the AC signal, or the CP signal is inserted when a specific offset amount is assumed into a plurality of groups, and the carrier frequency offset detecting means maps squares of phase rotation amounts with respect to an immediately-previous transmission symbol on a complex plane and converts the squares to rotation vectors, the carrier frequency offset detecting means cumulatively adds the rotation vectors to each other for each of the groups to thereby calculate absolute values of cumulative-addition-result values, and adds the absolute values of the cumulative-addition-result values calculated on a group-by-group basis to each other for all the groups to thereby calculate an addition-result absolute value, and the carrier frequency offset detecting means defines an offset amount assumed when a maximum addition-result absolute value is obtained as the carrier frequency offset amount.