We analyze a cellular communication system in which a basestation or access point equipped with several antennas transmits packet data to several mobile data users by means of a TDMA scheme. A scheduler in the basestation uses knowledge about the instantaneous channel quality (signal to noise ratio, SNR) of all users to allocate the channel resource to the user which maximizes a certain metric....