设[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是一个非空集合，在[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]上面定义了一种运算，叫做乘法，它满足结合律，并且具有下列性质：[tex=1.929x1.071]ITVlQYAW1ynnQfflWXlooKuWeDf7RtBLbijovZsO9qM=[/tex][tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]含有1个元索[tex=1.0x1.0]Jgk1h01OLy8K/lH2cTTzlQ==[/tex]，它使得[tex=2.857x1.0]neysXaNe3og3IT6vF1A9nA==[/tex]，[tex=3.571x1.071]tvpEXn0/FQH/7fw73wkSRVJBPx9CI3xTH9nhg1ceFs0=[/tex]，此时称[tex=1.0x1.0]Jgk1h01OLy8K/lH2cTTzlQ==[/tex]是[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的一个右单位元；[tex=0.929x1.071]GF6lPkbwM1/sKcTXI74B5g==[/tex][tex=1.0x0.286]3n3X4AFDUzKMGdYV2NZd8A==[/tex]对于[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的每一个元素[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]，有[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]中一个元素[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]，使得[tex=2.786x1.214]AimtYbyc6RUesLC08gKN6Q==[/tex]，称[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的一个右逆。证明：[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是一个群。