סימן קמה סעיף ד

נָשָׂא אִשָּׁה וְשָׁהֲתָה עִמוֹ עֶשֶׂר שָׁנִים וְלֹא יָלְדָה, יֶשׁ לוֹ לְגָרְשָׁהּ, וְיֵשׁ בָּזֶה כַּמָּה חִלּוּקֵי דִינִים.

If a man takes a wife and she was with him ten years without bearing children, he should divorce her. Concerning this practice, there are many halachic details.

תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)