Código PHP:
<?php
$sql = "SELECT id AS id, alumno AS valor FROM alumnos WHERE categoria=2";
$rs = abreRs($sql);
if (mysql_numrows($rs) > 0)
{
while ($fila = mysql_fetch_array($rs))
{
$checked=($fila["id"]==$alumno)?' checked="checked"':'';
echo '<input type="radio" name="alumn" id="alumno" value="'.$fila["id"].'"'. $checked.'/>'.$fila["valor"];
}
}
cierraRs($rs);
?>
RECOMENDABLE: utiliza el tag completo de PHP para evitar problemas por la configuración de tags_short en el php.ini.